{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:51:12Z","timestamp":1771951872722,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,9,1]],"date-time":"2000-09-01T00:00:00Z","timestamp":967766400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,9,1]],"date-time":"2000-09-01T00:00:00Z","timestamp":967766400000},"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":["Higher-Order and Symbolic Computation"],"published-print":{"date-parts":[[2000,9]]},"DOI":"10.1023\/a:1010078412711","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T00:56:42Z","timestamp":1040605002000},"page":"161-178","source":"Crossref","is-referenced-by-count":31,"title":["Static and Dynamic Program Compilation by Interpreter Specialization"],"prefix":"10.1007","volume":"13","author":[{"given":"Scott","family":"Thibault","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Consel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia L.","family":"Lawall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renaud","family":"Marlet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"272057_CR1","unstructured":"Andersen, L.O. Program analysis and specialization for the C programming language. Ph.D. Thesis, Computer Science Department, University of Copenhagen, May 1994. DIKU Technical Report 94\/19."},{"key":"272057_CR2","unstructured":"Arnold, B.R.T., van Deursen, A., and Res, M. An algebraic specification of a language for describing financial products. In ICSE-17 Workshop on Formal Methods Application in Software Engineering, April 1995, pp. 6\u201313."},{"issue":"5","key":"272057_CR3","first-page":"149","volume":"31","author":"J. Auslander","year":"1996","unstructured":"Auslander, J., Philipose, M., Chambers, C., Eggers, S., and Bershad, B.N. Fast, effective dynamic compilation. In Proceedings of the ACMSIGPLAN '96 Conference on Programming Language Design and Implementation, Philadelphia, PA, May 1996, pp. 149\u2013159. ACM SIGPLAN Notices, 31(5).","journal-title":"Proceedings of the ACMSIGPLAN '96 Conference on Programming Language Design and Implementation"},{"issue":"2","key":"272057_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1017\/S0956796800001684","volume":"6","author":"A. Bondorf","year":"1996","unstructured":"Bondorf, A. and Palsberg, J. Generating action compilers by partial evaluation. Journal of Functional Programming, 6(2) (1996) 269\u2013298.","journal-title":"Journal of Functional Programming"},{"key":"272057_CR5","unstructured":"Conference on Domain Specific Languages, Santa Barbara, CA, Usenix, Oct. 1997."},{"key":"272057_CR6","volume-title":"Conference Record of the Eighteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages","author":"C. Consel","year":"1991","unstructured":"Consel, C. and Danvy, O. Static and dynamic semantics processing. In Conference Record of the Eighteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, Orlando, FL, USA, ACM Press, Jan. 1991."},{"key":"272057_CR7","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1145\/158511.158707","volume-title":"Conference Record of the Twentieth Annual ACMSIGPLAN-SIGACT Symposium on Principles Of Programming Languages","author":"C. Consel","year":"1993","unstructured":"Consel, C. and Danvy, O. Tutorial notes on partial evaluation. In Conference Record of the Twentieth Annual ACMSIGPLAN-SIGACT Symposium on Principles Of Programming Languages, Charleston, SC, USA, ACM Press, Jan. 1993, pp. 493\u2013501."},{"key":"272057_CR8","first-page":"496","volume-title":"Lecture Notes in Computer Science","author":"C. Consel","year":"1991","unstructured":"Consel, C. and Danvy, O. For a better support of static data flow. In Lecture Notes in Computer Science, Vol. 523: Functional Programming Languages and Computer Architecture, J. Hughes (Ed.). Springer Verlag, Cambridge, MA, USA, Aug. 1991, pp. 496\u2013519."},{"key":"272057_CR9","doi-asserted-by":"crossref","unstructured":"Consel, C., Hornof, L., Lawall, J., Marlet, R., Muller, G., Noy\u00e9, J., Thibault, S., and Volanschi, N. Tempo: Specializing systems applications and beyond. ACM Computing Surveys, Symposium on Partial Evaluation, 30(3) (1998).","DOI":"10.1145\/289121.289140"},{"key":"272057_CR10","doi-asserted-by":"crossref","unstructured":"Consel, C., Hornof, L., No\u00ebl, F., Noy\u00e9, J., and Volanschi, E.N. A uniform approach for compile-time and run-time specialization. In Partial Evaluation, International Seminar, Dagstuhl Castle, O. Danvy, R. Gl\u00fcck, and P. Thiemann (Eds.). Feb. 1996, pp. 54\u201372. Lecture Notes in Computer Science, Vol. 1110.","DOI":"10.1007\/3-540-61580-6_4"},{"key":"272057_CR11","doi-asserted-by":"crossref","unstructured":"Consel, C. and Khoo, S.C. Semantics-directed generation of a Prolog compiler. In Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming, J. Maluszy\u0144ski and M. Wirsing (Eds.). Passau, Germany, Aug. 1991, pp. 135\u2013146. Lecture Notes in Computer Science, Vol. 528, Springer-Verlag.","DOI":"10.1007\/3-540-54444-5_94"},{"key":"272057_CR12","first-page":"145","volume-title":"Conference Record of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages","author":"C. Consel","year":"1996","unstructured":"Consel, C. and No\u00e1l, F. 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, St. Petersburg Beach, FL, USA, ACM Press, Jan. 1996, pp. 145\u2013156."},{"key":"272057_CR13","first-page":"26","volume-title":"SIGCOMM Symposium on Communications Architectures and Protocols","author":"D.R. Engler","year":"1996","unstructured":"Engler, D.R. and Kaashoek, M.F. DPF: Fast, flexible message demultiplexing using dynamic code generation. In SIGCOMM Symposium on Communications Architectures and Protocols, Stanford University, CA, ACM Press, Aug. 1996, pp. 26\u201330."},{"key":"272057_CR14","unstructured":"Gosling, J., Joy, B., and Steele, G. The Java Language Specification. Addison-Wesley, 1996. ISBN 0-201-63451-1."},{"issue":"1","key":"272057_CR15","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/289423.289431","volume":"34","author":"M. Hicks","year":"1998","unstructured":"Hicks, M., Kakkar, P., Moore, J.T., Gunter, C.A., and Nettles, S. PLAN: A packet language for active networks. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages, ACM, June 1998, pp. 86\u201393. ACM SIGPLAN Notices, 34(1).","journal-title":"Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages"},{"issue":"4","key":"272057_CR16","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1023\/A:1010039502678","volume":"12","author":"L. Hornof","year":"1999","unstructured":"Hornof, L. and Jim, T. Certifying compilation and run-time code generation. Higher-Order and Symbolic Computation, 12(4) (1999) 337\u2013376.","journal-title":"Higher-Order and Symbolic Computation"},{"key":"272057_CR17","first-page":"63","volume-title":"ACMSIGPLAN Symposium on Partial Evaluation and Semantics-Based ProgramManipulation","author":"L. Hornof","year":"1997","unstructured":"Hornof, L. and Noy\u00e9, J. Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity. In ACMSIGPLAN Symposium on Partial Evaluation and Semantics-Based ProgramManipulation, Amsterdam, The Netherlands, ACM Press, June 1997, pp. 63\u201373."},{"key":"272057_CR18","doi-asserted-by":"crossref","unstructured":"Hornof, L., Noy\u00e9, J., and Consel, C. Effective specialization of realistic programs via use sensitivity. In Lecture Notes in Computer Science, Vol. 1302: Proceedings of the Fourth International Symposium on Static Analysis, SAS'97, P. Van Hentenryck (Ed.), Paris, France. Springer-Verlag, Sept. 1997, pp. 293\u2013314.","DOI":"10.1007\/BFb0032749"},{"key":"272057_CR19","unstructured":"Jones, N.D. Automatic program specialization: A re-examination from basic principles. In Partial Evaluation and Mixed Computation, D. Bj\u00f8 rner, A.P. Ershov, and N.D. Jones (Eds.). North-Holland, 1988, pp. 225\u2013282."},{"key":"272057_CR20","unstructured":"Jones, N.D., Gomard, C., and Sestoft, P. Partial Evaluation and Automatic ProgramGeneration. Prentice-Hall, June 1993. International Series in Computer Science."},{"issue":"9","key":"272057_CR21","first-page":"211","volume":"26","author":"S.C. Khoo","year":"1991","unstructured":"Khoo, S.C. and Sundaresh, R.S. Compiling inheritance using partial evaluation. In Partial Evaluation and Semantics-Based Program Manipulation, New Haven, CT, USA, Sept. 1991, pp. 211\u2013222. ACM SIGPLAN Notices, 26(9).","journal-title":"Partial Evaluation and Semantics-Based Program Manipulation"},{"key":"272057_CR22","unstructured":"Ladd, D. and Ramming, C. Two application languages in software production. In USENIX Symposium on Very High Level Languages, New Mexico, Oct. 1994."},{"key":"272057_CR23","doi-asserted-by":"crossref","unstructured":"Ladd, D.A. and Ramming, J.C. Programming the Web: An application-oriented language for hypermedia service programming. In Fourth International World Wide Web Conference, Boston, Massachusetts, Dec. 1995.","DOI":"10.1145\/3592626.3592673"},{"key":"272057_CR24","first-page":"259","volume-title":"Proceedings of the Winter 1993 USENIX Conference","author":"S. McCanne","year":"1993","unstructured":"McCanne, S. and Jacobson, V. The BSD packet filter: A new architecture for user-level packet capture. In Proceedings of the Winter 1993 USENIX Conference, San Diego, California, USA, USENIX, Jan. 1993, pp. 259\u2013269."},{"key":"272057_CR25","doi-asserted-by":"crossref","unstructured":"Mogul, J.C., Rashid, R.F., and Accetta, M.J. The packet filter: An efficient mechanism for user-level network code. In The Proceedings of the 11th Symposium on Operating System Principles, Nov. 1987.","DOI":"10.1145\/41457.37505"},{"key":"272057_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(00)00052-9","volume":"248","author":"G. Muller","year":"2000","unstructured":"Muller, G., Marlet, R., and Volanschi, E.N. Accurate program analyses for successful specialization of legacy system software. Theoretical Computer Science, 248(1\u20132) (2000). To appear in TCS Volume 248\/1\u20132.","journal-title":"Theoretical Computer Science"},{"key":"272057_CR27","first-page":"240","volume-title":"Proceedings of the 18th International Conference on Distributed Computing Systems","author":"G. Muller","year":"1998","unstructured":"Muller, G., Marlet, R., Volanschi, E.N., Consel, C., Pu, C., and Goel, A. Fast, optimized Sun RPC using automatic program specialization. In Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, IEEE Computer Society Press, May 1998, pp. 240\u2013249."},{"key":"272057_CR28","first-page":"1","volume-title":"Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems","author":"G. Muller","year":"1997","unstructured":"Muller, G., Moura, B., Bellard, F., and Consel, C. Harissa: A flexible and efficient Java environment mixing bytecode and compiled code. In Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems, Portland, Oregon, USA, Usenix. June 1997, pp. 1\u201320."},{"key":"272057_CR29","doi-asserted-by":"crossref","unstructured":"Muller, G. and Schultz, U. Harissa: A hybrid approach to Java execution. IEEE Software, (1999) 44\u201351.","DOI":"10.1109\/52.754052"},{"key":"272057_CR30","doi-asserted-by":"crossref","unstructured":"Necula, G. and Lee, P. Safe kernel extensions without run-time checking. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, Seattle, Washington, Oct. 1996, pp. 229\u2013243.","DOI":"10.1145\/238721.238781"},{"key":"272057_CR31","series-title":"IRISA report","first-page":"132","volume-title":"Automatic, template-based run-time specialization: Implementation and experimental study","author":"F. No\u00ebl","year":"1998","unstructured":"No\u00ebl, F., Hornof, L., Consel, C., and Lawall, J. Automatic, template-based run-time specialization: Implementation and experimental study. In International Conference on Computer Languages, Chicago, IL, IEEE Computer Society Press, May 1998, pp. 132\u2013142. Also available as IRISA report PI-1065."},{"key":"272057_CR32","doi-asserted-by":"crossref","unstructured":"Piumarta, I. and Riccardi, F. Optimizing directed threaded code by selective inlining. In PLDI'98 [33], pp. 291\u2013300.","DOI":"10.1145\/277650.277743"},{"key":"272057_CR33","unstructured":"Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation, Montreal, Canada, 17\u201319 June 1998."},{"key":"272057_CR34","unstructured":"Schmidt, D.A. Denotational Semantics: a Methodology for Language Development. Allyn and Bacon, Inc., 1986."},{"key":"272057_CR35","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-48743-3_17","volume":"1628","author":"U. Schultz","year":"1999","unstructured":"Schultz, U., Lawall, J., Consel, C., and Muller, G. Towards automatic specialization of Java programs. In Proceedings of the European Conference on Object-oriented Programming (ECOOP'99), Lisbon, Portugal, June 1999, pp. 367\u2013390. Lecture Notes in Computer Science, Vol. 1628.","journal-title":"Proceedings of the European Conference on Object-oriented Programming (ECOOP'99)"},{"key":"272057_CR36","doi-asserted-by":"crossref","first-page":"918","DOI":"10.1007\/BFb0055113","volume":"1443","author":"W. Taha","year":"1998","unstructured":"Taha, W., Benaissa, W., and Sheard, T. Multi-stage programming: Axiomatization and type safety. In Automata, Languages and Programming, 25th International Colloquium (ICALP'98), Aalborg, Denmark, July 1998, pp. 918\u2013929. Lecture Notes in Computer Science, Vol. 1443.","journal-title":"Automata, Languages and Programming"},{"key":"272057_CR37","doi-asserted-by":"crossref","unstructured":"Thibault, S., Consel, C., and Muller, G. Safe and efficient active network programming. In 17th IEEE Symposium on Reliable Distributed Systems, West Lafayette, Indiana, Oct. 1998, pp. 135\u2013143.","DOI":"10.1109\/RELDIS.1998.740484"},{"key":"272057_CR38","first-page":"234","volume-title":"Proceedings of the 19th International Conference on Distributed Computing Systems","author":"S. Thibault","year":"1999","unstructured":"Thibault, S., Marant, J., and Muller, G. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, Texas, IEEE Computer Society Press, May 1999, pp. 234\u2013243."},{"issue":"3","key":"272057_CR39","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/32.798325","volume":"25","author":"S. Thibault","year":"1999","unstructured":"Thibault, S., Marlet, R., and Consel, C. Domain-specific languages: From design to implementation \u2014 Application to video device drivers generation. IEEE Transactions on Software Engineering, 25(3) (1999) 363\u2013377.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"272057_CR40","unstructured":"Volanschi, E.N. An automatic approach to specializing system components. Ph.D. Thesis, Universit\u00e1 de Rennes I, Feb. 1998."},{"key":"272057_CR41","doi-asserted-by":"crossref","unstructured":"Wickline, P., Lee, P., and Pfenning, F. Run-time code generation and Modal-ML. In PLDI'98 [33], pp. 224\u2013235.","DOI":"10.1145\/277650.277727"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010078412711.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010078412711\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010078412711.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:46:26Z","timestamp":1751982386000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010078412711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,9]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,9]]}},"alternative-id":["272057"],"URL":"https:\/\/doi.org\/10.1023\/a:1010078412711","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,9]]}}}