{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:30Z","timestamp":1725890910304},"publisher-location":"Berlin, Heidelberg","reference-count":27,"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_10","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T01:41:54Z","timestamp":1187055714000},"page":"189-205","source":"Crossref","is-referenced-by-count":5,"title":["Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Michael","family":"Leuschel","sequence":"first","affiliation":[]},{"given":"Bern","family":"Martens","sequence":"additional","affiliation":[]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"issue":"5","key":"10_CR1","doi-asserted-by":"publisher","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"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R. M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44\u201367, January 1977.","journal-title":"Journal of the ACM"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"W. Chen and D. S. Warren. Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM, 43(1):20\u201374, January 1996.","journal-title":"Journal of the ACM"},{"issue":"3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/S0743-1066(96)00143-4","volume":"32","author":"M. Codish","year":"1997","unstructured":"M. Codish, M. Bruynooghe, M. Garc\u00eda de la Banda, and M. Hermenegildo. Exploiting Goal Independence in the Analysis of Logic Programs. Journal of Logic Programming, 32(3):247\u2013262, September 1997.","journal-title":"Journal of Logic Programming"},{"key":"10_CR5","unstructured":"M. Codish, B. Demoen, and K. Sagonas. Semantic-Based Program Analysis for Logic-Based Languages using XSB. K.U. Leuven Technical Report CW 245. December 1996."},{"key":"10_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of LOP-STR\u201997: Logic Program Synthesis and Transformation","author":"S. Decorte","year":"1997","unstructured":"S. Decorte, D. De Schreye, M. Leuschel, B. Martens, and K. Sagonas. Termination Analysis for Tabled Logic Programming. In N. Fuchs, editor, Proceedings of LOP-STR\u201997: Logic Program Synthesis and Transformation, LNCS, Leuven, Belgium, July 1997. Springer-Verlag."},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, C. Palamidessi, and M. Martelli. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Comput. Sci., 69(3):289\u2013318, 1989.","journal-title":"Theoretical Comput. Sci."},{"key":"10_CR8","unstructured":"J. Gallagher. A System for Specialising Logic Programs. Technical Report TR-91-32, University of Bristol, November 1991."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"J. Gallagher. Tutorial on Specialisation of Logic Programs. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88\u201398, Copenhagen, Denmark, June 1993. ACM Press.","DOI":"10.1145\/154630.154640"},{"key":"10_CR10","unstructured":"J. Gallagher and M. Bruynooghe. Some Low-Level Source Transformations for Logic Programs. In M. Bruynooghe, editor, Proceedings of the Second Workshop on Meta-programming in Logic, pages 229\u2013244, Leuven, Belgium, April 1990."},{"key":"10_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 of the International Symposium on Programming Languages, Implementations, Logics and Programs (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. Swierstra, editors, Proceedings of the International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u201996), number 1140 in LNCS, pages 152\u2013166, Aachen, Germany, September 1996. Springer-Verlag. Extended version as Technical Report CW 226, K.U. Leuven. Accessible via http:\/\/www.cs.kuleuven.ac.be\/~lpai."},{"key":"10_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3540543961_23","volume-title":"Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA)","author":"C. K. Holst","year":"1991","unstructured":"C. K. Holst. Finiteness Analysis. In J. Hughes, editor, Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA), number 523 in LNCS, pages 473\u2013495. Springer-Verlag, August 1991."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"M. Leuschel and D. De Schreye. Towards creating specialised integrity checks through partial evaluation of meta-interpreters. In Proceedings of PEPM\u201995, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 253\u2013263, La Jolla, California, June 1995. ACM Press.","DOI":"10.1145\/215465.215598"},{"key":"10_CR14","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 of the Joint International Conference and Symposium on Logic Programming JICSLP\u201996, pages 319\u2013332, Bonn, Germany, September 1996. MIT Press. Extended version as Technical Report CW 225, K.U. Leuven. Accessible via http:\/\/www.cs.kuleuven.ac.be\/~lpai."},{"key":"10_CR15","unstructured":"M. Leuschel and B. Martens. Partial deduction of the ground representation and its application to integrity checking. In J. W. Lloyd, editor, Proceedings of ILPS\u201995, 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\/~lpai."},{"key":"10_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-61756-6_82","volume-title":"Proceedings of the International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u201996)","author":"M. Leuschel","year":"1996","unstructured":"M. Leuschel and D. Schreye. Logic program specialisation: How to be more specific. In H. Kuchen and S. Swierstra, editors, Proceedings of the International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u201996), number 1140 in LNCS, pages 137\u2013151, Aachen, Germany, September 1996. Springer-Verlag. Extended version as Technical Report CW 232, K.U. Leuven. Accessible via http:\/\/www.cs.kuleuven.ac.be\/~lpai."},{"issue":"3 & 4","key":"10_CR17","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, October\/November 1991.","journal-title":"Journal of Logic Programming"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19 & 20","author":"A. Pettorossi","year":"1994","unstructured":"A. Pettorossi and M. Proietti. Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming, 19 & 20:261\u2013320, May\/July 1994.","journal-title":"Journal of Logic Programming"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"S. Prestwich. An Unfold Rule for Full Prolog. In K.-K. Lau and T. Clement, editors, Logic Program Synthesis and Transformation: Proceedings of LOPSTR\u201992, Workshops in Computing, Manchester, U.K., 1992. Springer-Verlag.","DOI":"10.1007\/978-1-4471-3560-9_14"},{"key":"10_CR20","series-title":"Technical Report","volume-title":"The PADDY Partial Deduction System","author":"S. Prestwich","year":"1992","unstructured":"S. Prestwich. The PADDY Partial Deduction System. Technical Report ECRC-92-6, ECRC, Munich, Germany, 1992."},{"key":"10_CR21","first-page":"274","volume-title":"Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"M. Proietti","year":"1991","unstructured":"M. Proietti and A. Pettorossi. Semantics Preserving Transformation Rules for Prolog. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 274\u2013284, Yale University, New Haven, Connecticut, U.S.A., June 1991. ACM Press."},{"key":"10_CR22","unstructured":"I. V. Ramakrishnan, P. Rao, K. Sagonas, T. Swift, and D. S. Warren. Efficient Tabling Mechanisms for Logic Programs. In L. Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 687\u2013711, Tokyo, Japan, June 1995. The MIT Press."},{"key":"10_CR23","unstructured":"K. Sagonas. The SLG-WAM: A Search-Efficient Engine for Well-Founded Evaluation of Normal Logic Programs. PhD thesis, Department of Computer Science, SUNY at Stony Brook, August 1996."},{"key":"10_CR24","doi-asserted-by":"crossref","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 Press.","DOI":"10.1145\/191839.191927"},{"issue":"1","key":"10_CR25","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":"10_CR26","unstructured":"H. Tamaki and T. Sato. Unfold\/Fold Transformations of Logic Programs. In S.-\u00c5. T\u00e4rnlund, editor, Proceedings of the Second International Conference on Logic Programming, pages 127\u2013138, Uppsala, Sweden, July 1984."},{"key":"10_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Proceedings of the Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"H. Tamaki and T. Sato. OLD Resolution with Tabulation. In E. Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, number 225 in LNCS, pages 84\u201398, London, July 1986. Springer-Verlag."}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T21:04:24Z","timestamp":1556744664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}