Object closure conversion

Electronic Notes in Theoretical Computer Science

Volumn 26, Issue , 1999, Pages 52-68

  Glew, Neal ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE CONVERTERS; DATA STRUCTURES; DIFFERENTIATION (CALCULUS); ENCODING (SYMBOLS); OBJECT ORIENTED PROGRAMMING; RECURSIVE FUNCTIONS; THEOREM PROVING;

CLOSURE CONVERSION; FUNCTIONAL LANGUAGES; JAVA VIRTUAL MACHINES; OBJECT ENCODING;

JAVA PROGRAMMING LANGUAGE;

EID: 0005042853     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80283-X     Document Type: Conference Paper

References (25)

1. Abadi Martín, Cardelli Luca. A Theory of objects. 1996;Springer-Verlag
2. Appel Andrew, Jim Trevor. Continuation-passing, closure-passing style. 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1989;293-302 Austin, Texas, USA
3. Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In 1998 ACM SIGPLAN International Conference on Functional Programming, pages 301-312, Baltimore Maryland, USA, September 1998.
4. Kathleen Fisher. Type Systems for object-oriented programming languages. PhD thesis, Stanford University, Stanford, California 94305, USA, 1996.
5. Andrew Gordon, Paul Hankin, and Søren Lassen. Compilation and equivalence of imperative objects. Technical Report RS-98-55, BRICS, Department of Computer Science, University of Aarhus, Ny Munkegade, building 540, DK-8000 Aarhus C, Denmark, December 1998. URL: http://www.brics.dk/RS/98/55.
6. Neal Glew. Object closure conversion. Technical Report TR99-1763, Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA, August 1999. Available at http://www.cs.Cornell.edu/glew/paper- list.html.
7. Hannan J. A type system for closure conversion. The Workshop on Types for Program Analysis. 1995
8. Harper Robert, Lillibridge Mark. A type-theoretic approach to higher-order modules with sharing. 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1994;123-137. Portland Oregon, USA
9. Kamin Samuel. Inheritance in smalltalk-80: A denotational definition. 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1988;80-87. San Diego, CA, USA
10. David Kranz, R. Kelsey, J. Rees, P. R. Hudak, J. Philbin, and N. Adams. ORBIT: An optimizing compiler for Scheme. In Proceedings of the ACM SIGPLAN '86 Symposium on Compiler Construction, pages 219-233, June 1986.
11. Landin P.J. The mechanical evaluation of expressions. Computer Journal. 6:(4):1964;308-320
12. Xavier Leroy. Manifest types, modules, and separate compilation. In 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 109-122, Portland, OR, USA, January 1994.
13. Morrisett Greg, Harper Robert. Simply-typed closure conversion. Unpublished, authors contact: jgm@cs.cornell.edu. April 1999
14. Minamide Yasuhiko, Morrisett Greg, Harper Robert. Typed closure conversion. Technical Report CMU-CS-95-171, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA. July 1995
15. Minamide Yasuhiko, Morrisett Greg, Harper Robert. Typed closure conversion. 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1996;271-283. St. Petersburg
16. Morris J. Lambda-Calculus Models of Programming Languages. PhD thesis, Massachuetts Institute of Technology. 1968
17. Mason Ian, Smith Scott, Talcott Carolyn. From operational semantics to domain theory. Information and Computation. 128:1996;26-47
18. Morrisett Greg, Walker David, Crary Karl, Glew Neal. From System F to typed assembly language. 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1998;85-97 ACM Press, San Diego California, USA
19. Plotkin Gordon. LCF considered as a programming language. Theoretical Computer Science. 5:1977;223-255
20. Pierce Benjamin, Turner David. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming. 4:(2):April 1994;207-247
21. Reddy Uday. Objects as closures: Abstract semantics of object-oriented languages. ACM Symposium on LISP and Functional Programming. July 1998;289-297 ACM
22. John Reynolds. Definitional interpreters for higher-order programming languages. In Proceedings of the Annual ACM Conference, pages 717-740, 1972.
23. Riecke Jon, Stone Christopher. Privacy via subsumption. 5th International Workshop on Foundations of Object Oriented Programming Languages. January 1998;San Diego, CA, USA
24. Guy Steele Jr. Rabbit: A compiler for Scheme. Master's thesis, MIT. 1978
25. Steckler Paul, Wand Mitchell. Lightweight closure conversion. ACM Transactions on Progamming Languages and Systems. January 1996;48-86