Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

This publication has 17 references indexed in Scilit:

• A nonlinear programming algorithm for solving semidefinite programs via low-rank factorization
  Mathematical Programming, 2003
• Synthesis of Linear Ranking Functions
  Published by Springer Nature ,2001
• Approximating the domains of functional and imperative programs
  Science of Computer Programming, 1999
• Linear Matrix Inequalities in System and Control Theory
  Published by Society for Industrial & Applied Mathematics (SIAM) ,1994
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Partial Cylindrical Algebraic Decomposition for quantifier elimination
  Journal of Symbolic Computation, 1991
• Affine relationships among variables of a program
  Acta Informatica, 1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967