Details:
| Title | Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations | | Author(s) | Deepak Kapur, E. | | Type | Article in Conference Proceedings | | Keywords | groebner basis, ideal, loop invariant | | ISBN | 1-58113-827-X |
| URL |
http://doi.acm.org/10.1145/1005285.1005324 |
| Language | English | | Series | ISSAC | | Pages | 266--273 | | Publisher | ACM | | Address | New York, NY, USA | | Year | 2004 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
