An abstract interpretation approach for automatic generation of polynomial invariants (2004)

Cached

Download Links

by Enric Rodríguez-carbonell , Deepak Kapur
Venue:In 11th Static Analysis Symposium
Citations:16 - 4 self

Documents Related by Co-Citation

1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
29 Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations – Enric Rodríguez-carbonell, Deepak Kapur - 2004
160 Affine Relationships Among Variables of a Program – M Karr - 1976
579 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
41 Non-linear Loop Invariant Generation using Gröbner Bases – Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna - 2004
645 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
1423 A Discipline of Programming – E W Dijkstra - 1976
1481 Theory of Linear and Integer Programming – A Schrijver - 1998
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979