314 search results - page 33 / 63 » An Imperative Object Calculus |
120
click to vote
ENTCS
2006
15 years 4 months ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
151
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
145
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
253
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
130
click to vote
ECOOPW
1994
Springer
15 years 8 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....