{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:45Z","timestamp":1725484845816},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540436317"},{"type":"electronic","value":"9783540478133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47813-2_9","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T02:35:31Z","timestamp":1180578931000},"page":"126-138","source":"Crossref","is-referenced-by-count":14,"title":["Combining Norms to Prove Termination"],"prefix":"10.1007","author":[{"given":"Samir","family":"Genaim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Codish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Gallagher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vitaly","family":"Lagoon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"F. Benoy and A. King. Inferring argument size relationships with CLP(R). In Sixth International Workshop on Logic Program Synthesis and Transformation (LOPSTR\u201996), pages 204\u2013223, 1996.","DOI":"10.1007\/3-540-62718-9_12"},{"key":"9_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3540539816_66","volume-title":"Proving termination of logic programs by exploiting term properties","author":"A. Bossi","year":"1991","unstructured":"A. Bossi, N. Cocco, and M. Fabris. Proving termination of logic programs by exploiting term properties. In S. Abramsky and T.S.E. Maibaum, editors, Proceedings of Tapsoft 1991, volume 494 of Lecture Notes in Computer Science, pages 153\u2013180. Springer-Verlag, Berlin, 1991."},{"key":"9_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-55253-7_5","volume-title":"Typed norms","author":"A. Bossi","year":"1992","unstructured":"Annalisa Bossi, Nicoletta Cocco, and Massimo Fabris. Typed norms. In B. Krieg-Br\u00fcckner, editor, Proceeedings ESOP\u2019 92, volume 582 of Lecture Notes in Computer Science, pages 73\u201392. Springer-Verlag, Berlin, 1992."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"A. Brodsky and Y. Sagiv. Inference of monotonicity constraints in Datalog programs. In Proceedings of the Eighth ACM SIGACT-SIGART-SIGMOD Symposium on Principles of Database Systems, pages 190\u2013199, 1989.","DOI":"10.1145\/73721.73741"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Maurice Bruynooghe, Wim Vanhoof, and Michael Codish. Pos(t): Analyzing dependencies in typed logic programs. Technical report, Presented at the Andrei Ershov Fourth International Conference on Perspectives of System Informatics, July 2001.","DOI":"10.1007\/3-540-45575-2_40"},{"issue":"1","key":"9_CR6","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 semantic basis for the termination analysis of logic programs. The Journal of Logic Programming, 41(1):103\u2013123, 1999.","journal-title":"The Journal of Logic Programming"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Nicholas Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 84\u201396, January 1978.","DOI":"10.1145\/512760.512770"},{"issue":"02","key":"9_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF03038311","volume":"13","author":"D. Schreye De","year":"1995","unstructured":"D. De Schreye and K. Verschaetse. Deriving linear size relations for logic programs by abstract interpretation. New Generation Computing, 13(02):117\u2013154, 1995.","journal-title":"New Generation Computing"},{"issue":"&","key":"9_CR9","first-page":"199","volume":"19","author":"Danny De Schreye and Stefaan Decorte","year":"1994","unstructured":"Danny De Schreye and Stefaan Decorte. Termination of logic programs: the neverending story. The Journal of Logic Programming, 19 & 20:199\u2013260, May 1994.","journal-title":"The Journal of Logic Programming"},{"key":"9_CR10","unstructured":"Stefaan Decorte, Danny de Schreye, and Massimo Fabris. Automatic inference of norms: A missing link in automatic termination analysis. In Dale Miller, editor, Logic Programming-Proceedings of the 1993 International Symposium, pages 420\u2013436, Massachusetts Institute of Technology, Cambridge, Massachusetts 021-42, 1993. The MIT Press."},{"key":"9_CR11","unstructured":"Stefaan Decorte, Danny De Schreye, and Massimo Fabris. Integrating types in termination analysis. Technical Report CW 222, K.U. Leuven, Department of Computer Science, January 1996."},{"key":"9_CR12","unstructured":"Stefaan Decorte, Danny De Schreye, and Massimo Fabris. Exploiting the power of typed norms in automatic inference of interargument relations. Technical Report CW 246, K.U. Leuven, Department of Computer Science, January 1997."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"R. W. Floyd. Assigning meanings to programs. In J.T Schwartz, editor, Proceedings of Symposium in Applied Mathematics, volume 19, Mathematical Aspects of Computer Science, pages 19\u201332, NewYork, 1967. American Mathematical Society, Providence, RI.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"9_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-45587-6_16","volume-title":"Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs","author":"J. Gallagher","year":"2002","unstructured":"J. Gallagher and G. Puebla. Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. In Shriram Krishnamurthi and C. R. Ramakrishnan, editors, Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19\u201320, 2002, volume 2257 of Lecture Notes in Computer Science, pages 243\u2013261. Springer, 2002."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Samir Genaim and Michael Codish. Inferring termination conditions for logic programs using backwards analysis. In R. Nieuwenhuis and A. Voronkov, editors, Proceedings of the Eighth International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 2250 of Lecture Notes in Artificial Intelligence, pages 681\u2013690. Springer-Verlag, December 2001.","DOI":"10.1007\/3-540-45653-8"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M. Karr","year":"1976","unstructured":"M. Karr. Affine relationships among variables of a program. Acta Informatica, 6:133\u2013151, 1976.","journal-title":"Acta Informatica"},{"key":"9_CR17","unstructured":"Andy King, Kish Shen, and Florence Benoy. Lower-bound time-complexity analysis of logic programs. In Jan Maluszynski, editor, International Symposium on Logic Programming, pages 261\u2013276. MIT Press, November 1997."},{"key":"9_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-44716-4_19","volume-title":"FLOPS","author":"V. Lagoon","year":"2001","unstructured":"V. Lagoon and P. Stuckey. A framework for analysis of typed logic programs. In FLOPS, volume 2024 of Lecture Notes in Computer Science, pages 296\u2013310. Springer-Verlag, Berlin, 2001."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"N. Lindenstrauss and Y. Sagiv. Automatic termination analysis of logic programs. In Lee Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 63\u201377, Leuven, Belgium, 1997. The MIT Press.","DOI":"10.7551\/mitpress\/4299.003.0011"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/176454.176519","volume":"2","author":"K. Marriott","year":"1993","unstructured":"K. Marriott and H. S\u00f8ndergaard. Precise and efficient groundness analysis for logic programs. ACM Letters on Programming Languages and Systems, 2(1\u20134):181\u2013196, 1993.","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Jon Martin and Andy King. Typed norms for typed logic programs. In Logic Program Synthesis and Transformation. Springer-Verlag, August 1996. Available at http:\/\/www.cs.ukc.ac.uk\/pubs\/1996\/511 .","DOI":"10.1007\/3-540-62718-9_13"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"F. Mesnard and U. Neumerkel. Applying static analysis techniques for inferring termination conditions of logi programs. In Static Analysis Symposium, 2001.","DOI":"10.1007\/3-540-47764-0_6"},{"key":"9_CR23","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, second edition, 1994."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"W. Vanhoof and M. Bruynooghe. When size does matter. Preproceedings of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR), November 2001.","DOI":"10.1007\/3-540-45607-4_8"},{"issue":"2","key":"9_CR25","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E. Yardeni","year":"1990","unstructured":"E. Yardeni and E.Y. Shapiro. A type system for logic programs. Journal of Logic Programming, 10(2):125\u2013154, 1990.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47813-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T17:21:19Z","timestamp":1707931279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47813-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540436317","9783540478133"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-47813-2_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}