{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:01:52Z","timestamp":1725483712029},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676607"},{"type":"electronic","value":"9783540451020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45102-1_7","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T09:55:00Z","timestamp":1178013300000},"page":"129-153","source":"Crossref","is-referenced-by-count":7,"title":["On Inner Classes"],"prefix":"10.1007","author":[{"given":"Atsushi","family":"Igarashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi. Protection in programming-language translations. In Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP\u201998), pages 868\u2013883. Springer-Verlag, July 1998. also appeared as DEC SRC Research Report 154 (April 1998).","DOI":"10.1007\/BFb0055109"},{"key":"7_CR2","unstructured":"Anasua Bhowmik and William Pugh. A secure implementation of Java inner classes. Handout from PLDI\u2019 99 Poster Session. Available through http:\/\/www.cs.umd.edu\/~pugh\/java ."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"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\u2013200, Vancouver, BC, October 1998.","DOI":"10.1145\/286942.286957"},{"key":"7_CR4","volume-title":"The Java Class Libraries","author":"P. Chan","year":"1997","unstructured":"Patrick Chan and Rosanna Lee. The Java Class Libraries, volume 2. Addison-Wesley, Reading, MA, second edition, October 1997.","edition":"second edition"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<3::AID-TAPO2>3.0.CO;2-T","volume":"7","author":"S. Drossopoulou","year":"1999","unstructured":"S. Drossopoulou, S. Eisenbach, and S. Khurshid. Is the Java Type System Sound? Theory and Practice of Object Systems, 7(1):3\u201324, 1999. Preliminary version in ECOOP\u2019 97.","journal-title":"Theory and Practice of Object Systems"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In ACM Symposium on Principles of Programming Languages (POPL), San Diego, January 1998. ACM.","DOI":"10.1145\/268946.268961"},{"key":"7_CR7","unstructured":"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\u201999), volume 26 of Electronic Notes in Theoretical Computer Science, Paris, France, September 1999. Elsevier. Available through http:\/\/www.elsevier.nl\/locate\/entcs\/volume26.html ."},{"key":"7_CR8","volume-title":"Smalltalk-80: The Language and Its Implementation","author":"A. Goldberg","year":"1983","unstructured":"Adele Goldberg and David Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983."},{"key":"7_CR9","unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013146. ACM Press, October 1999.","DOI":"10.1145\/320385.320395"},{"key":"7_CR11","volume-title":"Technical Report MSCIS-99-23","author":"A. Igarashi","year":"1999","unstructured":"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 ."},{"key":"7_CR12","unstructured":"JavaSoft. Inner classes specification, February 1997. Available through http:\/\/java.sun.com\/products\/JDK\/1.1\/ ."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"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\u2013131, Denver, CO, October 1999. ACM Press.","DOI":"10.1145\/320385.320394"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Ole Lehrmann Madsen and Birger M\u00f8ller-Pedersen. Virtual classes: A powerful mechanism in object-oriented programming. In Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), 1989.","DOI":"10.1145\/74877.74919"},{"key":"7_CR15","unstructured":"Ole Lehrmann Madsen, Birger M\u00f8ller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993."},{"key":"7_CR16","unstructured":"Microsoft. Microsoft Java SDK 3.2 documentation. Available online through http:\/\/www.microsoft.com\/Java\/sdk\/32\/,1999 ."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow and David von Oheimb. Javalight is type-safe-definitely. In ACM Symposium on Principles of Programming Languages (POPL), pages 161\u2013170, San Diego, January 1998. ACM.","DOI":"10.1145\/268946.268960"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. D. Plotkin","year":"1977","unstructured":"G. D. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5:223\u2013255, 1977.","journal-title":"Theoretical Computer Science"},{"key":"7_CR19","unstructured":"Don Syme. Proving Java type soundness. Technical Report 427, Computer Laboratory, University of Cambridge, June 1997."}],"container-title":["Lecture Notes in Computer Science","ECOOP 2000 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45102-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T16:31:36Z","timestamp":1556382696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45102-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676607","9783540451020"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45102-1_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}