{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:07:09Z","timestamp":1732032429771},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433699"},{"type":"electronic","value":"9783540459378"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45937-5_6","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T01:39:18Z","timestamp":1181180358000},"page":"46-61","source":"Crossref","is-referenced-by-count":2,"title":["A Graph\u2014Free Approach to Data\u2014Flow Analysis"],"prefix":"10.1007","author":[{"given":"Markus","family":"Mohnen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"6_CR1","unstructured":"S. Abramsky and C. Hankin. An Introduction to Abstract Interpretation. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages, chapter 1, pages 63\u2013102. Ellis Horwood, 1987."},{"key":"6_CR2","unstructured":"A.V. Ahos, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986."},{"key":"6_CR3","unstructured":"B. Bokowski and M. Dahm. Byte Code Engineering. In C. H. Cap, editor, Java-Informations-Tage (JIT), Informatik Aktuell. Springer-Verlag, 1998. See also at http:\/\/bcel.sourceforge.net\/ ."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"B. Blanchet. Escape Analysis: Correctness Proof, Implementation and Experimental Results. In Proceedings of the 25th Symposium on Principles of Programming Languages (POPL). ACM, January 1998.","DOI":"10.1145\/268946.268949"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/320384.320387","volume":"34","author":"B. Blanchet","year":"1999","unstructured":"B. Blanchet. Escape Analysis for Object Oriented Languages: Application to Java. In Proceedings of the 14th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), volume 34, 10 of ACM SIGPLAN Notices, pages 20\u201334. ACM, 1999.","journal-title":"Proceedings of the 14th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixed Points. In Proceedings of the 4th Symposium on Principles of Programming Languages (POPL), pages 238\u2013252. ACM, January 1977.","DOI":"10.1145\/512950.512973"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"T. M. Chilimbi, B. Davidson, and J. R. Larus. Cache-conscious structure definition. In PLDI\u201999 [PLD99], pages 13\u201324.","DOI":"10.1145\/301618.301635"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"T. M. Chilimbi, M. D. Hill, and J. R. Larus. Cache-Conscious Structure Layout. In PLDI\u201999 [PLD99], pages 1\u201312.","DOI":"10.1145\/301618.301633"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"A. Deutsch. On the Complexity of Escape Analysis. In Proceedings of the 24th Symposium on Principles of Programming Languages (POPL), pages 358\u2013371. ACM, January 1997.","DOI":"10.1145\/263699.263750"},{"key":"6_CR10","unstructured":"J. Gosling, B. Joy, and G. Steele. The Java Language Specification. The Java Series. Addison Wesley, 1996."},{"key":"6_CR11","unstructured":"A. Geser, J. Knoop, G. L\u00fcttgen, O. R\u00fcthing, and B. Steffen. Chaotic Fixed Point Iterations. Technical Report MIP-9403, Fakult\u00e4t f\u00fcr Mathematik und Informatik, University of Passau, 1994."},{"key":"6_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BFb0026423","volume-title":"Proceedings of the 7th International Conference on Compiler Construction (CC)","author":"J. Knoop","year":"1998","unstructured":"J. Knoop, D. Kosch\u00fctzki, and B. Steffen. Basic-Block Graphs: Living Dinosaurs? In K. Koskimies, editor, Proceedings of the 7th International Conference on Compiler Construction (CC), number 1383 in Lecture Notes in Computer Science, pages 65\u201379. Springer-Verlag, 1998."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison Wesley, 1997.","DOI":"10.1007\/978-3-642-95851-9_5"},{"key":"6_CR14","unstructured":"S. S. Muchnick and N. D. Jones. Program Flow Analysis: Theory and Applications. Prentice-Hall, 1981."},{"key":"6_CR15","unstructured":"M. Mohnen. Optimising the Memory Management of Higher-Order Functional Programs. Technical Report AIB-97-13, RWTH Aachen, 1997. PhD Thesis."},{"key":"6_CR16","unstructured":"S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997."}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45937-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:41:58Z","timestamp":1556480518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45937-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433699","9783540459378"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45937-5_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}