{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:05Z","timestamp":1747546925423},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423140"},{"type":"electronic","value":"9783540477648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47764-0_6","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T00:55:55Z","timestamp":1181609755000},"page":"93-110","source":"Crossref","is-referenced-by-count":20,"title":["Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs"],"prefix":"10.1007","author":[{"given":"Fred","family":"Mesnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Neumerkel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"issue":"106","key":"6_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1993.1051","volume":"1","author":"K. R. Apt","year":"1993","unstructured":"K. R. Apt and D. Pedreschi. Reasoning about termination of pure Prolog programs. Information and computation, 1(106):109\u2013157, 1993.","journal-title":"Information and computation"},{"key":"6_CR2","unstructured":"K. R. Apt and D. Pedreschi. Modular termination proofs for logic and pure Prolog programs. In G. Levi, editor, Advances in Logic Programming Theory, pages 183\u2013229. Oxford University Press, 1994."},{"key":"6_CR3","unstructured":"K.R. Apt. From Logic Programming to Prolog. Prentice Hall, 1997."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"K.R. Apt and D. Pedreschi. Studies in pure Prolog: Termination. In J.W. Lloyd, editor, Proc. of the Symp. in Computational Logic, pages 150\u2013176. Springer, 1990.","DOI":"10.1007\/978-3-642-76274-1_9"},{"key":"6_CR5","unstructured":"B. De Backer and H. Beringer. A clp language handling disjunctions of linear constraints. In Proc. of ICLP\u201993, pages 550\u2013563. MIT Press, 1993."},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Logic Program Synthesis and Transformation","author":"F. Benoy","year":"1997","unstructured":"F. Benoy and A. King. Inferring argument size relationships with CLP(R). In J. P. Gallagher, editor, Logic Program Synthesis and Transformation, volume 1207 of LNCS. Springer-Verlag, 1997."},{"key":"6_CR7","unstructured":"F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L\u00f3pez-Garcia, and G. Puebla. The Ciao Prolog System. Reference Manual. The Ciao System Documentation Series-TR CLIP3\/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. System and on-line version of the manual available at http:\/\/clip.dia.fi.upm.es\/Software\/Ciao\/ ."},{"key":"6_CR8","unstructured":"F. Bueno, M. Garcia de la Banda, and M. Hermenegildo. Effectiveness of global analysis in strict independence-based automatic program parallelization. In Proc. of the 1994 Intl. Symp. on Logic Programming, pages 320\u2013336. MIT Press, 1994."},{"key":"6_CR9","unstructured":"M. Carlsson. Boolean constraints in SICStus Prolog. Technical Report T91:09, Swedish Institute of Computer Science, 1994."},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0743-1066(99)00014-X","volume":"41","author":"M. Codish","year":"1999","unstructured":"M. Codish. Worst-case groundness analysis using positive boolean functions. Journal of Logic Programming, 41(1):125\u2013128, 1999.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0743-1066(99)00006-0","volume":"41","author":"M. Codish","year":"1999","unstructured":"M. Codish and C. Taboch. A semantics basis for termination analysis of logic programs. Journal of Logic Programming, 41(1):103\u2013123, 1999.","journal-title":"Journal of Logic Programming"},{"key":"6_CR12","unstructured":"S. Colin, F. Mesnard, and A. Rauzy. Constraint logic programming and mu-calculus. ERCIM\/COMPULOG Workshop on Constraints, 1997."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unifed lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. of the 4th Symp. on Principles of Programming Languages, pages 238\u2013252. ACM, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"23","key":"6_CR14","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2,3):103\u2013179, 1992.","journal-title":"Journal of Logic Programming"},{"key":"6_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of PLILP\u201992","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In Proc. of PLILP\u201992, volume 631 of LNCS. Springer-Verlag, 1992."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proc. of the 5th Symp. on Principles of Programming Languages, pages 84\u201396. ACM, 1978.","DOI":"10.1145\/512760.512770"},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/3-540-58485-4_45","volume-title":"Proc. of SAS\u201994","author":"S. K. Debray","year":"1994","unstructured":"S. K. Debray, P. Lopez-Garcia, M. Hermenegildo, and N.-W. Lin. Estimating the computational cost of logic programs. In B. Le Charlier, editor, LNCS, volume 864, pages 255\u2013265. Springer-Verlag, 1994. Proc. of SAS\u201994."},{"key":"6_CR18","unstructured":"S. Decorte. Enhancing the power of termination analysis of logic programs through types and constraints. PhD thesis, Katholieke Universiteit Leuven, 1997."},{"issue":"6","key":"6_CR19","doi-asserted-by":"publisher","first-page":"1136","DOI":"10.1145\/330643.330645","volume":"21","author":"S. Decorte","year":"1999","unstructured":"S. Decorte, D. De Schreye, and H. Vandecasteele. Constraint-based termination analysis of logic programs. ACM Transactions on Programming Languages and Systems, 21(6):1136\u20131195, 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The standard, reference manuel. Springer-Verlag, 1996.","DOI":"10.1007\/978-3-642-61411-8"},{"key":"6_CR21","unstructured":"P. Deransart, G. Ferrand, and M. T\u00e9guia. NSTO programs (not subject to occur-check). Proc. of the Int. Logic Programming Symp., pages 533\u2013547, 1991."},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0743-1066(94)90027-2","volume":"19-20","author":"D. DeSchreye","year":"1994","unstructured":"D. DeSchreye and S. Decorte. Termination of logic programs: the never-ending story. Journal of Logic Programming, 19-20:199\u2013260, 1994.","journal-title":"Journal of Logic Programming"},{"key":"6_CR23","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of SAS\u201996","author":"M. Handjieva","year":"1996","unstructured":"M. Handjieva. Stan: a static analyzer for CLP(R) based on abstract interpretation. In R. Cousot and D. Schmidt, editors, Proc. of SAS\u201996, volume 1145 of LNCS. Springer-Verlag, 1996."},{"key":"6_CR24","unstructured":"C. Holzbaur. OFAI clp(q,r) manual, edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute, 1995."},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J-L. Lassez. Constraint logic programming. In Proc. of the 14th Symp. on Principles of Programming Languages, pages 111\u2013119. ACM, 1987.","DOI":"10.1145\/41625.41635"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"6_CR27","unstructured":"K.-K. Lau, M. Ornaghi, A. Pettorossi, and M. Proietti. Correctness of logic program transformation based on existential termination. In J. W. Lloyd, editor, Proc. of the 1995 Intl. Logic Programming Symp, pages 480\u2013494. MIT Press, 1995."},{"key":"6_CR28","unstructured":"G. Levi and F. Scozzari. Contributions to a theory of existential termination for definite logic programs. In M. Alpuente and M. I. Sessa, editors, Proc. of the GULP-PRODE\u201995 Joint Conf. on Declarative Programming, pages 631\u2013641, 1995."},{"key":"6_CR29","unstructured":"N. Lindenstrauss and Y. Sagiv. Automatic termination analysis of logic programs. In L. Naish, editor, Proc. of the 14th Intl. Conf. on Logic Programming, pages 63\u201377. MIT Press, 1997."},{"key":"6_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of LOPSTR\u201997","author":"N. Lindenstrauss","year":"1998","unstructured":"N. Lindenstrauss, Y. Sagiv, and A. Serebrenik. Unfolding the mystery of mergesort. In N. Fuchs, editor, Proc. of LOPSTR\u201997, volume 1463 of LNCS. Springer-Verlag, 1998."},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"6_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BFb0014328","volume-title":"Proc. of AMAST","author":"M. Marchiori","year":"1996","unstructured":"M. Marchiori. Proving existential termination of normal logic programs. In Proc. of AMAST, volume 1101 of LNCS, pages 375\u2013390, 1996."},{"key":"6_CR33","unstructured":"F. Mesnard. Inferring left-terminating classes of queries for constraint logic programs by means of approximations. In M. J. Maher, editor, Proc. of the 1996 Joint Intl. Conf. and Symp. on Logic Programming, pages 7\u201321. MIT Press, 1996."},{"key":"6_CR34","unstructured":"F. Mesnard. Entailment and projection for CLP(B) and CLP(Q) in SICStus Prolog. 1st Intl. Workshop on Constraint Reasoning for Constraint Programming, 1997."},{"key":"6_CR35","unstructured":"F. Mesnard and S. Ruggieri. On proving left termination of constraint logic programs. Technical report, Universit\u00e9 de La R\u00e9union, 2001. Submitted for publication."},{"key":"6_CR36","unstructured":"U. Neumerkel. GUPU: A Prolog course environment and its programming methodology. In M. Maher, editor, Proc. of JICSLP\u201996, page 549. MIT Press, 1996. http:\/\/www.complang.tuwien.ac.at\/ulrich\/gupu\/ ."},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"L. Pl\u00fcmer. Termination proofs for logic programs. LNAI, 446, 1990.","DOI":"10.1007\/3-540-52837-7"},{"key":"6_CR38","unstructured":"S. Ruggieri. Verification and Validation of Logic Programs. PhD thesis, Universit\u00e0 di Pisa, 1999."},{"key":"6_CR39","unstructured":"H. Sa\u011flam. A Toolkit for Static Analysis of Constraint Logic Programs. PhD thesis, University of Bristol, 1997."},{"key":"6_CR40","unstructured":"A. Schrijver. Theory of linear and integer programming. Wiley, 1986."},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"K. Sohn and A. Van Gelder. Termination detection in logic programs using argument sizes. In Proc. of the 1991 Intl. Symp. on Principles of Database Systems, pages 216\u2013226. ACM, 1991.","DOI":"10.1145\/113413.113433"},{"issue":"1\u20133","key":"6_CR42","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury, an efficient purely declarative Logic Programming language. The Journal of Logic Programming, 29(1\u20133):17\u201364, 1996.","journal-title":"The Journal of Logic Programming"},{"key":"6_CR43","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the 1997 Intl. Symp. on Static Analysis","author":"C. Speirs","year":"1997","unstructured":"C. Speirs, Z. Somogyi, and H. S\u00f8ndergaard. Termination analysis for Mercury. In P. van Hentenrick, editor, Proc. of the 1997 Intl. Symp. on Static Analysis, volume 1302 of LNCS. Springer-Verlag, 1997."},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"J. D. Ullman and A. Van Gelder. Efficient tests for top-down termination of logical rules. Communications of the ACM, pages 345\u2013373, 1988.","DOI":"10.1145\/42282.42285"},{"key":"6_CR45","unstructured":"T. Vasak and J. Potter. Characterization of terminating logic programs. In Proc. of the 1986 Intl. Symp. on Logic Programming, pages 140\u2013147. IEEE, 1986."},{"key":"6_CR46","unstructured":"K. Verschaetse. Static termination analysis for definite Horn clause programs. PhD thesis, Dept. Computer Science, K.U. Leuven, 1992."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47764-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T21:28:45Z","timestamp":1556486925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47764-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423140","9783540477648"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-47764-0_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}