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

Active Bibliography

16 An abstract interpretation approach for automatic generation of polynomial invariants – Enric Rodríguez-carbonell, Deepak Kapur - 2004
Automatic Generation of Polynomial Invariants of Bounded Degree using Abstract Interpretation Abstract – E. Rodríguez-carbonell A, D. Kapur B
27 Automatically generating loop invariants using quantifier elimination – Deepak Kapur - 2005
Applications of Computer Algebra (ACA-2004) Automatically Generating Loop Invariants Using Quantifier Elimination ∗† –Preliminary Report– – Deepak Kapur
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
607 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
855 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991