{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:03:21Z","timestamp":1725483801590},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_22","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:12:20Z","timestamp":1179191540000},"page":"525-544","source":"Crossref","is-referenced-by-count":4,"title":["Type-Safe Method Inlining"],"prefix":"10.1007","author":[{"given":"Neal","family":"Glew","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"22_CR1","unstructured":"Lars Ole Andersen. Self-applicable C program specialization. In Proceedings of PEPM\u201992, Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 54\u201361, June 1992. (Technical Report YALEU\/DCS\/RR-909, Yale University)."},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"Proceedings of European Conference on Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Jeffrey Dean, David Grove, and Craig Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of European Conference on Object-Oriented Programming, pages 77\u2013101, Aarhus, Denmark, August 1995. Springer-Verlag (LNCS 952)."},{"key":"22_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-48743-3_12","volume-title":"Proceedings of ECOOP\u201999","author":"D. Detlefs","year":"1999","unstructured":"David Detlefs and Ole Agesen. Inlining of virtual methods. In Proceedings of ECOOP\u201999, pages 258\u2013278. Springer-Verlag (LNCS 1628), 1999."},{"key":"22_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/BFb0032737","volume-title":"Proceedings of SAS\u201997, International Static Analysis Symposium","author":"M. F\u00e4hndrich","year":"1997","unstructured":"Manuel F\u00e4hndrich and Alexander Aiken. Program analysis using mixed term and set constraints. In Proceedings of SAS\u201997, International Static Analysis Symposium, pages 114\u2013126. Springer-Verlag (LNCS), 1997."},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-45099-3_11","volume-title":"Proceedings of SAS\u201900, International Static Analysis Symposium","author":"E. M. Gagnon","year":"2000","unstructured":"Etienne M. Gagnon, Laurie J. Hendren, and Guillaume Marceau. Efficient inference of static types for Java bytecode. In Proceedings of SAS\u201900, International Static Analysis Symposium, pages 199\u2013219. Springer-Verlag (LNCS 1824), 2000."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Neal Glew. An efficient class and object encoding. In Proceedings of OOPSLA\u2019 00, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pages 311\u2013324, Minneapolis, Minnesota, October 2000.","DOI":"10.1145\/353171.353192"},{"key":"22_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-60360-3_40","volume-title":"Proceedings of SAS\u201995, International Static Analysis Symposium","author":"N. Heintze","year":"1995","unstructured":"Nevin Heintze. Control-flow analysis and type systems. In Proceedings of SAS\u201995, International Static Analysis Symposium, pages 189\u2013206. Springer-Verlag (LNCS 983), Glasgow, Scotland, September 1995."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Atsushi Igarashi, Benjamion Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 132\u2013146, Denver, CO, USA, October 1999.","DOI":"10.1145\/320385.320395"},{"key":"22_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of SAS\u201997, International Static Analysis Symposium","author":"S. Jagannathan","year":"1997","unstructured":"Suresh Jagannathan, Andrew Wright, and Stephen Weeks. Type-directed flow analysis for typed intermediate languages. In Proceedings of SAS\u201997, International Static Analysis Symposium. Springer-Verlag (LNCS), 1997."},{"issue":"2","key":"22_CR10","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1145\/383043.383045","volume":"23","author":"Todd Knoblock and Jakob Rehof","year":"2001","unstructured":"Todd Knoblock and Jakob Rehof. Type elaboration and subtype completion for Java Bytecode. ACM Transactions on Programming Languages and Systems, 23(2):243\u2013272, March 2001.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR11","unstructured":"Greg Morrisett, David Tarditi, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. The TIL\/ML compiler: Performance and safety through types. In ACM SIGPLAN Workshop on Compiler Support for System Software, Tucson, AZ, USA, February 1996."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Transactions on Progamming Languages and Systems, 21(3):528\u2013569, May 1999.","DOI":"10.1145\/319301.319345"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Flemming Nielson. The typed lambda-calculus with first-class processes. In Proceedings of PARLE, pages 357\u2013373, April 1989.","DOI":"10.1007\/3-540-51285-3_52"},{"key":"22_CR14","series-title":"Lect Notes Comput Sci","first-page":"47","volume-title":"ACM Transactions on Programming Languages and Systems","author":"J. Palsberg","year":"1995","unstructured":"Jens Palsberg. Closure analysis in constraint form. ACM Transactions on Programming Languages and Systems, 17(1):47\u201362, January 1995. Preliminary version in Proceedings of CAAP\u201994, Colloquium on Trees in Algebra and Programming, Springer-Verlag (LNCS 787), pages 276\u2013290, Edinburgh, Scotland, April 1994."},{"issue":"6","key":"22_CR15","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1145\/295656.295662","volume":"20","author":"J. Palsberg","year":"1998","unstructured":"Jens Palsberg. Equality-based flow analysis versus recursive types. ACM Transactions on Programming Languages and Systems, 20(6):1251\u20131264, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and Patrick M. O\u2019Keefe. A type system equivalent to flow analysis. ACM Transactions on Programming Languages and Systems, 17(4):576\u2013599, July 1995. Preliminary version in Proceedings of POPL\u201995, 22nd Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 367\u2013378, San Francisco, California, January 1995.","DOI":"10.1145\/199448.199533"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and Christina Pavlopoulou. From polyvariant flow information to intersection and union types. Journal of Functional Programming, 11(3):263\u2013317, May 2001. Preliminary version in Proceedings of POPL\u201998, 25th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 197\u2013208, San Diego, California, January 1998.","DOI":"10.1145\/268946.268963"},{"key":"22_CR18","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Object-Oriented Type Systems. John Wiley & Sons, 1994."},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181\u2013192, Philadelphia, PA, USA, May 1996. ACM Press.","DOI":"10.1145\/231379.231414"},{"issue":"1","key":"22_CR20","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. Wright","year":"1994","unstructured":"Andrew Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38\u201394, 1994.","journal-title":"Information and Computation"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Andrew Wright, Suresh Jagannathan, Cristian Ungureanu, and Aaron Hertzmann. Compiling Java to a typed lambda-calculus: A preliminary report. In ACM Workshop on Types in Compilation, Kyoto, Japan, March 1998.","DOI":"10.1007\/BFb0055510"}],"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_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:22:45Z","timestamp":1556396565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47993-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437598","9783540479932"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-47993-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}