An efficient class and object encoding

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 10, 2000, Pages 311-322

  Glew, Neal ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17944364283     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (50)

1. Roberto Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Progamming Languages and Systems, 15(4):575-631, September 1993.
2. Martín Abadi and Luca Cardelli. A Theory Of Objects. Springer-Verlag, 1996.
3. Martín Abadi, Luca Cardelli, and Ramesh Viswanathan. An interpretation of objects and object types. In 83rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 396-409, January 1996.
4. Kim Bruce, Luca Cardelli, and Benjamin Pierce. Comparing object encodings. Information and Computation, 155(1/2):108-133, 1999.
5. Viviana Bono and Kathleen Fisher. An imperative, first-order calculus with object extension. In 5th International Workshop on Foundations of Object Oriented Programming Languages, pages 8-1 to 8-13, San Diego, California, USA, January 1998.
6. Kim Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4(2):127-206, April 1994.
7. Kim Bruce, Angela Schuett, and Robert van Gent. PolyTOIL: A type-safe polymorphic object-oriented language. In 1995 European Conference on Object-Oriented Programming, volume 952 of Lecture Notes in Computer Science, pages 27-51. Springer-Verlag, 1995.
8. Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2/3):138-164, 1988. Also published in volume 173 of Lecture Notes in Computer Science, pages 51-67, 1984.
9. Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2/3):138-164, 1988. Also published in volume 173 of Lecture Notes in Computer Science, pages 51-67, 1984.
10. Peter Canning, William Cook, Walter Hill, John Mitchell, and Walter Olthoff. F-bounded quantification for object-oriented programming. In 4th ACM Conference on Functional Programming and Computer Architecture, pages 273-280, London, UK, September 1989. ACM Press.
11. Dario Colazzo and Giorgio Ghelli. Subtyping recursive types in kernel fun. In 1999 Symposium on Logic in Computer Science, pages 137-146, Trento, Italy, July 1999.
12. William Cook, Walter Hill, and Peter Canning. Inheritance is not subtyping. In 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 125-135. ACM Press, January 1990.
13. William Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
14. William Cook. A proposal for making Eiffel type-safe. In 3rd European Conference on Object-Oriented Programming, pages 57-72, Nottingham, UK, July 1989. Cambridge University Press.
15. Karl Crary. Simple, efficient object encoding using intersection types. Technical Report CMU-CS-99-100, Carnegie Mellon University, Pittsburgh, PA 15213, USA, 1999.
16. Jonathan Eifrig, Scott Smith, Valery Trifonov, and Amy Zwarico. An interpretation of typed oop in a language with state. Lisp and Symbolic Computation, 8(4):357-397, 1995.
17. Kathleen Fisher, F. Honsell, and John Mitchell. A lambda calculus of objects and method specialization. Nordic Journal of Computing, 1:3-37, 1994. Preliminary version appeared in IEEE Symposium on Logic in Computer Science, 1993, 26-38.
18. Kathleen Fisher, F. Honsell, and John Mitchell. A lambda calculus of objects and method specialization. Nordic Journal of Computing, 1:3-37, 1994. Preliminary version appeared in IEEE Symposium on Logic in Computer Science, 1993, 26-38.
19. Kathleen Fisher. Type Systems for object-oriented programming languages. PhD thesis, Stanford University, California 94305, USA, 1996.
20. Kathleen Fisher and John Mitchell. A delegation-based object calculus with subtyping. In 10th International Conference on Fundamentals of Computation theory, volume 965 of Lecture Notes in Computer Science, pages 42-61. Springer-Verlag, 1995.
21. Kathleen Fisher and John Mitchell. The development of type systems for object-oriented languages. Theory and Practice of Object Systems, 1(3):189-220, 1995.
22. Kathleen Fisher and John Mitchell. Classes = objects + data abstraction. Technical Report STAN-CS-TN-96-31, Stanford University, California 94305, USA, 1996.
23. Kathleen Fisher and John Mitchell. On the relationship between classes, objects, and data abstraction. Theory and Practice of Object Systems, 1998. To appear.
24. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996.
25. Neal Glew. Object closure conversion. In Andrew Gordon and Andrew Pitts, editors, 3rd International Workshop on Higher Order Operational Techniques in Semantics, volume 26 of Electronic Notes in Theoretical Computer Science, Paris, France, September 1999. Elsevier. http://www.elsevier.nl/ locate/eatcs/volume26.html.
26. Neal Glew. Type dispatch for named hierarchical types. In 4th ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999.
27. Neal Glew. An efficient class and object encoding. Technical Report STAR-TR-00.07-02, STAR Lab, InterTrust Technologies Corporation, 4750 Patrick Henry Drive, Santa Clara, CA 95054-1851, USA, July 2000.
28. Neal Glew. Low-Level Type Systems for Modularity and Object-Oriented Constructs. PhD thesis, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA, January 2000.
29. Jason Hickey. Predicative type-theoretic interpretation of objects. Unpublished, author's contact: jyh@cs.cornell.edu.
30. Martin Hoffman and Benjamin Pierce. Positive subtyping. In 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 186-197, San Francisco, CA, USA, January 1995. ACM Press.
31. Martin Hofmann and Benjamin Pierce. Type destructors. In 5th International Workshop on Foundations of Object Oriented Programming Languages, pages 3-1 to 3-11, San Diego, CA, USA, January 1998.
32. Samuel Kamin. Inheritance in SMALLTALK-80: A denotational definition. In 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 80-87, San Diego, CA, USA, January 1988.
33. Dexter Kozen, Jens Palsberg, and Michael Schwartzbach. Efficient recursive subtyping. Mathematical Structures in Computer Science, 5(1):113-125, March 1995.
34. Samuel Kamin and Uday Reddy. Two semantic models of object-oriented languages. In Carl Gunter and John Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pages 464-495. MIT Press, Cambridge, MA 02142, 1994.
35. Christopher League, Zhong Shao, and Valerey Trifonov. Representing Java classes in a typed intermediate language. In 1999 ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999. ACM Press.
36. Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In ACM SIGPLAN Workshop on Compiler Support for System Software, volume 0228 of INRIA Research Reports, Atlanta, GA, USA, May 1999.
37. John Mitchell. Toward a typed foundation for method specialization and inheritance. In 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 109-124. ACM Press, January 1990.
38. Greg Morrisett, David Tarditi, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. The TIL/ML compiler: Performance and safety through types. In ACM SIGPLAN Workshop on Compiler Support for System Software, Tucson, AZ, USA, February 1996.
39. Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Transactions on Progamming Languages and Systems, 21(3):528-569, May 1999.
40. George Necula and Peter Lee. The design and implementation of a certifying compiler. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 333-344, Montreal, Canada, June 1998.
41. Benjamin Pierce and David Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207-247, April 1994. An early version appeared in POPL'93, pages 299-312.
42. Benjamin Pierce and David Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207-247, April 1994. An early version appeared in POPL'93, pages 299-312.
43. Uday Reddy. Objects as closures: Abstract semantics of object-oriented languages. In ACM Symposium on LISP and Functional Programming, pages 289-297. ACM, July 1998.
44. Didier Rémy. Programming objects with ML-ART, an extension to ML with abstract and record types. In Masami Hagiya and John Mitchell, editors, International Symposium on Theoretical Aspects of Computer Science, volume 789 of Lecture Notes in Computer Science, pages 321-346, Sendai, Japan, April 1994. Springer-Verlag.
45. John Reppy and Jon Riecke. Classes in Object ML via modules. In 3rd International Workshop on Foundations of Object Oriented Programming Languages, New Brunswick, NJ, USA, July 1996.
46. John Reppy and Jon Riecke. Simple objects for Standard ML. In 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 171-180. ACM Press, 1996.
47. Didier Rémy and Jérôme Vouillon. Objective ML: A simple object-oriented extension of ML. In 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 40-53, Paris, France, January 1997.
48. David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181-192, Philadelphia, PA, USA, May 1996. ACM Press.
49. Ramesh Viswanathan. Full abstraction for first-order objects with recursive types and subtyping. In 13th Symposium on Logic in Computer Science, 1998.
50. Jérôme Vouillon. Using modules as classes. In 5th International Workshop on Foundations of Object Oriented Programming Languages, pages 4-1 to 4-10, San Diego, CA, USA, January 1998.