3311 search results - page 346 / 663 » Deductive Object Programming |
129
click to vote
ECOOP
2010
Springer
15 years 8 months 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...
104
Voted
PLDI
2000
ACM
15 years 7 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...
119
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
133
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
127
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...