{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:12Z","timestamp":1772163912965,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,12]],"date-time":"2005-01-12T00:00:00Z","timestamp":1105488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,1,12]]},"DOI":"10.1145\/1040305.1040308","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:58:48Z","timestamp":1107089928000},"page":"26-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Polymorphic bytecode"],"prefix":"10.1145","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[{"name":"Imperial College, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,1,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"6th Intl. Workshop on Formal Techniques for Java Programs 2004","author":"Ancona D.","year":"2004","unstructured":"D. Ancona , F. Damiani , S. Drossopoulou , and E. Zucca . Even more principal typings for Java-like languages . In 6th Intl. Workshop on Formal Techniques for Java Programs 2004 , June 2004 . D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca. Even more principal typings for Java-like languages. In 6th Intl. Workshop on Formal Techniques for Java Programs 2004, June 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"Dipartimento di Informatica e Scienze dell'Informazione, Universit\u00e0 di Genova","author":"Ancona D.","year":"2004","unstructured":"D. Ancona , F. Damiani , S. Drossopoulou , and E. Zucca . Polymorphic bytecode: Compositional compilation for Java-like languages. Technical report , Dipartimento di Informatica e Scienze dell'Informazione, Universit\u00e0 di Genova , November 2004 . Extended verson with proofs, available at ftp:\/\/ftp.disi.unige.it\/pub\/person\/AnconaD\/PBCCJL.pdf. D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca. Polymorphic bytecode: Compositional compilation for Java-like languages. Technical report, Dipartimento di Informatica e Scienze dell'Informazione, Universit\u00e0 di Genova, November 2004. Extended verson with proofs, available at ftp:\/\/ftp.disi.unige.it\/pub\/person\/AnconaD\/PBCCJL.pdf."},{"key":"e_1_3_2_1_3_1","volume-title":"June","author":"Ancona D.","year":"2004","unstructured":"D. Ancona and G. Lagorio . Stronger Typings for Smarter Recompilation of Java-like Languages. Journal of Object Technology, 3(6):5--25 , June 2004 . Special issue: ECOOP 2003 workshop on Formal Techniques for Java-like Programs . D. Ancona and G. Lagorio. Stronger Typings for Smarter Recompilation of Java-like Languages. Journal of Object Technology, 3(6):5--25, June 2004. Special issue: ECOOP 2003 workshop on Formal Techniques for Java-like Programs."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/571157.571177"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964027"},{"key":"e_1_3_2_1_6_1","volume-title":"Buckley and Sophia Drossopoulou. Flexible Dynamic Linking. In 6th Intl. Workshop on Formal Techniques for Java Programs 2004","author":"Alex","year":"2004","unstructured":"Alex Buckley and Sophia Drossopoulou. Flexible Dynamic Linking. In 6th Intl. Workshop on Formal Techniques for Java Programs 2004 , June 2004 . Alex Buckley and Sophia Drossopoulou. Flexible Dynamic Linking. In 6th Intl. Workshop on Formal Techniques for Java Programs 2004, June 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263735"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053388"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320395"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237728"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/978-3-540-45208-9_24","volume-title":"Italian Conf. on Theoretical Computer Science","author":"Lagorio G.","year":"2003","unstructured":"G. Lagorio . Towards a smart compilation manager for Java . In Blundo and Laneve, editors, Italian Conf. on Theoretical Computer Science 2003 , number 2841 in Lecture Notes in Computer Science , pages 302 -- 315 . Springer , October 2003. G. Lagorio. Towards a smart compilation manager for Java. In Blundo and Laneve, editors, Italian Conf. on Theoretical Computer Science 2003, number 2841 in Lecture Notes in Computer Science, pages 302--315. Springer, October 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/967900.968160"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.11.a4"},{"key":"e_1_3_2_1_15_1","volume-title":"Concepts of Programming Languages","author":"Sebesta Robert","year":"2004","unstructured":"Robert Sebesta . Concepts of Programming Languages . Addison-Wesley , 2004 . Seventh edition. Robert Sebesta. Concepts of Programming Languages. Addison-Wesley, 2004. Seventh edition."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268960"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1007\/3-540-45465-9_78","volume-title":"International Colloquium on Automata, Languages and Programming","author":"Wells J.B.","year":"2002","unstructured":"J.B. Wells . The essence of principal typings . In International Colloquium on Automata, Languages and Programming 2002 , number 2380 in Lecture Notes in Computer Science , pages 913 -- 925 . Springer , 2002. J.B. Wells. The essence of principal typings. In International Colloquium on Automata, Languages and Programming 2002, number 2380 in Lecture Notes in Computer Science, pages 913--925. Springer, 2002."}],"event":{"name":"POPL05: The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2005","location":"Long Beach California USA","acronym":"POPL05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040308","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1040305.1040308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:25:00Z","timestamp":1750249500000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040308"}},"subtitle":["compositional compilation for Java-like languages"],"short-title":[],"issued":{"date-parts":[[2005,1,12]]},"references-count":16,"alternative-id":["10.1145\/1040305.1040308","10.1145\/1040305"],"URL":"https:\/\/doi.org\/10.1145\/1040305.1040308","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1047659.1040308","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,1,12]]},"assertion":[{"value":"2005-01-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}