The Polyranking Principle

Lecture Notes in Computer Science

Volumn 3580, Issue , 2005, Pages 1349-1361

  Bradley, Aaron R ^a   Manna, Zohar ^a   Sipma, Henny B ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FUNCTIONS; POLYNOMIALS;

POLYRANKING PRINCIPLE; PROGRAM VARIABLES; RANKING FUNCTIONS;

COMPUTER SCIENCE;

EID: 26444584975     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11523468_109     Document Type: Conference Paper

References (14)

1. BRADLEY, A. R., MANNA, Z., AND SIPMA, H. B. Linear ranking with reachability. In CAV (2005).
2. BRADLEY, A. R., MANNA, Z., AND SIPMA, H.B. Termination of polynomial programs. In VMCAI (2005), pp. 113-129.
3. CODISH, M., GENAIM, S., BRUYNOOGHE, M., GALLAGHER, J., AND VANHOOF, W. One lop at a time. In WST (2003).
4. COLON, M., AND SIPMA, H. B. Synthesis of linear ranking functions. In TACAS (2001), pp. 67-81.
5. COLON, M.A., AND SIPMA, H. B. Practical methods for proving program termination. In CAV (2002), pp. 442-454.
6. COUSOT, P. Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming. In VMCAI (2005), pp. 1-24.
7. DERSHOWITZ, N., LINDENSTRAUSS, N., SAGIV, Y., AND SEREBRENIK, A. A general framework for automatic termination analysis of logic programs. Applicable Algebra in Engineering, Communication and Computing 12 (2001), 117-156.
8. LEE, C.S., JONES, N. D., AND BEN-AMRAM, A.M. The size-change principle for program termination. In POPL (2001), pp. 81-92.
9. MANNA, Z., BROWNE, A., SIPMA, H. B., AND URIBE, T. E. Visual abstractions for temporal verification. In Algebraic Methodology and Software Technology (1998), pp. 28-41.
10. PODELSKI, A., AND RYBALCHENKO, A. A complete method for the synthesis of linear ranking functions. In VMCAI (2004), pp. 239-251.
11. PODELSKI, A., AND RYBALCHENKO, A. Transition invariants. In LICS (2004), pp. 32-41.
12. SCHRIJVER, A. Theory of Linear and Integer Programming. Wiley, 1986.
13. SIPMA, H. B., URIBE, T. E., AND MANNA, Z. Deductive model checking. In CAV (1996), pp. 209-219.
14. TIWARl, A. Termination of linear programs. In CAV (2004), pp. 70-82.