{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:03:07Z","timestamp":1725483787995},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437598"},{"type":"electronic","value":"9783540479932"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47993-7_26","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:12:20Z","timestamp":1179205940000},"page":"609-635","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Framework for Java Separate Compilation"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Lagorio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"26_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Formal Syntax and Semantics of Java","year":"1999","unstructured":"J. Alves-Foss, editor. Formal Syntax and Semantics of Java. Number 1523 in Lecture Notes in Computer Science. Springer, 1999."},{"key":"26_CR2","unstructured":"D. Ancona and G. Lagorio. Supporting true separate compilation in Java: A modular approach. Technical report, Dipartimento di Informatica e Scienze dell\u2019Informazione, Universit\u00e0 di Genova, 2002. Submitted for publication."},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"D. Ancona, G. Lagorio, and E. Zucca. A core calculus for Java exceptions. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 2001. ACM Press, October 2001. SIGPLAN Notices.","DOI":"10.1145\/504282.504284"},{"key":"26_CR4","unstructured":"D. Ancona, G. Lagorio, and E. Zucca. Java separate type checking is not safe. In 3th Intl. Workshop on Formal Techniques for Java Programs 2001, June 2001."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"D. Ancona, G. Lagorio, and E. Zucca. Separate compilation in Java: Avoiding ambiguity via monotonicity. Technical Report, DISI, July 2001.","DOI":"10.1145\/571157.571177"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"D. Ancona, G. Lagorio, and E. Zucca. True separate compilation of Java classes. Technical report, Dipartimento di Informatica e Scienze dell\u2019Informazione, Univer-sit\u00e0 di Genova, 2002. Submitted for publication.","DOI":"10.1145\/571157.571177"},{"issue":"4","key":"26_CR7","doi-asserted-by":"publisher","first-page":"790","DOI":"10.1145\/325478.325481","volume":"21","author":"M. Blume","year":"1999","unstructured":"M. Blume. Dependency analysis for standard ML. ACM Transactions on Programming Languages and Systems, 21(4):790\u2013812, 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266\u2013277. ACM Press, 1997.","DOI":"10.1145\/263699.263735"},{"key":"26_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-45332-6_3","volume-title":"TIC\u201900-Third Workshop on Types in Compilation (Selected Papers)","author":"S. Drossopoulou","year":"2001","unstructured":"S. Drossopoulou. Towards an abstract model of Java dynamic linking and verfi-cation. In R. Harper, editor, TIC\u201900-Third Workshop on Types in Compilation (Selected Papers), volume 2071 of Lecture Notes in Computer Science, pages 53\u201384. Springer, 2001."},{"key":"26_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-48737-9_2","volume-title":"Formal Syntax and Semantics of Java","author":"S. Drossopoulou","year":"1999","unstructured":"S. Drossopoulou and S. Eisenbach. Describing the semantics of Java and proving type soundness. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 41\u201382. Springer, 1999."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"S. Drossopoulou, S. Eisenbach, and D. Wragg. A fragment calculus-towards a model of separate compilation, linking and binary compatibility. In Proc. 14th Ann. IEEE Symp. on Logic in Computer Science, July 1999.","DOI":"10.1109\/LICS.1999.782606"},{"key":"26_CR12","unstructured":"S. Drossopoulou, T. Valkevych, and S. Eisenbach. Java type soundness revisited. Technical report, Dept. of Computing-Imperial College of Science, Technology and Medicine, September 2000."},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"S. Drossopoulou, D. Wragg, and S. Eisenbach. What is Java Binary Compatibility? In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1998, volume 33(10) of A CM SIGPLAN Notices, pages 341\u2013358, October 1998.","DOI":"10.1145\/286942.286974"},{"key":"26_CR14","unstructured":"J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java\u2122 Language Specification, Second Edition. Addison-Wesley, 2000."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999, pages 132\u2013146, November 1999.","DOI":"10.1145\/320385.320395"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"X. Leroy. Manifest types, modules and separate compilation. In ACM Symp. on Principles of Programming Languages 1994, pages 109\u2013122. ACM Press, 1994.","DOI":"10.1145\/174675.176926"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439\u2013450. ACM Press, 1993.","DOI":"10.1145\/158511.158702"},{"key":"26_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-48737-9_3","volume-title":"Formal Syntax and Semantics of Java","author":"D. Syme","year":"1999","unstructured":"D. Syme. Proving Java type sound. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 83\u2013118. Springer, 1999."},{"key":"26_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-48737-9_4","volume-title":"Formal Syntax and Semantics of Java","author":"D. Oheimb von","year":"1999","unstructured":"D. von Oheimb and T. Nipkow. Machine-checking the Java specification: Proving type-safety. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 119\u2013156. Springer, 1999."}],"container-title":["Lecture Notes in Computer Science","ECOOP 2002 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47993-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:22:27Z","timestamp":1556410947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47993-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437598","9783540479932"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-47993-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}