{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:48Z","timestamp":1725664428781},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615804"},{"type":"electronic","value":"9783540705895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61580-6_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:01:00Z","timestamp":1330293660000},"page":"238-262","source":"Crossref","is-referenced-by-count":9,"title":["Efficiently generating efficient generating extensions in prolog"],"prefix":"10.1007","author":[{"given":"Jesper","family":"J\u00f8rgensen","sequence":"first","affiliation":[]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"12_CR1","unstructured":"L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94\/19)."},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(76)90011-4","volume":"7","author":"L. Beckman","year":"1976","unstructured":"L. Beckman, A. Haraldson, \u00f6. Oskarsson, and E. Sandewall. A partial evaluator and its use as a programming tool. Artificial Intelligence, 7:319\u2013357, 1976.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"12_CR3","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1093\/logcom\/3.5.469","volume":"3","author":"K. Benkerimi","year":"1993","unstructured":"K. Benkerimi and P. M. Hill. Supporting transformations for the partial evaluation of logic programs. Journal of Logic and Computation, 3(5):469\u2013486, October 1993.","journal-title":"Journal of Logic and Computation"},{"key":"12_CR4","unstructured":"K. Benkerimi and J. W. Lloyd. A partial evaluation procedure for logic programs. In S. Debray and M. Hermenegildo, editors, Proceedings of the North American Conference on Logic Programming, pages 343\u2013358. MIT Press, 1990."},{"key":"12_CR5","first-page":"198","volume-title":"LNCS","author":"L. Birkedal","year":"1994","unstructured":"L. Birkedal and M. Welinder. Hand-writing program generator generators. In M. Hermenegildo and J. Penjam, editors, Programming Language Implementation and Logic Programming. Proceedings, volume 844 of LNCS, pages 198\u2013214, Madrid, Spain, 1994. Springer-Verlag."},{"issue":"1&2","key":"12_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0743-1066(93)90022-9","volume":"16","author":"R. Bol","year":"1993","unstructured":"R. Bol. Loop checking in partial deduction. Journal of Logic Programming, 16(1&2):25\u201346, 1993.","journal-title":"Journal of Logic Programming"},{"key":"12_CR7","unstructured":"A. Bondorf, F. Frauendorf, and M. Richter. An experiment in automatic selfapplicable partial evaluation of prolog. Technical Report 335, Lehrstuhl Informatik V, University of Dortmund, 1990."},{"key":"12_CR8","unstructured":"A. F. Bowers and C. A. Gurr. Towards fast and declarative meta-programming. In K. R. Apt and F. Turini, editors, Meta-logics and Logic Programming, pages 137\u2013166. MIT Press, 1995."},{"issue":"1","key":"12_CR9","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF03037527","volume":"11","author":"M. Bruynooghe","year":"1992","unstructured":"M. Bruynooghe, D. De Schreye, and B. Martens. A general criterion for avoiding infinite unfolding during partial deduction. New Generation Computing, 11(1):47\u201379, 1992.","journal-title":"New Generation Computing"},{"key":"12_CR10","volume-title":"Proceedings of POPL'93","author":"C. Consel","year":"1993","unstructured":"C. Consel and O. Danvy. Tutorial notes on partial evaluation. In Proceedings of POPL'93, Charleston, South Carolina, January 1993. ACM Press."},{"issue":"2&3","key":"12_CR11","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF03037133","volume":"6","author":"H. Fujita","year":"1988","unstructured":"H. Fujita and K. Furukawa. A self-applicable partial evaluator and its use in incremental compilation. New Generation Computing, 6(2 & 3):91\u2013118, 1988.","journal-title":"New Generation Computing"},{"key":"12_CR12","unstructured":"J. Gallagher. A system for specialising logic programs. Technical Report TR-91-32, University of Bristol, November 1991."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"J. Gallagher. Tutorial on specialisation of logic programs. In Proceedings of PEPM'93, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88\u201398. ACM Press, 1993.","DOI":"10.1145\/154630.154640"},{"key":"12_CR14","unstructured":"J. Gallagher and M. Bruynooghe. Some low-level transformations for logic programs. In M. Bruynooghe, editor, Proceedings of Meta90 Workshop on Meta Programming in Logic, pages 229\u2013244, Leuven, Belgium, 1990."},{"issue":"3&4","key":"12_CR15","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF03037167","volume":"9","author":"J. Gallagher","year":"1991","unstructured":"J. Gallagher and M. Bruynooghe. The derivation of an algorithm for program specialisation. New Generation Computing, 9(3 & 4):305\u2013333, 1991.","journal-title":"New Generation Computing"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"R. Gl\u00fcck and J. J\u00f8rgensen. Efficient multi-level generating extensions for program specialization. In Programming Languages, Implementations, Logics and Programs (PLILP'95), LNCS 982, pages 259\u2013278. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026825"},{"key":"12_CR17","volume-title":"Technical Report CW 226","author":"R. Gl\u00fcck","year":"1996","unstructured":"R. Gl\u00fcck, J. J\u00f8rgensen, B. Martens, and M. S\u00f8rensen. Controlling conjunctive partial deduction of definite logic programs. Technical Report CW 226, Departement Computerwetenschappen, K.U. Leuven, Belgium, February 1996. Submitted."},{"key":"12_CR18","unstructured":"C. A. Gurr. A Self-Applicable Partial Evaluator for the Logic Programming Language G\u00f6del. PhD thesis, Department of Computer Science, University of Bristol, January 1994."},{"issue":"4","key":"12_CR19","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0743-1066(92)90053-6","volume":"13","author":"M. Hermenegildo","year":"1992","unstructured":"M. Hermenegildo, R. Warren, and S. K. Debray. Global flow analysis as a practical compilation tool. The Journal of Logic Programming, 13(4):349\u2013366, 1992.","journal-title":"The Journal of Logic Programming"},{"key":"12_CR20","unstructured":"P. Hill and J. Gallagher. Meta-programming in logic programming. Technical Report 94.22, School of Computer Studies, University of Leeds, 1994. To be published in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5. Oxford Science Publications, Oxford University Press."},{"key":"12_CR21","unstructured":"C. K. Holst. Syntactic currying: yet another approach to partial evaluation. Technical report, DIKU, Department of Computer Science, University of Copenhagen, 1989."},{"key":"12_CR22","unstructured":"C. K. Holst and J. Launchbury. Handwriting cogen to avoid problems with static typing. Working paper, 1992."},{"key":"12_CR23","unstructured":"N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"issue":"1","key":"12_CR24","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"N. D. Jones, P. Sestoft, and H. S\u00f8ndergaard. Mix: a self-applicable partial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(1):9\u201350, 1989.","journal-title":"LISP and Symbolic Computation"},{"key":"12_CR25","volume-title":"Technical Report CW 221","author":"J. J\u00f8rgensen","year":"1996","unstructured":"J. J\u00f8rgensen and M. Leuschel. Efficiently generating efficient generating extensions in Prolog. Technical Report CW 221, K.U. Leuven, Belgium, February 1996. Accessible via http:\/\/www.cs.kuleuven.ac.be\/\u223clpai."},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"J. Komorowski. An introduction to partial deduction. In A. Pettorossi, editor, Proceedings Meta'92, pages 49\u201369. Springer-Verlag, LNCS 649, 1992.","DOI":"10.1007\/3-540-56282-6_4"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"J. Launchbury. Projection Factorisations in Partial Evaluation. Distinguished Dissertations in Computer Science. Cambridge University Press, 1991.","DOI":"10.1017\/CBO9780511569814"},{"key":"12_CR28","series-title":"LNCS 883","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-58792-6_8","volume-title":"Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic","author":"M. Leuschel","year":"1994","unstructured":"M. Leuschel. Partial evaluation of the \u201creal thing\u201d. In L. Fribourg and F. Turini, editors, Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic. Proceedings of LOPSTR'94 and META '94, LNCS 883, pages 122\u2013137, Pisa, Italy, June 1994. Springer-Verlag."},{"key":"12_CR29","series-title":"LNCS 1048","first-page":"1","volume-title":"Logic Program Synthesis and Transformation","author":"M. Leuschel","year":"1995","unstructured":"M. Leuschel. Ecological partial deduction: Preserving characteristic trees without constraints. In M. Proietti, editor, Logic Program Synthesis and Transformation. Proceedings of LOPSTR'95, LNCS 1048, pages 1\u201316, Utrecht, Netherlands, September 1995. Springer-Verlag."},{"key":"12_CR30","volume-title":"Technical Report CW 215","author":"M. Leuschel","year":"1995","unstructured":"M. Leuschel and D. De Schreye. An almost perfect abstraction operation for partial deduction using characteristic trees. Technical Report CW 215, K.U. Leuven, Belgium, October 1995. Submitted for Publication. Accessible via http:\/\/www.cs.kuleuven.ac.be\/\u223clpai."},{"key":"12_CR31","first-page":"253","volume-title":"Towards creating specialised integrity checks through partial evaluation of meta-interpreters","author":"M. Leuschel","year":"1995","unstructured":"M. Leuschel and D. De Schreye. Towards creating specialised integrity checks through partial evaluation of meta-interpreters. In Proceedings of PEPM'95, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 253\u2013263, La Jolla, California, June 1995. ACM Press."},{"key":"12_CR32","volume-title":"Technical Report CW 225","author":"M. Leuschel","year":"1996","unstructured":"M. Leuschel, D. De Schreye, and A. de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration. Technical Report CW 225, Departement Computerwetenschappen, K.U. Leuven, Belgium, February 1996. Submitted."},{"key":"12_CR33","unstructured":"M. Leuschel and B. Martens. Global control for partial deduction through characteristic atoms and global trees. In this volume."},{"key":"12_CR34","first-page":"495","volume-title":"Partial deduction of the ground representation and its application to integrity checking","author":"M. Leuschel","year":"1995","unstructured":"M. Leuschel and B. Martens. Partial deduction of the ground representation and its application to integrity checking. In J. Lloyd, editor, Proceedings of ILPS'95, the International Logic Programming Symposium, pages 495\u2013509, Portland, USA, December 1995. MIT Press. Extended version as Technical Report CW 210, K.U. Leuven. Accessible via http:\/\/www.cs.kuleuven.ac.be\/\u223clpai."},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"J. Lloyd. Foundations of Logic Programming. Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"12_CR36","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J. W. Lloyd","year":"1991","unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. The Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"The Journal of Logic Programming"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"B. Martens and D. De Schreye. Automatic finite unfolding using well-founded measures. Journal of Logic Programming, 1995. To Appear.","DOI":"10.1016\/0743-1066(95)00149-2"},{"key":"12_CR38","first-page":"597","volume-title":"Proceedings ICLP'95","author":"B. Martens","year":"1995","unstructured":"B. Martens and J. Gallagher. Ensuring global termination of partial deduction while allowing flexible polyvariance. In L. Sterling, editor, Proceedings ICLP'95, pages 597\u2013613, Kanagawa, Japan, June 1995. MIT Press."},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"T. Mogensen and A. Bondorf. Logimix: A self-applicable partial evaluator for Prolog. In K.-K. Lau and T. Clement, editors, Logic Program Synthesis and Transformation. Proceedings of LOPSTR'92, pages 214\u2013227. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3560-9_15"},{"key":"12_CR40","unstructured":"G. Neumann. Transforming interpreters into compilers by goal classification. In M. Bruynooghe, editor, Proceedings of Meta90 Workshop on Meta Programming in Logic, pages 205\u2013217, Leuven, Belgium, 1990."},{"key":"12_CR41","doi-asserted-by":"crossref","unstructured":"G. Neumann. A simple transformation from Prolog-written metalevel interpreters into compilers and its implementation. In A. Voronkov, editor, Logic Programming. Proceedings of the First and Second Russian Conference on Logic Programming, LNCS 592, pages 349\u2013360. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55460-2_26"},{"key":"12_CR42","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19","author":"A. Pettorossi","year":"1994","unstructured":"A. Pettorossi and M. Proietti. Transformation of logic programs: Foundations and techniques. The Journal of Logic Programming, 19 & 20:261\u2013320, May 1994.","journal-title":"The Journal of Logic Programming"},{"key":"12_CR43","volume-title":"Technical Report ECRC-92-6","author":"S. Prestwich","year":"1992","unstructured":"S. Prestwich. The PADDY partial deduction system. Technical Report ECRC-92-6, ECRC, Munich, Germany, 1992."},{"key":"12_CR44","unstructured":"S. A. Romanenko. A compiler generator produced by a self-applicable specializer can have a surprisingly natural and understandable structure. In D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation, pages 445\u2013463. North-Holland, 1988."},{"issue":"1","key":"12_CR45","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF03038271","volume":"12","author":"D. Sahlin","year":"1993","unstructured":"D. Sahlin. Mixtus: An automatic partial evaluator for full Prolog. New Generation Computing, 12(1):7\u201351, 1993.","journal-title":"New Generation Computing"},{"key":"12_CR46","first-page":"465","volume-title":"An algorithm of generalization in positive supercompilation","author":"M. S\u00f8rensen","year":"1995","unstructured":"M. S\u00f8rensen and R. Gl\u00fcck. An algorithm of generalization in positive supercompilation. In J. Lloyd, editor, Proceedings of ILPS'95, the International Logic Programming Symposium, pages 465\u2013479, Portland, USA, December 1995. MIT Press."},{"issue":"3","key":"12_CR47","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. Turchin","year":"1986","unstructured":"V. Turchin. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems, 8(3):292\u2013325, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Partial Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61580-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:12Z","timestamp":1605647292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61580-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615804","9783540705895"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/3-540-61580-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}