A simple typed intermediate language for object-oriented languages

ACM SIGPLAN Notices

Volumn 40, Issue 1, 2005, Pages 38-49

  Chen, Juan ^a   Tarditi, David ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Class and object encoding; Typed intermediate language

Indexed keywords

COMPILER TRANSFORMATIONS; FIELD FETCHING; RUN TIME TYPE TESTS; TYPED INTERMEDIATE LANGUAGES;

ARRAYS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL TRANSFORMATIONS; PROGRAM COMPILERS; PROGRAM DEBUGGING; STATISTICAL METHODS;

OBJECT ORIENTED PROGRAMMING;

EID: 17044373469     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1047659.1040309     Document Type: Conference Paper

References (36)

1. Martin Abadi and Luca Cardelli. A Theory of Objects. Springer, New York, 1996.
2. Martín Abadi, Luca Cardelli, and Ramesh Viswanathan. An interpretation of objects and object types. In ACM Symposium on Principles of Programming Languages, pages 396-409, St. Petersburg Beach, Florida, 1996.
3. Paolo Baldan, Giorgio Ghelli, and Alessandra Raffaeta. Basic theory of f-bounded quantification. Information and Computation, 153(1): 173-237, 1999.
4. Kim B. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4(2):127-206, 1994.
5. Peter Canning, William Cook, Walt Hill, Walter Olthoff, and John C. Mitchell. F-bounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273-280, 1989.
6. Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2/3): 138-164, February/March 1988.
7. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471-522, 1985.
8. Giuseppe Castagna and Benjamin C. Pierce. Corrigendum: Decidable bounded quantification. http://www.cis.upenn.edu/~bcpierce/papers/fsubnew-corrigendum. ps.
9. Giuseppe Castagna and Benjamin C. Pierce. Decidable bounded quantification. In 21st ACM Symposium on Principles of Programming Languages, pages 151-162. ACM Press, 1994.
10. Juan Chen and David Tarditi. A simple typed intermediate language for object-oriented languages. Technical Report MSR-TR-2004-68, Microsoft Corporation. ftp://ftp.research.microsoft.com/pub/tr/TR-2004-68.pdf.
11. Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Ken Cline, and Mark Plesko. A certifying compiler for Java. In ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, June 2000.
12. William R. Cook, Walter Hill, and Peter S. Canning. Inheritance is not subtyping. In 17th ACM Symposium on Principles of Programming Languages, pages 125-135. ACM Press, 1990.
13. Karl Crary. Simple, efficient object encoding using intersection types. Technical report. CMU Technical Report CMU-CS-99-100.
14. Microsoft Corp. et al. Common Language Infrastructure. 2002. http://msdn.microsoft.com/net/ecma/.
15. Kathleen Fisher. Type Systems for Object-oriented Programming Languages. PhD thesis, Stanford University, 1996.
16. Kathleen Fisher, John H. Reppy, and Jon G. Riecke. A calculus for compiling and linking classes. In Proceedings of the 9th European Symposium on Programming Languages and Systems, pages 135-149. Springer-Verlag, 2000.
17. Giorgio Ghelli. Recursive types are not conservative over F≤. In Proceedings of the International Conference on Typed Lambda Calculi and Applications, pages 146-162. Springer-Verlag, 1993.
18. Giorgio Ghelli. Divergence of F< type checking. Theoretical Computer Science, 139(1-2):131-162, 1995.
19. Neal Glew. Type dispatch for named hierarchical types. In ACM SIGPLAN International Conf. on Functional Programming, pages 172-182, 1999.
20. Neal Glew. An efficient class and object encoding. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 311-324, 2000.
21. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. on Programming Languages and Systems, 23(3):396-450, 2001.
22. S. Kamin. Inheritance in Smalltalk-80: a denotational definition. In 15th ACM Symposium on Principles of Programming Languages, pages 80-87. ACM Press, 1988.
23. Christopher League. A Type-preserving Compiler Infrastructure. PhD thesis, Yale University, 2002.
24. Christopher League, Zhong Shao, and Valery Trifonov. Type-preserving compilation of Featherweight Java. ACM Trans. on Programming Languages and Systems, 24(2), March 2002.
25. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1999.
26. Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Trans. on Programming Languages and Systems, 21(3):527-568, May 1999.
27. George Necula. Proof-Carrying Code. In ACM Symposium on Principles of Programming Languages, pages 106-119. ACM Press, 1997.
28. Benjamin C. Pierce. Intersection types and bounded polymorphism. In Typed Lambda Calculi and Applications, volume 664, pages 346-360. Springer-Verlag, 1993.
29. Benjamin C. Pierce. Bounded quantification is undecidable. In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pages 427-459. The MIT Press, MA, 1994.
30. Benjamin C. Pierce and David N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207-247, 1994.
31. Didier Rémy. Programming objects with ml-art, an extension to ml with abstract and record types. In International Conference on Theoretical Aspects of Computer Software, pages 321-346. Springer-Verlag, 1994.
32. Zhong Shao. An overview of the FLINT/ML compiler. In ACM SIGPLAN Workshop on Types in Compilation, June 1997.
33. D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181-192, 1996.
34. Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.
35. Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, and Aaron Hertzmann. Compiling Java to a typed lambda-calculus: A preliminary report. In Types in Compilation, pages 9-27, 1998.
36. Hongwei Xi, Chiyan Chen, and Gang Chen. Guarded recursive datatype constructors. In ACM SIGPLAN Symposium on Principles of Programming Languages, pages 224-235, New Orleans, January 2003.