Representing Java classes in a typed intermediate language

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 9, 1999, Pages 183-196

  League, Christopher ^a   Shao, Zhong ^a   Trifonov, Valery ^a  

^a Yale University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); FORMAL METHODS; SEMANTICS; TRANSLATION (LANGUAGES);

CONSERVATIVE EXTENSIONS; HIERARCHICAL RELATIONS; HIGHER-ORDER LANGUAGES; INTERMEDIATE LANGUAGES; OPTIMIZATION TECHNIQUES; POLYMORPHIC LAMBDA CALCULUS; STANDARD OPTIMIZATION; TYPED INTERMEDIATE LANGUAGES;

JAVA PROGRAMMING LANGUAGE;

EID: 17144383653     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/317765.317798     Document Type: Article

References (38)

1. M. Abadi, L. Cardelli, and R. Viswanathan. An interpretation of objects and object types. In Proc. 23rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'96), pages 396-409, St. Petersburg, January 1996. ACM Press.
2. A. W. Appel and D. B. MacQueen. Standard ML of New Jersey. Technical Report CS-TR-329-91, Princeton University Department of Computer Science, June 1991.
3. N. Benton, A. Kennedy, and G. Russell. Compiling Standard ML to Java bytecodes. In Proc. Int'l Conf. on Functional Programming (ICFP'98), pages 129-140.
4. K. Bruce, L. Cardelli, G. Castagna, The Hopkins Objects Group, G. T. Leavens, and B. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):221-242, December 1995.
5. K. Bruce, L. Cardelli, and B. Pierce. Comparing object encodings. Information and Computation (to appear), 1998.
6. K. B. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4(2), 1994.
7. P. Canning, W. Cook, W. Hill, J. Mitchell, and W. Olthoff. F-bounded polymorphism for object-oriented programming. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pages 273-280, 1989.
8. L. Cardelli and X. Leroy. Abstract types and the dot notation. In Proc. IFIP Working Conf. on Programming Concepts and Methods, pages 466-491, Israel, April 1990.
9. L. Cardelli and G. Longo. A semantic basis for Quest Journal of Functional Programming, 1(4), 1991.
10. J. Dean, G. DeFouw, D. Grove, V. Litvinov, and C. Chambers. Vortex: An optimizing compiler for object-oriented languages. In Proc. ACM SIGPLAN Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96), pages 83-100, San Jose, October 1996. ACM.
11. S. Drossopoulou and S. Eisenbach. Java is type safe - probably. In Proc. 11th European Conf. on Object-Oriented Programming, February 1997.
12. S. Drossopoulou and S. Eisenbach. Towards an operational semantics and proof of type soundness for Java, April 1998.
13. J. Eifrig, S. Smith, V. Trifonov, and A. Zwarico. An interpretation of typed OOP in a language with state. Lisp and Symbolic Computation, 8(4):357-397, 1995.
14. K. Fisher. Type Systems for Object-Oriented Programming Languages. PhD thesis, Stanford University, August 1996.
15. K. Fisher and J. Mitchell. On the relationship between classes, objects and data abstraction. Theory and Practice of Object Systems (to appear), 1998.
16. K. Fisher and J. Reppy. The design of a class mechanism for Moby. In Proc. ACM SIGPLAN '99 Conf. on Prog. Lang. Design and Implementation, pages 37-49, New York, May 1999. ACM Press.
17. M. Flatt, S. Krishnamurthi, and M. Felleisen. A programmer's reduction semantics for classes and mixins. Technical Report 97-293, Rice University, 1997.
18. J. Y. Girard. Interpretation Fonctionnelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieur. PhD thesis, University of Paris VII, 1972.
19. N. Glew. Type dispatch for named hierarchical types. In Proc. 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP'99). ACM Press, September 1999.
20. N. Heintze and J. G. Riecke. The SLam calculus: Programming with secrecy and integrity. In Proc. 25th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'98), pages 365-377.
21. M. Hofmann and B. Pierce. A unifying type-theoretic framework for objects. Journal of Functional Programming, January 1994.
22. A. Krall and R. Grafl. CACAO - a 64-bit Java VM Just-In-Time compiler. In Proc. ACM PPoPP'97 Workshop on Java for Science and Engineering Computation., 1997.
23. C. League, Z. Shao, and V. Trifonov. Representing Java classes in a typed intermediate language (extended version). Technical Report YALEU/DCS/RR-1180, Department of Computer Science, Yale University, New Haven, CT, June 1999.
24. X. Leroy and F. Rouaix. Security properties of typed applets. In Proc. 25th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'98), pages 391-403.
25. T. Lindholm and F. Yellin. The Java Virtual Machine Specification (Second Edition). Addison-Wesley, 1999.
26. Microsoft Win32 VM for Java object model, 1998.
27. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proc. 24th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'97), pages 146-159.
28. J. Palsberg and P. Ørbæk. Trust in the λ-calculus. Journal of Functional Programming, 7(6):557-591, November 1997.
29. B. C. Pierce and D. N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207-247, April 1994.
30. T. A. Proebsting, G. Townsend, P. Bridges, J. H. Hartman, T. Newsham, and S. A. Watterson. Toba: Java for applications: A way ahead of time (WAT) compiler. In Proc. Third Conf. on Object-Oriented Technologies and Systems (COOTS'97), 1997.
31. D. Rémy. Syntactic theories and the algebra of record terms. Technical Report 1869, INRIA, 1993.
32. D. Rémy and J. Vouillon. Objective ML: A simple object-oriented extension of ML. In Proc. 24th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'97), pages 40-53.
33. J. C. Reynolds. Towards a theory of type structure. In Proc., Colloque sur la Programmation, Lecture Notes in Computer Science, volume 19, pages 408-425. Springer-Verlag, Berlin, 1974.
34. Z. Shao. An overview of the FLINT/ML compiler. In Proc. First Int'l Workshop on Types in Compilation (TIC'97), Amsterdam, June 1997.
35. Z. Shao. Typed common intermediate format In Proc. USENIX Conf. on Domain-Specific Languages, pages 89-101, Santa Barbara, CA, October 1997.
36. Z. Shao. Typed cross-module compilation. In Proc. Int'l Conf. on Functional Programming (ICFP'98), pages 141-152.
37. Z. Shao, C. League, and S. Monnier. Implementing typed intermediate languages. In Proc. Int'l Conf. on Functional Programming (ICFP'98), pages 313-323.
38. A. Wright, S. Jagannathan, C. Ungureanu, and A. Hertzmann. Compiling Java to a typed lambda-calculus: A preliminary report. In Proc. Second Int'l Workshop on Types in Compilation (TIC'98), pages 1-14, Kyoto, March 1998.