{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:44Z","timestamp":1725558644224},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202165"},{"type":"electronic","value":"9783540452089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45208-9_24","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:49:20Z","timestamp":1277700560000},"page":"302-315","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Smart Compilation Manager for Java"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Lagorio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/174634.174637","volume":"3","author":"R. Adams","year":"1994","unstructured":"Adams, R., Tichy, W., Weinert, A.: The cost of selective recompilation and environment processing. ACM Transactions on Software Engineering and Methodology\u00a03(1), 3\u201328 (1994)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Ancona, D., Lagorio, G.: Stronger Typings for Separate Compilation of Java-like Languages. Technical report, DISI (March 2003)","DOI":"10.5381\/jot.2004.3.6.a1"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/3-540-47993-7_26","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"D. Ancona","year":"2002","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: A formal framework for Java separate compilation. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 609\u2013635. Springer, Heidelberg (2002)"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/571157.571177","volume-title":"ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2002)","author":"D. Ancona","year":"2002","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: True separate compilation of Java classes. In: ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2002), pp. 189\u2013200. ACM Press, New York (2002)"},{"issue":"11","key":"24_CR5","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1145\/583854.582453","volume":"37","author":"M. Dmitriev","year":"2002","unstructured":"Dmitriev, M.: Language-specific make technology for the Java programming language. ACM SIGPLAN Notices\u00a037(11), 373\u2013385 (2002)","journal-title":"ACM SIGPLAN Notices"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","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":"Drossopoulou, S., Eisenbach, S.: Describing the semantics of Java and proving type soundness. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523, pp. 41\u201382. Springer, Heidelberg (1999)"},{"key":"24_CR7","unstructured":"Drossopoulou, S., Valkevych, T., Eisenbach, S.: Java type soundness revisited. Technical report, Dept. of Computing - Imperial College of Science, Technology and Medicine (September 2000)"},{"key":"24_CR8","volume-title":"The Java TM Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java TM Language Specification, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"24_CR9","unstructured":"SUN Microsystems. The Java HotSpot Virtual Machine (2001) (technical white paper)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45208-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T13:40:41Z","timestamp":1559223641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45208-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202165","9783540452089"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45208-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}