@inproceedings{ dblp2287064,
  title = {Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis},
  author = {Assalé Adjé and Stéphane Gaubert and Eric Goubault},
  author_short = {Adjé, A. and Gaubert, S. and Goubault, E.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp2287064},
  id = {dblp2287064},
  biburl = {http://www.dblp.org/rec/bibtex/conf/esop/AdjeGG10},
  url = {http://dx.doi.org/10.1007/978-3-642-11957-6_3},
  conference = {ESOP},
  pages = {23-42},
  text = {ESOP 2010:23-42},
  booktitle = {Proceedings of European Symposium on Programming (ESOP)}
}

{"_id":{"_str":"54228523c6071b817c00023e"},"__v":0,"authorIDs":[],"author_short":["Adjé, A.","Gaubert, S.","Goubault, E."],"bibbaseid":"adj-gaubert-goubault-couplingpolicyiterationwithsemidefiniterelaxationtocomputeaccuratenumericalinvariantsinstaticanalysis-2010","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-11957-6_3"},"role":"author","bibbaseid":"adj-gaubert-goubault-couplingpolicyiterationwithsemidefiniterelaxationtocomputeaccuratenumericalinvariantsinstaticanalysis-2010","year":"2010","url":"http://dx.doi.org/10.1007/978-3-642-11957-6_3","type":"inproceedings","title":"Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis","text":"ESOP 2010:23-42","pages":"23-42","key":"dblp2287064","id":"dblp2287064","conference":"ESOP","booktitle":"Proceedings of European Symposium on Programming (ESOP)","biburl":"http://www.dblp.org/rec/bibtex/conf/esop/AdjeGG10","bibtype":"inproceedings","bibtex":"@inproceedings{ dblp2287064,\n title = {Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis},\n author = {Assalé Adjé and Stéphane Gaubert and Eric Goubault},\n author_short = {Adjé, A. and Gaubert, S. and Goubault, E.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2010},\n key = {dblp2287064},\n id = {dblp2287064},\n biburl = {http://www.dblp.org/rec/bibtex/conf/esop/AdjeGG10},\n url = {http://dx.doi.org/10.1007/978-3-642-11957-6_3},\n conference = {ESOP},\n pages = {23-42},\n text = {ESOP 2010:23-42},\n booktitle = {Proceedings of European Symposium on Programming (ESOP)}\n}","author_short":["Adjé, A.","Gaubert, S.","Goubault, E."],"author":["Adjé, Assalé","Gaubert, Stéphane","Goubault, Eric"]},"bibtype":"inproceedings","biburl":"https://sites.google.com/site/assaleadje/publications-talks/assalebib.bib?attredirects=0&d=1","creationDate":"2014-09-24T08:47:31.421Z","downloads":0,"keywords":[],"search_terms":["coupling","policy","iteration","semi","definite","relaxation","compute","accurate","numerical","invariants","static","analysis","adjé","gaubert","goubault"],"title":"Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis","year":2010,"dataSources":["aMe6NXEFs45rmHQnK"]}