21 search results - page 1 / 5 » Compilation and Equivalence of Imperative Objects |
FSTTCS
1997
Springer
13 years 9 months ago
1997
Springer
ESOP
2006
Springer
13 years 8 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
SFP
2003
13 years 6 months ago
2003
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...
DAC
2000
ACM
14 years 5 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
ENTCS
1998
13 years 4 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...