Featherweight Java: A minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems

Volumn 23, Issue 3, 2001, Pages 396-450

  Igarashi, Atsushi ^a   Pierce, Benjamin C ^b   Wadler, Philip ^c  

^a UNIVERSITY OF TOKYO   (Japan)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c 233 Mount Airy Road ^*  (United States)

Author keywords

D.3.1 Programming Languages : Formal Definitions and Theory; D.3.2 Programming Languages : Language Classifications Object oriented languages; D.3.3 Programming Languages : Language Constructs and Features Classes and objects

Indexed keywords

INHERITANCE PROPERTY; OBJECT CALCULUS; TYPECASTING PROPERTY;

CLASSIFICATION (OF INFORMATION); COMPUTATIONAL METHODS; DATA STRUCTURES; ENCODING (SYMBOLS); MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SEMANTICS;

JAVA PROGRAMMING LANGUAGE;

EID: 0012583283     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/503502.503505     Document Type: Article

References (31)

1. ABADI, M. AND CARDELLI, L. 1996. A Theory of Objects. Springer Verlag, New York, NY.
2. AGESEN, O., FREUND, S. N., AND MITCHELL, J. C. 1997. Adding type parameterization to the Java language In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97). SIGPLAN Not. 32, 10. ACM Press Atlanta' GA, 49-65.
3. ANCONA, D. AND ZUCCA, E. 2001. True modules for Java-like languages. In Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP2001), J. L. Knudsen Ed Lecture Notes in Computer Science. Springer-Verlag, Budapest Hungary.
4. BARENDREGT, H. P. 1984. The Lambda Calculus, revised ed. North Holland, Amsterdam The Netherlands.
5. BONO, V. AND FISHER, K. 1998. An imperative first-order calculus with object extension. In Proceeding of the 12th European Conference on Object-Oriented Programming (ECOOP'98), E. Jul, Ed. LNCS 1445. Springer Verlag, 462-497.
6. BONO, V., PATEL, A. J., AND SHMATIKOV, V. 1999a. A core calculus of classes and mixins In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP'99) LNCS 1628. Springer Verlag, 43-66.
7. BONO, V., PATEL, A. J., SHMATIKOV, V., AND MITCHELL, J. C. 1999b. A core calculus of classes and objects. In Proceedings of the 15th Conference on the Mathematical Foundations of Programming Semantics (MFPS XV). Elsevier. Available through http://wv.elsevier.nl/locate/entcs/ volume20.html.
8. BRACHA, G., ODERSKY, M., STOUTAMIRE, D., AND WADLER, P. 1998. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'98) C. Chambers, Ed. ACM Press, New York, NY, 183-200.
9. BRUCE, K. B. 1994. A paradigmatic object-oriented programming language: Design, static typing and semantics. J. Funct. Program. 4, 2 (April), 127-206.
10. CARDELLI, L., MARTINI, S., MITCHELL, J. C., AND SCEDROV, A. 1994. An extension of system F with subtyping. Inf. Comput. 109, 1-2, 4-56.
11. CARTWRIGHT, R. AND STEELE JR., G. L. 1998. Compatible genericity with run-time types for the Java programming language. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'98), C. Chambers, Ed. ACM Press, New York, NY, 201-215.
12. DROSSOPOULOU, S., EISENBACH, S., AND KHURSHID, S. 1999. Is the Java type system sound? Theory Pract. Object Syst. 7, 1, 3-24.
13. DUGGAN, D. 1999. Modular type-based reverse engineering of parameterized types in Java code In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programmes, Systems, Languages, and Applications (OOPSLA'99), L. M. Northrop, Ed. ACM Press, New York, NY, 97-113.
14. FELLEISEN, M. AND FRIEDMAN, D. P. 1998. A Little Java, A Few Patterns. MIT Press, Cambridge, MA.
15. FISHER, K. AND MITCHELL, J. C. 1998. On the relationship between classes, objects, and data abstraction. Theory Pract. Object Syst. 4, 1, 3-25.
16. FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. 1998a. Classes and mixins. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, 171-183.
17. FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. 1998b. A programmer's reduction semantics for classes and mixins. Tech. Rep. TR97-293, Computer Science Dept., Rice University. Feb. Corrected version in June, 1999.
18. IGARASHI, A. AND PIERCE, B. C. 2000. On inner classes. In Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP2000), E. Bertino, Ed. LNCS 1850. Springer Verlag, 129-153. Extended version to appear in Inf. Comput.
19. IGARASHI, A., PIERCE, B.C., AND WADLER, P. 2001. A recipe for raw types. In Informal Proceedings of the 8th International Workshop on Foundations of Object-Oriented Languages (FOOL8). London, UK. Available through http://www.cs.williams.edu/~kim/FOOL/FOOL8.html.
20. LEAGUE, C., TRIFONOV, V., AND SHAO, Z. 2001. Type-preserving compilation of Featherweight Java. In Informal Proceedings of the 8th International Workshop on Foundations of Object-Oriented Languages (FOOL8). London, UK. Available through http://www.cs. williams.edu/~kim/FOOL/ FOOL8.html.
21. MYERS, A. C., BANK, J. A., AND LISKOV, B. 1997. Parameterized types for Java. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, 132-145.
22. light is type-safe - definitely. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, 161-170.
23. ODERSKY, M. AND WADLER, P. 1997. Pizza into Java: Translating theory into practice. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, 146-159.
24. PIERCE, B. C. 2002. Types and Programming Languages. MIT Press, Cambridge, MA.
25. PIERCE, B. C. AND TURNER, D. N. 1994. Simple type-theoretic foundations for object-oriented programming. J. Funct. Program. 4, 2 (April), 207-247.
26. SCHULTZ, U. 2001. Partial evaluation for class-based object-oriented languages. In Proceedings of the 2nd Symposium on Programs as Data Objects (PADO II), O. Danvy and A. Filinski, Eds. LNCS 2053. Springer Verlag, 173-197.
27. STUDER, T. 2000. Constructive foundations for Featherweight Java. Available through http:// iamwww.unibe.ch/~tstuder/.
28. SYME, D. 1997. Proving Java type soundness. Tech. Rep. 427, Computer Lab. Univ. of Cambridge. June.
29. VIROLI, M. AND NATALI, A. 2000. Parametric polymorphism in Java: an approach to translation based on reflective features. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'00), D. Lea, Ed. ACM Press, New York, NY, 146-165.
30. WAND, M. 1989. Type inference for objects with instance variables and inheritance. Tech. Rep. NU-CCS-89-2, College of Computer Science, Northeastern Univ. Feb.
31. WRIGHT, A. K. AND FELLEISEN, M. 1994. A syntactic approach to type soundness. Inf. Comput. 115, 1 (Nov.), 38-94.