On inner classes

Information and Computation

Volumn 177, Issue 1, 2002, Pages 56-89

  Igarashi, Atsushi ^a   Pierce, Benjamin C ^b  

^a KYOTO UNIVERSITY   (Japan)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Inner classes; Java; Language design; Language semantics

Indexed keywords

COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS; PROGRAM TRANSLATORS; SEMANTICS; TABLE LOOKUP; THEOREM PROVING; USER INTERFACES;

FUNCTIONAL LANGUAGES; FUNCTIONAL PROGRAMMING; INNER CLASSES; LANGAUGE DESIGN; LANGUAGE SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 0037174069     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2002.3092     Document Type: Article

References (22)

1. Abadi, M. (1998), Protection in programming-language translations, in "Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP'98), Aalborg, Denmark" (K. G. Larsen, S. Skyum, and G. Winskel. Eds.), Lecture Notes in Computer Science, Vol. 1443, pp. 868-883, Springer-Verlag, Berlin, also appeared as DEC SRC Research Report 154.
2. Bhowmik, A., and Pugh, W., A secure implementation of Java inner classes, Handout from PLDI '99 Poster Session, available at http://www.cs.umd.edu/~pugh/java.
3. Birtwistle, G. M., Dahl, O.-J., Myhrhaug, B., and Nygaard, K. (1973), "Simula Begin," Studentlitteratur, Lund, Sweden.
4. 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 "ACM Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA'98), Vancouver, BC" (C. Chambers, Ed.), ACM SIGPLAN Notices 33(10), 183-200.
5. Bruce, K. B., Odersky, M., and Wadler, P. (1998), A statistically safe alternative to virtual types, in "Proceedings of the 12th European Conference on Object-Oriented Programming, Brussels, Belgium" (E. Jul, Ed.), Lecture Notes in Computer Science, Vol. 1445, pp. 523-549, Springer-Verlag, Berlin.
6. Drossopoulou, S., Eisenbach, S., and Khurshid, S. (1999), Is the Java Type System Sound? Theory and Practice of Object Systems 7(1), 3-24. Preliminary version in "ECOOP '97."
7. Flatt, M., Krishnamurthi, S., and Felleisen, M. (1998), Classes and mixins, in "Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), San Diego, CA," pp. 171-183, Assoc. Comput. Mach., New York.
8. Glew, N. (1999), Object closure conversion, in "Proceedings of the 3rd International Workshop on Higher Order Operational Techniques in Semantics (HOOTS'99), Paris, France" (A. Gordon and A. Pitts, Eds.), Electronic Notes in Theoretical Computer Science, Vol. 26 Elsevier, Amsterdam, available at http://www.elsevier.nl/locate/entcs/volume26.html.
9. Goldberg, A., and Robson, D. (1983), "Smaltalk-80: The Language and Its Implementation," Addison-Wesley, Reading, MA.
10. Gosling, J., Joy, B., and Steele, G. (1996), "The Java Language Specification," 1st ed., Addison-Wesley, Reading, MA.
11. Gosling, J., Joy, B., Steele, G., and Bracha, G. (2000), "The Java Language Specification," 2nd ed., Addison-Wesley, Reading, MA.
12. Igarashi, A., Pierce, B. C., and Wadler, P. (1999), Featherweight Java: A minimal core calculus for Java and GJ, in "Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOSPLA'99). Denver, CO" (L. M. Northrop, Ed.), ACM SIGPLAN Notices, 34(10), 132-146.
13. JavaSoft, Java API documentation, available at http://java.sun.com/docs/index.html.
14. JavaSoft (1997), Inner classes specification, available at http://java.sun.com/products/JDK/1.1/.
15. Madsen, O. L. (1999), Semantic analysis of virtual classes and nested classes, in "ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Denver, CO" (L. M. Northrop, Ed.), ACM SIGPLAN Notices 34(10), 114-131.
16. Madsen, O. L., and Møller-Pedersen, B. (1989), Virtual classes: A powerful mechanism in object-oriented programming, in "Proceedings of the ACM Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA'89), New Orleans, LA," ACM SIGPLAN Notices 24(10), 397-406.
17. Madsen, O. L., Møller-Pedersen, B., and Nygaard, K. (1993), "Object-Oriented Programming in the Beta Programming Language," Addison-Wesley, Reading, MA.
18. Microsoft (1999), Microsoft Java SDK 3.2 documentation, available at http://www.microsoft.com/Java/sdk/32/.
19. light is type-safe-definitely, in "Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), San Diego, CA," pp. 161-170, Assoc. Comput. Mach., New York.
20. Plotkin, G. D. (1997), LCF considered as a programming language, Theoret. Comput. Sci. 5, 223-255.
21. Stroustrup, B. (1997), "The C++ Programming Language," 3rd ed., Addison-Wesley, Reading, MA.
22. Syme, D. (1997), "Proving Java type soundness," Technical Report 427, Computer Laboratory, University of Cambridge.