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: | 25 - 4 self |
Document Versions
| Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations –Enric Rodríguez-carbonell, Deepak Kapur — 2004 — In International Symposium on Symbolic and Algebraic Computation 2004 (ISSAC04 |
| Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations –Enric Rodríguez-carbonell — 2004 — In International Symposium on Symbolic and Algebraic Computation 2004 (ISSAC04 |
