{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:34Z","timestamp":1751983654298,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661566"},{"type":"electronic","value":"9783540487432"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48743-3_17","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:39:50Z","timestamp":1192891190000},"page":"367-390","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["Towards Automatic Specialization of Java Programs"],"prefix":"10.1007","author":[{"given":"Ulrik","family":"Pagh Schultz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia L.","family":"Lawall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Consel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"17_CR1","unstructured":"L.O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, Computer Science Department, University of Copenhagen, May 1994. DIKU Technical Report 94\/19."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"J. Auslander, M. Philipose, C. Chambers, S.J. Eggers, and B.N. Bershad. Fast, effective dynamic compilation. In PLDI\u201996, 31(5), pages 149\u2013159.","DOI":"10.1145\/249069.231409"},{"key":"17_CR3","first-page":"119","volume-title":"ACM SIGPLANWorkshop on Partial Evaluation and Semantics-Based Program Manipulation","author":"R. Baier","year":"1994","unstructured":"R. Baier, R. Gl\u00fcck, and R. Z\u00f6chling. Partial evaluation of numerical programs in Fortran. In ACM SIGPLANWorkshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 119\u2013132, Orlando, FL, USA, June 1994. Technical Report 94\/9, University of Melbourne, Australia."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"A.A. Berlin. Partial evaluation applied to numerical computation. In ACM Conference on Lisp and Functional Programming, pages 139\u2013150, Nice, France, 1990. ACM Press.","DOI":"10.1145\/91556.91612"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/77648.77650","volume":"8","author":"B.N. Bershad","year":"1990","unstructured":"B.N. Bershad, T.E. Anderson, E.D. Lazowska, and H.M. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1):37\u201355, February 1990.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"4","key":"17_CR6","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/219282.219284","volume":"29","author":"W.H. Cheung","year":"1995","unstructured":"W.H. Cheung and A. Loong. Exploring issues of operating systems structuring: from microkernel to extensible systems. ACM Operating Systems Reviews, 29(4):4\u201316, October 1995.","journal-title":"ACM Operating Systems Reviews"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"C. Consel. A tour of Schism: a partial evaluation system for higher-order applicative languages. In Partial Evaluation and Semantics-Based Program Manipulation, pages 66\u201377, Copenhagen, Denmark, June 1993. ACM Press.","DOI":"10.1145\/154630.154645"},{"key":"17_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-61580-6_4","volume-title":"Partial Evaluation, International Seminar, Dagstuhl Castle","author":"C. Consel","year":"1996","unstructured":"C. Consel, L. Hornof, F. No\u00ebl, J. Noy\u00e9, and E.N. Volanschi. A uniform approach for compile-time and run-time specialization. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pages 54\u201372, February 1996."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"C. Consel and F. No\u00ebl. A general approach for run-time specialization and its application to C. In Conference Record of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, pages 145\u2013156, St. Petersburg Beach, FL, USA, January 1996. ACM Press.","DOI":"10.1145\/237721.237767"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"J. Dean, G. DeFouw, D. Grove, V. Litvinov, and C. Chambers. Vortex: an optimizing compiler for object-oriented languages. In OOPSLA\u2019 96 Conference, pages 93\u2013100, San Jose (CA), October 1996.","DOI":"10.1145\/236337.236344"},{"key":"17_CR11","unstructured":"J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of ECOOP\u2019 95, Aarhus, Denmark, August 1995. Springer-Verlag."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"J. Dolby and A. A. Chien. An evaluation of automatic object inline allocation techniques. In Proceedings OOPSLA\u2019 98 Conference on Object-Oriented Programming Systems, Languages, and Applications, ACM SIGPLAN Notices. ACM, 1998.","DOI":"10.1145\/286936.286943"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"D.R. Engler and M.F. Kaashoek. DPF: Fast, flexible message demultiplexing using dynamic code generation. In SIGCOMM Symposium on Communications Architectures and Protocols, pages 26\u201330, Stanford University, CA, August 1996. ACM Press.","DOI":"10.1145\/248156.248162"},{"key":"17_CR14","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1994."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"B. Guenter, T.B. Knoblock, and E. Ruf. Specializing shaders. In Computer Graphics Proceedings, Annual Conference Series, pages 343\u2013350. ACM Press, 1995.","DOI":"10.1145\/218380.218470"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Urs H\u00f6lzle and David Ungar. Optimizing dynamically-dispatched calls with runtime type feedback. In Proceedings of the Conference on Programming Language Design and Implementation, pages 326\u2013336, New York, NY, USA, June 1994. ACM Press.","DOI":"10.1145\/773473.178478"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"S. C. Khoo and R. S. Sundaresh. Compiling inheritance using partial evaluation. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 211\u2013222, Yale University, 17\u201319 June 1991.","DOI":"10.1145\/115866.115886"},{"key":"17_CR18","first-page":"45","volume-title":"Workshop Semantikgest\u00fctzte Analyse, Entwicklung und Generierung von Programmen","author":"P. Kleinrubatscher","year":"1994","unstructured":"P. Kleinrubatscher, A. Kriegshaber, R. Z\u00f6chling, and R. Gl\u00fcck. Fortran program specialization. In U. Meyer and G. Snelting, editors, Workshop Semantikgest\u00fctzte Analyse, Entwicklung und Generierung von Programmen, pages 45\u201354. Justus-Liebig-Universit\u00e4t, Giessen, Germany, 1994. Report No. 9402."},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"P. Lee and M. Leone. Optimizing ML with run-time code generation. In PLDI\u201996, [27], pages 137\u2013148.","DOI":"10.1145\/249069.231407"},{"key":"17_CR20","first-page":"243","volume-title":"European UNIX Systems User Group Conference Proceedings","author":"B.N. Locanthi","year":"1987","unstructured":"B.N. Locanthi. Fast bitblt() with asm() and cpp. In European UNIX Systems User Group Conference Proceedings, pages 243\u2013259, AT&T Bell Laboratories, Murray Hill, September 1987. EUUG."},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"R. Marlet, S. Thibault, and C. Consel. Mapping software architectures to effcient implementations via partial evaluation. In Conference on Automated Software Engineering, pages 183\u2013192, Lake Tahoe, Nevada, November 1997. IEEE Computer Society.","DOI":"10.1109\/ASE.1997.632838"},{"key":"17_CR22","volume-title":"Master\u2019s thesis","author":"M. Marquard","year":"1992","unstructured":"M. Marquard and B. Steensgaard. Partial evaluation of an object-oriented imperative language. Master\u2019s thesis, Master\u2019s thesis University of Copenhagen, Department of Computer Science, Universitetsparken 1, 2100 Copenhagen O., Denmark, April 1992."},{"key":"17_CR23","unstructured":"B. Moura. Bridging the Gap between Functional and Imperative Languages. PhD thesis, University of Rennes I, April 1997."},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"G. Muller, R. Marlet, E.N. Volanschi, C. Consel, C. Pu, and A. Goel. Fast, optimized Sun RPC using automatic program specialization. In Proceedings of the 18th International Conference on Distributed Computing Systems, pages 240\u2013249, Amsterdam, The Netherlands, May 1998. IEEE Computer Society Press.","DOI":"10.1109\/ICDCS.1998.679507"},{"key":"17_CR25","unstructured":"G. Muller, B. Moura, F. Bellard, and C. Consel. Harissa: A flexible and effcient Java environment mixing bytecode and compiled code. In Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems, pages 1\u201320, Portland (Oregon), USA, June 1997. Usenix."},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"G. Muller and U. Schultz. Harissa: A hybrid approach to Java execution. IEEE Software, pages 44\u201351, March 1999.","DOI":"10.1109\/52.754052"},{"key":"17_CR27","unstructured":"Proceedings of the ACM SIGPLAN\u2019 96 Conference on Programming Language Design and Implementation, Philadelphia, PA, May 1996. ACM SIGPLAN Notices, 31(5)."},{"issue":"5","key":"17_CR28","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1145\/224056.224080","volume":"29","author":"C. Pu","year":"1995","unstructured":"C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, and K. Zhang. Optimistic incremental specialization: Streamlining a commercial operating system. In Proceedings of the 1995 ACM Symposium on Operating Systems Principles, pages 314\u2013324, Copper Mountain Resort, CO, USA, December 1995. ACM Operating Systems Reviews, 29(5), ACM Press.","journal-title":"Proceedings of the 1995 ACM Symposium on Operating Systems Principles"},{"issue":"1","key":"17_CR29","first-page":"11","volume":"1","author":"C. Pu","year":"1988","unstructured":"C. Pu, H. Massalin, and J. Ioannidis. The Synthesis kernel. Computing Systems, 1(1):11\u201332, Winter 1988.","journal-title":"The Synthesis kernel. Computing Systems"},{"key":"17_CR30","unstructured":"J.C. Russ. The Image Processing Handbook. CRC Press, Inc., second edition, 1995."},{"key":"17_CR31","unstructured":"T. L. Veldhuizen. C++ templates as partial evaluation. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 13\u201318, San Antonio, TX, USA, January 1999. ACM Press."},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"E.N. Volanschi, C. Consel, G. Muller, and C. Cowan. Declarative specialization of object-oriented programs. In OOPSLA\u201997 Conference Proceedings, pages 286\u2013300, Atlanta, USA, October 1997. ACM Press.","DOI":"10.1145\/263700.263749"}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 99 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48743-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:56:00Z","timestamp":1737489360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48743-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661566","9783540487432"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-48743-3_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"19 November 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}