{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:09:54Z","timestamp":1778252994414,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676683","type":"print"},{"value":"9783540450993","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-45099-3_11","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T04:05:17Z","timestamp":1294977917000},"page":"199-219","source":"Crossref","is-referenced-by-count":17,"title":["Efficient Inference of Static Types for Java Bytecode"],"prefix":"10.1007","author":[{"given":"Etienne M.","family":"Gagnon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurie J.","family":"Hendren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Marceau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Agesen, O.: Constraint-based type inference and parametric polymorphism. In: Le Charlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, pp. 78\u2013100. Springer, Heidelberg (1994)","DOI":"10.1007\/3-540-58485-4_34"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-49538-X_2","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"O. Agesen","year":"1995","unstructured":"Agesen, O.: The Cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 2\u201326. Springer, Heidelberg (1995)"},{"key":"11_CR3","unstructured":"Ahpah Software Inc., \n                      http:\/\/zeus.he.net\/~pah\/products.html"},{"key":"11_CR4","series-title":"ACM SIGPLAN Notices","first-page":"324","volume-title":"Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications","author":"D.F. Bacon","year":"1996","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. ACM SIGPLAN Notices, vol.\u00a031, pp. 324\u2013341. ACM Press, New York (1996)"},{"key":"11_CR5","unstructured":"Bothner, P.: Kawa - compiling dynamic languages to the Java VM (1998)"},{"key":"11_CR6","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press; McGraw-Hill Book, Cambridge New York (1990)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Fernandez, M.F.: Simple and effective link-time optimization of Modula-3 programs. In: Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, June 1995, pp. 103\u2013115 (1995)","DOI":"10.1145\/207110.207121"},{"key":"11_CR9","unstructured":"Gagnon, E.M., Hendren, L.J.: Intra-procedural inference of static types for java bytecode.Technical Report Sable 1998-5, McGill University, Montreal, Canada (October 1998), \n                      http:\/\/www.sable.mcgill.ca\/publications\/"},{"key":"11_CR10","series-title":"The Java Series","volume-title":"The Java Language Specification","author":"J. Gosling","year":"1997","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Language Specification. The Java Series. Addison-Wesley, Reading (1997)"},{"key":"11_CR11","unstructured":"Innovative Software, \n                      http:\/\/world.isg.de"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Knoblock, T., Rehof, J.: Type elaboration and subtype completion for Java bytecode. In: Proceedings 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 228\u2013242 (January 2000)","DOI":"10.1145\/325694.325725"},{"key":"11_CR13","series-title":"The Java Series","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1997","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Reading (1997)"},{"key":"11_CR14","unstructured":"MLJ, \n                      http:\/\/research.persimmon.co.uk\/mlj\/\n                    ."},{"key":"11_CR15","unstructured":"Mocha, \n                      http:\/\/www.brouhaha.com\/~eric\/computers\/mocha.html"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BFb0055511","volume-title":"Types in Compilation","author":"G. Morrisett","year":"1998","unstructured":"Morrisett, G., Crary, K., Glew, N., Walker, D.: Stack-based typed assembly language. In: Leroy, X., Ohori, A. (eds.) TIC 1998. LNCS, vol.\u00a01473, pp. 28\u201352. Springer, Heidelberg (1998)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-Oriented Type Inference. In: Proceedings of the OOPSLA 1991 Conference on Object-oriented Programming Systems, Languages and Applications, pp. 146\u2013161 (November 1991); published as ACM SIGPLAN Notices, vol.\u00a026(11)","DOI":"10.1145\/118014.117965"},{"issue":"10","key":"11_CR18","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/191081.191130","volume":"29","author":"J. Plevyak","year":"1994","unstructured":"Plevyak, J., Chien, A.A.: Precise concrete type inference for object-oriented languages. ACM SIGPLAN Notices\u00a029(10), 324\u2013324 (1994)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR19","unstructured":"Proebsting, T.A., Watterson, S.A.: Krakatoa: Decompilation in Java (does bytecode reveal source?). In: USENIX (ed.) The Third USENIX Conference on Object-Oriented Technologies and Systems (COOTS), Portland, Oregon, Berkeley, CA, USA, June 16\u201319, pp. 185\u2013197. USENIX (1997)"},{"key":"11_CR20","unstructured":"Small Eiffel, \n                      http:\/\/SmallEiffel.loria.fr\/"},{"key":"11_CR21","unstructured":"Soot, \n                      http:\/\/www.sable.mcgill.ca\/soot\/"},{"key":"11_CR22","unstructured":"Sun Microsystems Inc., \n                      http:\/\/java.sun.com\/products\/hotspot\/"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0013475","volume-title":"Reliable Software Technologies - Ada Europe 96","author":"T. Taft","year":"1996","unstructured":"Taft, T.: Programming the Internet in Ada 95. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol.\u00a01088, pp. 1\u201316. Springer, Heidelberg (1996)"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/LICS.1992.185543","volume-title":"Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science","author":"J. Tiuryn","year":"1992","unstructured":"Tiuryn, J.: Subtype inequalities. In: Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, pp. 308\u2013315. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"11_CR25","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot - a Java bytecode optimization framework. In: Proceedings of CASCON (1999)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Vall\u00e9e-Rai, R., Gagnon, E., Hendren, L., Lam, P., Pominville, P., Sundaresan, V.: Optimizing Java Bytecode using the Soot framework: It is feasible? In: CC2000\u2014International Conference on Compiler Construction, Berlin, Germany, pp. 18\u201334 (March 2000)","DOI":"10.1007\/3-540-46423-9_2"},{"key":"11_CR27","unstructured":"Wing Soft Corporation, \n                      http:\/\/www.wingsoft.com\/wingdis.shtml"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45099-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:13:51Z","timestamp":1778249631000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-45099-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676683","9783540450993"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45099-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}