Termination of Polynomial Programs

This publication has 11 references indexed in Scilit:

• A Complete Method for the Synthesis of Linear Ranking Functions
  Published by Springer Nature ,2004
• Termination of Linear Programs
  Published by Springer Nature ,2004
• Transition invariants
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Practical Methods for Proving Program Termination
  Published by Springer Nature ,2002
• CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
  Published by Springer Nature ,2002
• Synthesis of Linear Ranking Functions
  Published by Springer Nature ,2001
• The size-change principle for program termination
  Published by Association for Computing Machinery (ACM) ,2001
• Visual Abstractions for Temporal Verification
  Published by Springer Nature ,1998
• Computer-assisted microanalysis of programs
  Communications of the ACM, 1982
• Logical analysis of programs
  Communications of the ACM, 1976