@inproceedings{ dblp3875695,
  title = {Non-linear loop invariant generation using Gröbner bases},
  author = {Sriram Sankaranarayanan and Henny Sipma and Zohar Manna},
  author_short = {Sankaranarayanan, S. and Sipma, H. and Manna, Z.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2004},
  key = {dblp3875695},
  id = {dblp3875695},
  biburl = {http://www.dblp.org/rec/bibtex/conf/popl/SankaranarayananSM04},
  url = {http://doi.acm.org/10.1145/964001.964028},
  conference = {POPL},
  pages = {318-329},
  text = {POPL 2004:318-329},
  booktitle = {Proceedings of Symposium on Principles of Programming Languages (POPL)}
}

{"_id":"iFQf5d4AdpbCHFTMd","bibbaseid":"sankaranarayanan-sipma-manna-nonlinearloopinvariantgenerationusinggrbnerbases-2004","downloads":0,"creationDate":"2015-10-19T18:43:42.454Z","title":"Non-linear loop invariant generation using Gröbner bases","author_short":["Sankaranarayanan, S.","Sipma, H.","Manna, Z."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/popl/SankaranarayananSM04","bibdata":{"title":"Non-linear loop invariant generation using Gröbner bases","author":["Sriram Sankaranarayanan","Henny Sipma","Zohar Manna"],"author_short":["Sankaranarayanan, S.","Sipma, H.","Manna, Z."],"bibtype":"inproceedings","type":"inproceedings","year":"2004","key":"dblp3875695","id":"dblp3875695","biburl":"http://www.dblp.org/rec/bibtex/conf/popl/SankaranarayananSM04","url":"http://doi.acm.org/10.1145/964001.964028","conference":"POPL","pages":"318-329","text":"POPL 2004:318-329","booktitle":"Proceedings of Symposium on Principles of Programming Languages (POPL)","bibtex":"@inproceedings{ dblp3875695,\n title = {Non-linear loop invariant generation using Gröbner bases},\n author = {Sriram Sankaranarayanan and Henny Sipma and Zohar Manna},\n author_short = {Sankaranarayanan, S. and Sipma, H. and Manna, Z.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp3875695},\n id = {dblp3875695},\n biburl = {http://www.dblp.org/rec/bibtex/conf/popl/SankaranarayananSM04},\n url = {http://doi.acm.org/10.1145/964001.964028},\n conference = {POPL},\n pages = {318-329},\n text = {POPL 2004:318-329},\n booktitle = {Proceedings of Symposium on Principles of Programming Languages (POPL)}\n}","bibbaseid":"sankaranarayanan-sipma-manna-nonlinearloopinvariantgenerationusinggrbnerbases-2004","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/964001.964028"},"downloads":0},"search_terms":["non","linear","loop","invariant","generation","using","bner","bases","sankaranarayanan","sipma","manna"],"keywords":[],"authorIDs":[],"dataSources":["bY97hEX2Q3dm7sB5L"]}