{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:24:38Z","timestamp":1784183078369,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643029","type":"print"},{"value":"9783540697220","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053561","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:40:18Z","timestamp":1149644418000},"page":"27-41","source":"Crossref","is-referenced-by-count":13,"title":["A polyvariant binding-time analysis for off-line partial deduction"],"prefix":"10.1007","author":[{"given":"Maurice","family":"Bruynooghe","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"issue":"1&2","key":"3_CR1","doi-asserted-by":"publisher","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. The Journal of Logic Programming, 16(1&2):25\u201346, May 1993.","journal-title":"The Journal of Logic Programming"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"M. Bruynooghe, M. Codish, and A. Mulkers. Abstracting unification: a key step in the design of logic program analyses. In Computer Science Today, pages 406\u2013442. Springer-Verlag, LNCS Vol. 1000, 1995.","DOI":"10.1007\/BFb0015257"},{"issue":"1","key":"3_CR3","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":"3_CR4","first-page":"281","volume-title":"number 864 in LNCS","author":"M. Codish","year":"1994","unstructured":"M. Codish and B. Demoen. Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. In B. Le Charlier, editor, Proceedings of the First International Symposium on Static Analysis, number 864 in LNCS, pages 281\u2013297, Namur, Belgium, September 1994. Springer-Verlag."},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0743-1066(95)00064-X","volume":"25","author":"M. Codish","year":"1995","unstructured":"M. Codish and B. Demoen. Analysing Logic Programs using \u201cProp\u201d-ositional Logic Programs and a Magic Wand. Journal of Logic Programming, 25(3):249\u2013274, December 1995.","journal-title":"Journal of Logic Programming"},{"key":"3_CR6","unstructured":"M. Codish, B. Demoen, and K. Sagonas. Semantic-Based Program Analysis for Logic-Based Languages using XSB. K.U. Leuven TR CW 245. December 1996."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"M. Codish and C. Taboch. A Semantic Basis for Termination Analysis of Logic Programs and its Realization using Symbolic Norm Constraints. In Proceedings of the Sixth International Conference on Algebraic and Logic Programming, number 1298 in LNCS, pages 31\u201345. Springer-Verlag, September 1997.","DOI":"10.1007\/BFb0027001"},{"key":"3_CR8","first-page":"493","volume-title":"Tutorial Notes on Partial Evaluation","author":"C. Consel","year":"1993","unstructured":"C. Consel and O. Danvy. Tutorial Notes on Partial Evaluation. In Proceedings of the ACM Conference on Principles of Programming Languages, pages 493\u2013501, Charleston, South Carolina, January 1993. ACM Press."},{"key":"3_CR9","first-page":"238","volume-title":"Conference Record of the Fourth ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pages 238\u2013252, Los Angeles, California, January 1977. ACM."},{"key":"3_CR10","unstructured":"S. Decorte and D. De Schreye. Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. TR, Dept. Comp. Science, K.U. Leuven."},{"key":"3_CR11","first-page":"78","volume-title":"Demand-driven and Constraint-based Automatic Termination Analysis for Logic Programs","author":"S. Decorte","year":"1997","unstructured":"S. Decorte and D. De Schreye. Demand-driven and Constraint-based Automatic Termination Analysis for Logic Programs. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 78\u201392, Leuven, Belgium, July 1997. The MIT Press."},{"key":"3_CR12","unstructured":"D. Dussart. Topics in Program Specialisation and Analysis for Statically Typed Functional Languages. PhD thesis, Katholieke Universiteit Leuven, May 1997."},{"issue":"3","key":"3_CR13","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":"3_CR14","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."},{"key":"3_CR15","unstructured":"N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science, 1993."},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"N. D. Jones, P. Sestoft, and H. S0ndergaard. 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":"3_CR17","first-page":"238","volume-title":"number 1110 in LNCS","author":"J. J0rgensen","year":"1996","unstructured":"J. J0rgensen and M. Leuschel. Efficiently Generating Efficient Generating Extensions in Prolog. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, number 1110 in LNCS, pages 238\u2013262, Schlo\u00df Dagstuhl, February 1996. Springer-Verlag."},{"key":"3_CR18","first-page":"255","volume-title":"Partial Evaluation as a means for inferencing data structures in an Applicative Language: A Theory and Implementation in the case of Prolog","author":"J. Komorowski","year":"1982","unstructured":"J. Komorowski. Partial Evaluation as a means for inferencing data structures in an Applicative Language: A Theory and Implementation in the case of Prolog. In Proceedings of the ACM Conference on Principles of Programming Languages, pages 255\u2013267, Albuquerque, New Mexico, January 1982. ACM."},{"key":"3_CR19","unstructured":"M. Leuschel. The ECCE partial deduction system and the DPPD library of benchmarks. Obtainable via http:\/\/www.cs.kuleuven.ac.be\/~lpai, 1996."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"M. Leuschel, B. Martens, and D. De Schreye. Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs. ACM Trans. Prog. Lang. Syst., 20, 1998. To Appear.","DOI":"10.1145\/271510.271525"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"M. Leuschel, B. Martens, and K. Sagonas. Preserving Termination of Tabled Logic Programs While Unfolding. In N. Fuchs, editor, Proceedings of LOPSTR'97: Logic Program Synthesis and Transformation, LNCS, Leuven, Belgium, July 1997.","DOI":"10.1007\/3-540-49674-2_10"},{"key":"3_CR22","first-page":"63","volume-title":"Automatic Termination Analysis of Logic Programs","author":"N. Lindenstrauss","year":"1997","unstructured":"N. Lindenstrauss and Y. Sagiv. Automatic Termination Analysis of Logic Programs. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 63\u201377, Leuven, Belgium, July 1997. The MIT Press."},{"key":"3_CR23","unstructured":"E. Marchiori and F. Teusink. Proving Termination of Logic Programs with Delay Declarations. In J. W. Lloyd, editor, Proceedings of the 1995 International Logic Programming Symposium, pages 447\u2013461, Portland, Oregon, December 1995."},{"issue":"1\u20134","key":"3_CR24","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/176454.176519","volume":"2","author":"K. Marriott","year":"1993","unstructured":"K. Marriott and H. S0ndergaard. Precise and Efficient Groundness Analysis for Logic Programs. ACM Letters on Progr. Lang, and Syst., 2(1\u20134):181\u2013196, 1993.","journal-title":"ACM Letters on Progr. Lang, and Syst."},{"issue":"2","key":"3_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. The Journal of Logic Programming, 28(2):89\u2013146, August 1996.","journal-title":"The Journal of Logic Programming"},{"key":"3_CR26","unstructured":"J. Martin. Sonic Partial Deduction. Technical Report, Dept. Elec. and Comp. Sc, University of Southampton, January 1998."},{"key":"3_CR27","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":"3_CR28","unstructured":"L. Naish. Coroutining and the Construction of Terminating Logic Programs. Technical Report TR 92\/5, Dept. Computer Science, University of Melbourne, 1992."},{"key":"3_CR29","first-page":"442","volume-title":"XSB as an Efficient Deductive Database Engine","author":"K. Sagonas","year":"1994","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. XSB as an Efficient Deductive Database Engine. In Proceedings of the ACM SIGMOD International Conference on the Management of Data, pages 442\u2013453, Minneapolis, Minnesota, May 1994. ACM."},{"issue":"1","key":"3_CR30","doi-asserted-by":"publisher","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":"3_CR31","unstructured":"M. H. S0rensen and R. Gl\u00fcck. An Algorithm of Generalization in Positive Super-compilation. In J. W. Lloyd, editor, Proceedings of the 1995 International Logic Programming Symposium, pages 465\u2013479, Portland, Oregon, December 1995."},{"issue":"3","key":"3_CR32","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. F. Turchin","year":"1986","unstructured":"V. F. Turchin. The Concept of a Supercompiler. ACM Trans. Prog. Lang. Syst., 8(3):292\u2013325, July 1986.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"3","key":"3_CR33","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0743-1066(94)00029-6","volume":"23","author":"P. Hentenryck Van","year":"1995","unstructured":"P. Van Hentenryck, A. Cortesi, and B. Le Charlier. Evaluation of the Domain Prop. Journal of Logic Programming, 23(3):237\u2013278, June 1995.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053561","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:34:33Z","timestamp":1555641273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053561"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0053561","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}