3311 search results - page 97 / 663 » Deductive Object Programming |
107
click to vote
ECOOP
2012
Springer
13 years 2 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
HIPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Distributed shared objects are a well known approach to achieve independenceof the memory model for parallel programming. The illusion of shared (global) objects is a conabstracti...
102
click to vote
ASPLOS
1998
ACM
15 years 4 months ago
1998
ACM
Dynamic storage allocation has become increasingly important in many applications, in part due to the use of the object-oriented paradigm. At the same time, processor speeds are i...
ECOOP
2004
Springer
15 years 5 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
ECOOP
1992
Springer
15 years 4 months ago
1992
Springer
Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, ...