Size-change termination, monotonicity constraints and ranking functions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5643 LNCS, Issue , 2009, Pages 109-123

  Ben Amram, Amir M ^a  

^a ACADEMIC COLLEGE OF TEL AVIV YAFFO   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EXPONENTIAL TIME; MONOTONICITY CONSTRAINT; PROGRAM TERMINATION; RANKING FUNCTIONS; THEORY AND PRACTICE;

ABSTRACTING; COMPUTER AIDED ANALYSIS;

GRAPH THEORY;

EID: 70350235070     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02658-4_12     Document Type: Conference Paper

References (11)

1. Ben-Amram, A.M., Lee, C.S.: Size-change analysis in polynomial time. ACM Transactions on Programming Languages and Systems 29(1) (2007)
2. Ben-Amram, A.M., Lee, C.S.: Ranking functions for size-change termination II. Logical Methods in Computer Science (to appear, 2009)
3. Brodsky, A., Sagiv, Y.: Inference of inequality constraints in logic programs. In: Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 227-240. ACM Press, New York (1991)
4. Codish, M., Lagoon, V., Stuckey, P.J.: Testing for termination with monotonicity constraints. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 326-340. Springer, Heidelberg (2005)
5. Codish, M., Taboch, C.: A semantic basis for termination analysis of logic programs. The Journal of Logic Programming 41(1), 103-123 (1999);
6. preliminary (conference) version in LNCS 1298. Springer, Heidelberg (1997)
7. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the Fifth annual ACM Symposium on Principles of Programming Languages, pp. 84-96. ACM, New York (1978)
8. Dershowitz, N., Lindenstrauss, N., Sagiv, Y., Serebrenik, A.: A general framework for automatic termination analysis of logic programs. Applicable Algebra in Engineering, Communication and Computing 12(1-2), 117-156 (2001)
9. Lee, C.S.: Ranking functions for size-change termination. ACM Transactions on Programming Languages and Systems (to appear, 2009)
10. Lee, C.S., Jones, N.D., Ben-Amram, A.M.: The size-change principle for program termination. In: Proceedings of the Twenty-Eigth ACM Symposium on Principles of Programming Languages, vol. 28, pp. 81-92. ACM Press, New York (2001)
11. Lindenstrauss, N., Sagiv, Y.: Automatic termination analysis of Prolog programs. In: Naish, L. (ed.) Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, pp. 64-77. MIT Press, Cambridge (1997)