Full abstraction for first-order objects with recursive types and subtyping

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 380-391

  Viswanathan, Ramesh ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES;

COMPOSITIONAL TRANSLATION; FULL ABSTRACTION; FUNCTIONAL METHODS; LAMBDA CALCULUS; METHOD INVOCATION; OBJECT-ORIENTED CONCEPTS; OBSERVATIONAL EQUIVALENCES; RECURSIVE TYPES;

COMPUTER CIRCUITS;

EID: 84957705549     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705673     Document Type: Conference Paper

References (18)

1. M. Abadi. Private communication, 1997.
2. M. Abadi and L. Cardelli. A semantics of object types. In Proceedings of the Ninth Annual Sympo- sium on Logic in Computer Science, pages 332{341, July 1994.
3. M. Abadi and L. Cardelli. A theory of primitive objects: Untyped and first-order systems. In Proceedings of Theoretical Aspects of Computer Software, pages 296{320, Sendai, Japan, April 1994. Springer-Verlag.
4. M. Abadi, L. Cardelli, and R. Viswanathan. An Inter- pretation of Objects and Object Types. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 396{409, January 1996.
5. Martin Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, New York, 1996.
6. Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce. Comparing object encodings. In Theoretical As- pects of Computer Software (TACS), Sendai, Japan, September 1997. An earlier version was presented as an invited lecture at the Third International Work- shop on Foundations of Object Oriented Languages (FOOL 3), July 1996.
7. L. Cardelli. A semantics of multiple inheritance. In- formation and Computation, 76:138{164, 1988. Spe- cial issue devoted to Symp. on Semantics of Data Types, Sophia-Antipolis (France), 1984.
8. W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
9. Andrew D. Gordon, Paul D. Hankin, and S. B. Lassen. Compilation and Equivalence of Imperative Objects. In Proceedings of FST+TCS, Lecture Notes in Computer Science. Springer-Verlag, June 1997.
10. Andrew D. Gordon and Gareth D. Rees. Bisimilarity for a First-Order Calculus of Objects with Subtyping. In Conference Record of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996.
11. Martin Hofmann and Benjamin Pierce. A unifying type-Theoretic framework for objects. Journal of Functional Programming, 5(4):593{635, Oct 1995. Previous version appeared in the Symposium on The- oretical Aspects of Computer Science, 1994 (pages 251{262).
12. Achim Jung, Marcelo Fiore, Eugenio Moggi, Peter O'Hearn, Jon G. Riecke, Giuseppe Rosolini, and Ian Stark. Domains and denotational semantics: History, accomplishments, and open problems. Bulletin of the European Association for Theoretical Computer Science, pages 227{256, June 1996.
13. S. Kamin. Inheritance in Smalltalk-80: A denotational definition. In ACM Symp. Principles of Programming Languages, pages 80{87, 1988.
14. G. McCusker. Games and full abstraction for FPC. In Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 174{183, 1996.
15. J.C. Mitchell. On abstraction and the expressive power of programming languages. Science of Com- puter Programming, 212:141{163, 1993. Preliminary version appeared in Proc. Theor. Aspects of Computer Software, Springer LNCS 526, September 1991, pages 750{770.
16. D. Remy. Programming Objects with ML-ART, an extension to ML with Abstract and Record types. In Theoretical Aspects of Computer Software. Springer- Verlag, April 1994.
17. Jon G. Riecke. Fully abstract translations between functional languages. Mathematical Structures in Computer Science, 3:387{415, 1993. Preliminary ver- sion appeared in Conference Record of the Eighteenth Annual ACM Symposium on Principles of Program- ming Languages, pages 245{254, ACM, 1991.
18. Jon G. Riecke and Anders Sandholm. A Relational Account of Call-by-Value Sequentiality. In Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science, pages 258{267, 1997.