{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:34Z","timestamp":1725890914649},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650744"},{"type":"electronic","value":"9783540496748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49674-2_17","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T05:41:54Z","timestamp":1187070114000},"page":"322-342","source":"Crossref","is-referenced-by-count":4,"title":["To Parse or Not To Parse"],"prefix":"10.1007","author":[{"given":"Wim","family":"Vanhoof","sequence":"first","affiliation":[]},{"given":"Bern","family":"Martens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"key":"17_CR1","first-page":"205","volume-title":"Encyclopedia of Computer Science and Technology","author":"J. Barklund","year":"1995","unstructured":"J. Barklund. Metaprogramming in logic. In A. Kent and J.G. Williams, editors, Encyclopedia of Computer Science and Technology, Vol. 33, pages 205\u2013227. Marcell Dekker, Inc., New York, 1995."},{"key":"17_CR2","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."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"A. Brogi and S. Contiero. G\u00f6del as a meta language for composing logic programs. In A. Turini, editor, Proceedings Meta\u201994, pages 377\u2013394. University of Pisa, 1994.","DOI":"10.1007\/3-540-58792-6_23"},{"key":"17_CR4","series-title":"Technical Report","volume-title":"A program specialiser for meta-level compositions of logic programs","author":"A. Brogi","year":"1996","unstructured":"A. Brogi and S. Contiero. A program specialiser for meta-level compositions of logic programs. Technical Report TR-96-20, Dipartimento di Informatica, Universit\u00e0 di Pisa, Pisa, Italy, May 1996."},{"key":"17_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-62718-9_16","volume-title":"Proceedings LOPSTR\u201996","author":"A. Brogi","year":"1997","unstructured":"A. Brogi and S. Contiero. Specialising meta-level compositions of logic programs. In J. Gallagher, editor, Proceedings LOPSTR\u201996, pages 275\u2013294, Stockholm, 1997. Springer-Verlag, LNCS 1207."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Composition operators for logic theories. In J. W. Lloyd, editor, Proceedings of the Esprit Symposium on Computational Logic, pages 117\u2013134. Springer-Verlag, November 1990.","DOI":"10.1007\/978-3-642-76274-1_7"},{"key":"17_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-56282-6_7","volume-title":"Proceedings Meta\u201992","author":"A. Brogi","year":"1992","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Meta for modularising logic programming. In A. Pettorossi, editor, Proceedings Meta\u201992, pages 105\u2013119. Springer-Verlag, LNCS 649, 1992."},{"key":"17_CR8","unstructured":"D. De Schreye, M. Leuschel, and B. Martens. Tutorial on program specialisation (abstract). In J.W. Lloyd, editor, Proceedings ILPS\u201995, pages 615\u2013616, Portland, Oregon, December 1995. MIT Press."},{"key":"17_CR9","unstructured":"J. Gallagher. Transforming logic programs by specialising interpreters. In Proceedings ECAI\u201986, pages 109\u2013122, 1986."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"J. Gallagher. Specialisation of logic programs: A tutorial. In Proceedings PEPM\u201993, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88\u201398, Copenhagen, June 1993. ACM Press.","DOI":"10.1145\/154630.154640"},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-61756-6_83","volume-title":"Proceedings PLILP\u201996","author":"R. Gl\u00fcck","year":"1996","unstructured":"R. Gl\u00fcck, J. J\u00f8rgensen, B. Martens, and M. H. S\u00f8rensen. Controlling conjunctive partial deduction of definite logic programs. In H. Kuchen and S.D. Swierstra, editors, Proceedings PLILP\u201996, pages 152\u2013166, Aachen, Germany, September 1996. Springer-Verlag, LNCS 1140."},{"key":"17_CR12","series-title":"Technical Report","volume-title":"Meta-programming in logic programming","author":"P. M. Hill","year":"1994","unstructured":"P. M. Hill and J. Gallagher. Meta-programming in logic programming. Technical Report 94.22, School of Computer Studies, University of Leeds, U.K., August 1994. To appear in Volume V of the Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press."},{"key":"17_CR13","unstructured":"P. M. Hill and J. W. Lloyd. Analysis of meta-programs. In H. D. Abramson and M. H. Rogers, editors, Proceedings Meta\u201988, pages 23\u201351. MIT Press, 1989."},{"key":"17_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-62718-9_5","volume-title":"Proceedings LOPSTR\u201996","author":"J. J\u00f8rgensen","year":"1997","unstructured":"J. J\u00f8rgensen, M. Leuschel, and B. Martens. Conjunctive partial deduction in practice. In J. Gallagher, editor, Proceedings LOPSTR\u201996, pages 59\u201382, Stockholm, August 1997. Springer-Verlag, LNCS 1207. Shorter and preliminary version in Proceedings of Benelog\u201996."},{"key":"17_CR15","unstructured":"A. Lakhotia. To PE or not to PE. In M. Bruynooghe, editor, Proceedings Meta\u201990, pages 218\u2013228, Leuven, April 1990."},{"issue":"1","key":"17_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF03037513","volume":"8","author":"A. Lakhotia","year":"1990","unstructured":"A. Lakhotia and L. Sterling. How to control unfolding when specializing interpreters. New Generation Computing, 8(1):61\u201370, 1990.","journal-title":"New Generation Computing"},{"key":"17_CR17","unstructured":"M. Leuschel, D. De Schreye, and A. de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration. In M. Maher, editor, Proceedings JICSLP\u201996, pages 319\u2013332, Bonn, Germany, September 1996. MIT Press."},{"key":"17_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-61580-6_13","volume-title":"Proceedings Dagstuhl Seminar on Partial Evaluation","author":"M. Leuschel","year":"1996","unstructured":"M. Leuschel and B. Martens. Global control for partial deduction through characteristic atoms and global trees. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Proceedings Dagstuhl Seminar on Partial Evaluation, pages 263\u2013283, Schloss Dagstuhl, Germany, 1996. Springer-Verlag, LNCS 1110."},{"key":"17_CR19","unstructured":"M. Leuschel, B. Martens, and D. De Schreye. Controlling generalization and polyvariance in partial deduction of normal logic programs. ACM Transactions on Programming Languages and Systems. To Appear. Preliminary version as Technical Report CW248, Departement Computerwetenschappen, K.U.Leuven, February 1997, Belgium. See http:\/\/www.cs.kuleuven.ac.be\/publicaties\/rapporten\/CW1997.html."},{"key":"17_CR20","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Logic Program Synthesis and Transformation","author":"M. Leuschel","year":"1995","unstructured":"Michael Leuschel. Ecological partial deduction: Preserving characteristic trees without constraints. In Maurizio Proietti, editor, Logic Program Synthesis and Transformation. Proceedings of LOPSTR\u201995, LNCS 1048, pages 1\u201316, Utrecht, The Netherlands, September 1995. Springer-Verlag."},{"key":"17_CR21","unstructured":"Michael Leuschel. The ecce partial deduction system and the dppd library of benchmarks. Obtainable via http:\/\/www.cs.kuleuven.ac.be\/~lpai, 1996."},{"issue":"3&4","key":"17_CR22","doi-asserted-by":"publisher","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. Journal of Logic Programming, 11(3&4):217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"17_CR23","unstructured":"B. Martens. On the Semantics of Meta-Programming and the Control of Partial Deduction in Logic Programming. PhD thesis, Departement Computerwetenschappen, K.U.Leuven, Belgium, February 1994."},{"issue":"1","key":"17_CR24","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0743-1066(94)00015-X","volume":"22","author":"B. Martens","year":"1995","unstructured":"B. Martens and D. De Schreye. Why untyped non-ground meta-programming is not (much of) a problem. Journal of Logic Programming, 22(1):47\u201399, 1995.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"17_CR25","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0743-1066(95)00149-2","volume":"28","author":"B. Martens","year":"1996","unstructured":"B. Martens and D. De Schreye. Automatic finite unfolding using well-founded measures. Journal of Logic Programming, 28(2):89\u2013146, 1996.","journal-title":"Journal of Logic Programming"},{"key":"17_CR26","first-page":"597","volume-title":"Proceedings ICLP\u201995","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\u201995, pages 597\u2013611, Shonan Village Center, Kanagawa, Japan, June 1995. MIT Press."},{"key":"17_CR27","unstructured":"S. Owen. Issues in the partial evaluation of meta-interpreters. In H. D. Abramson and M. H. Rogers, editors, Proceedings Meta\u201988, pages 319\u2013339. MIT Press, 1989."},{"key":"17_CR28","unstructured":"S. Safra and E. Shapiro. Meta interpreters for real. In H.-J. Kugler, editor, Information Processing 86, pages 271\u2013278, 1986."},{"issue":"1","key":"17_CR29","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":"17_CR30","unstructured":"M. H. S\u00f8rensen and R. Gl\u00fcck. An algorithm of generalization in positive supercompilation. In J.W. Lloyd, editor, Proceedings ILPS\u201995, pages 465\u2013479, Portland, Oregon, December 1995. MIT Press."},{"issue":"1&2","key":"17_CR31","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0743-1066(89)90034-4","volume":"6","author":"L. Sterling","year":"1989","unstructured":"L. Sterling and R. D. Beer. Meta interpreters for expert system construction. Journal of Logic Programming, 6(1&2):163\u2013178, 1989.","journal-title":"Journal of Logic Programming"},{"key":"17_CR32","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986."},{"key":"17_CR33","unstructured":"A. Takeuchi and K. Furukawa. Partial evaluation of Prolog programs and its application to metaprogramming. In H.-J. Kugler, editor, Information Processing 86, pages 415\u2013420, 1986."}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49674-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T01:04:47Z","timestamp":1556759087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}