Termination of polynomial programs

Lecture Notes in Computer Science

Volumn 3385, Issue , 2005, Pages 113-129

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

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SOFTWARE; FINITE DIFFERENCE METHOD;

CODE ABSTRACTION; POLYNOMIAL PROGRAMS; TRANSITION SYSTEMS;

POLYNOMIALS;

EID: 24144470050     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30579-8_8     Document Type: Conference Paper

References (15)

1. COHEN, J. Computer-assisted microanalysis of programs. Comm. ACM 25, 10 (1982).
2. COLÓN, M., AND SIPMA, H. Synthesis of linear ranking functions. In TACAS (2001).
3. COLÓN, M., AND SIPMA, H. Practical methods for proving program termination. In CAV (2002).
4. H. B. SIPMA, T. E. URIBE, AND Z. MANNA. Deductive model checking. In CAV (1996).
5. KATZ, S., AND MANNA, Z. Logical analysis of programs. Comm. ACM 19, 4 (1976).
6. LEE, C. S., JONES, N. D., AND BEN-AMRAM, A. M. The size-change principle for program termination. In POPL (2001).
7. MANNA, Z., BROWNE, A., SIPMA, H., AND URIBE, T. E. Visual abstractions for temporal verification. In Algebraic Methodology and Software Technology (1998).
8. NECULA, G. C., MCPEAK, S., RAHUL, S. P., AND WEIMER, W. CIL: Intermediate language and tools for analysis and transformation of C programs. In Proceedings of Conf. on Compiler Construction (2002).
9. Netlib Repository, 2004. (http://www.netlib.org).
10. PODELSKI, A., AND RYBALCHENKO, A. Software model checking of liveness properties via transition invariants. Technical Report, MPI für Informatik, 2003.
11. PODELSKI, A., AND RYBALCHENKO, A. A complete method for the synthesis of linear ranking functions. In VMCAI (2004).
12. SourceForge, 2004. (http://sourceforge.net).
13. TIWARI, A. Termination of linear programs. In CAV (2004).
14. WEGBREIT, B. Mechanical program analysis. Comm. ACM 18, 9 (1975).
15. WOLFRAM RESEARCH, INC. Mathematica, Version 5.0. Champaign, IL, 2004.