Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations (2004)

by Enric Rodríguez-carbonell , Deepak Kapur
Venue:In International Symposium on Symbolic and Algebraic Computation 2004 (ISSAC04
Citations:29 - 4 self

Documents Related by Co-Citation

1404 A Discipline of Programming – E W Dijkstra - 1976
24 Polynomial Constants are Decidable – Markus Müller-olm, Helmut Seidl - 2002
163 Affine Relationships among Variables of a Program – M Karr - 1976
41 Non-linear Loop Invariant Generation using Gröbner Bases – Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna - 2004
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
16 Program verification with the mathematical software system Theorema – M Kirchner - 1999
573 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
143 Decision procedure for indefinite hypergeometric summation – R W Gosper - 1978
64 Linear invariant generation using non-linear constraint solving – Michael A. Colón, Sriram Sankaranarayanan, Henny B. Sipma - 2003
15 An abstract interpretation approach for automatic generation of polynomial invariants – Enric Rodríguez-carbonell, Deepak Kapur - 2004
133 Differentiably finite power series – R Stanley - 1980
571 Assigning meanings to programs – R W Floyd - 1967
39 A synthesizer of inductive assertions – S M German, B Wegbreit - 1975
62 Precise Interprocedural Analysis through Linear Algebra – Markus Müller-Olm, Helmut Seidl - 2004
13 Non-linear loop invariant generation using Gröbner – S Sankaranaryanan, B S Henry, Z Manna - 2004
89 Powerful Techniques for the Automatic Generation of Invariants – Saddek Bensalem, Hassen Saidi - 1996
28 A technique for invariant generation – A. Tiwari, H. Ruess, N. Shankar - 2001
64 Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming – Patrick Cousot - 2005
54 The Mathematica Book,3rd ed – S Wolfram - 1996