Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleAutomatic Generation of Polynomial Loop Invariants: Algebraic Foundations
Author(s) Deepak Kapur, E. Rodríguez-Carbonell
TypeArticle in Conference Proceedings
Keywordsgroebner basis, ideal, loop invariant
ISBN1-58113-827-X
URL http://doi.acm.org/10.1145/1005285.1005324
LanguageEnglish
SeriesISSAC
Pages266--273
PublisherACM
AddressNew York, NY, USA
Year2004
Edition0
Translation No
Refereed No
Webmaster