7430 search results - page 719 / 1486 » Programming Applications in CIFF |
240
click to vote
ITCC
2002
IEEE
16 years 12 days ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
191
click to vote
ECOOP
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
191
click to vote
JTRES
2009
ACM
16 years 4 days ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
205
click to vote
ICLP
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
161
click to vote
PLDI
2000
ACM
15 years 12 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...