On inner classes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1850, Issue , 2000, Pages 129-153

  Igarashi, Atsushi ^a   Pierce, Benjamin C ^b  

^a UNIVERSITY OF TOKYO   (Japan)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; SEMANTICS; TRANSLATION (LANGUAGES);

ALTERNATIVE SEMANTICS; DIRECT REDUCTION; ESSENTIAL FEATURES; FUNCTIONAL LANGUAGES; NESTED FUNCTIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 84957794640     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45102-1_7     Document Type: Conference Paper

References (19)

1. Martín Abadi. Protection in programming-language translations. In Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP'98), pages 868-883. Springer-Verlag, July 1998. also appeared as DEC SRC Research Report 154 (April 1998).
2. Anasua Bhowmik and William Pugh. A secure implementation of Java inner classes. Handout from PLDI '99 Poster Session. Available through http://www.cs.umd.edu/~pugh/java.
3. Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Craig Chambers, editor, Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), ACM SIGPLAN Notices volume 33 number 10, pages 183-200, Vancouver, BC, October 1998.
4. Patrick Chan and Rosanna Lee. The Java Class Libraries, volume 2. Addison- Wesley, Reading, MA, second edition, October 1997.
5. S. Drossopoulou, S. Eisenbach, and S. Khurshid. Is the Java Type System Sound? Theory and Practice of Object Systems, 7(1):3-24, 1999. Preliminary version in ECOOP '97.
6. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In ACM Symposium on Principles of Programming Languages (POPL), San Diego, January 1998. ACM.
7. Neal Glew. Object closure conversion. In Andrew Gordon and Andrew Pitts, editors, Proceedings of the 3rd International Workshop on Higher Order Operational Techniques in Semantics (HOOTS'99), volume 26 of Electronic Notes in Theoretical Computer Science, Paris, France, September 1999. Elsevier. Available through http://www.elsevier.nl/locate/entcs/volume26.html.
8. Adele Goldberg and David Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983.
9. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996.
10. Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Linda M. Northrop, editor, Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), ACM SIGPLAN Notices, volume 34, number 10, pages 132-146. ACM Press, October 1999.
11. Atsushi Igarashi and Benjamin C. Pierce. On inner classes. Technical Report MSCIS-99-23, University of Pennsylvania, Philadelphia, PA, November 1999. Available through http://web.yl.is.s.u-tokyo.ac.jp/~igarashi/papers.html.
12. JavaSoft. Inner classes specification, February 1997. Available through http://java.sun.com/products/JDK/1.1/.
13. Ole Lehrmann Madsen. Semantic analysis of virtual classes and nested classes. In Linda M. Northrop, editor, Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), ACM SIGPLAN Notices, volume 34, number 10, pages 114-131, Denver, CO, October 1999. ACM Press.
14. Ole Lehrmann Madsen and Birger Møller-Pedersen. Virtual classes: A powerful mechanism in object-oriented programming. In Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), 1989.
15. Ole Lehrmann Madsen, Birger Møller-Pedersen, and Kristen Nygaard. Object- Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.
16. Microsoft. Microsoft Java SDK 3.2 documentation. Available online through http://www.microsoft.com/Java/sdk/32/, 1999.
17. Tobias Nipkow and David von Oheimb. Javalight is type-safe - definitely. In ACM Symposium on Principles of Programming Languages (POPL), pages 161-170, San Diego, January 1998. ACM.
18. G. D. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5:223-255, 1977.
19. Don Syme. Proving Java type soundness. Technical Report 427, Computer Laboratory, University of Cambridge, June 1997.