Full abstraction for first-order objects with recursive types and subtyping (1998) [9 citations — 0 self]
Download:
|
|
by Ramesh Viswanathan
In Proceedings of LICS ’98. IEEE, Computer
http://www.bell-labs.com/user/rv/external/publications/lics98.ps
Add To MetaCart
Abstract:
We present a new interpretation of typed objectoriented concepts in terms of well-understood, purely procedural concepts, that preserves observational equivalence. More precisely, we give compositional translations of (a) Ob 1, an object calculus supporting method invocation and functional method update with first-order object types and recursive types, and (b) Ob 1!: , an extension of Ob 1 with subtyping, that are fully abstract on closed terms. The target of the translations are a first-order-calculus with records and recursive types, with and without subtyping. The translation of the calculus with subtyping is subtypepreserving as well.
Citations
| 77 | A theory of primitive objects: Untyped and first-order systems – Abadi, Cardelli - 1994 |
| 42 | A semantics of object types – Abadi, Cardelli - 1994 |
| 13 | Private communication – Abadi |
