Compilation and Equivalence of Imperative Objects (1998)

by Andrew D. Gordon , Paul D. Hankin , Søren B. Lassen
Citations:32 - 4 self

Active Bibliography

Compilation and Equivalence – Equi Valence, Andrew D. Gordonpaul, D. Hankin, So/ren B. Lassen, Of Imperative Ob Jects, So/ren B. Lassenz - 1998
Relational Reasoning about Functions and Nondeterminism – unknown authors - 1998
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
235 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
985 A theory of type polymorphism in programming – Robin Milner - 1978
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998