@inproceedings{ dblp3614183,
  title = {Static Analysis in Disjunctive Numerical Domains},
  author = {Sriram Sankaranarayanan and Franjo Ivancic and Ilya Shlyakhter and Aarti Gupta},
  author_short = {Sankaranarayanan, S. and Ivancic, F. and Shlyakhter, I. and Gupta, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2006},
  key = {dblp3614183},
  id = {dblp3614183},
  biburl = {http://www.dblp.org/rec/bibtex/conf/sas/SankaranarayananISG06},
  url = {http://dx.doi.org/10.1007/11823230_2},
  conference = {SAS},
  pages = {3-17},
  text = {SAS 2006:3-17},
  booktitle = {Proceedings of Static Analysis Symposium (SAS)}
}

{"_id":"oZjCkzLExzxXAJjLN","bibbaseid":"sankaranarayanan-ivancic-shlyakhter-gupta-staticanalysisindisjunctivenumericaldomains-2006","downloads":0,"creationDate":"2015-10-19T18:43:42.436Z","title":"Static Analysis in Disjunctive Numerical Domains","author_short":["Sankaranarayanan, S.","Ivancic, F.","Shlyakhter, I.","Gupta, A."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/sas/SankaranarayananISG06","bibdata":{"title":"Static Analysis in Disjunctive Numerical Domains","author":["Sriram Sankaranarayanan","Franjo Ivancic","Ilya Shlyakhter","Aarti Gupta"],"author_short":["Sankaranarayanan, S.","Ivancic, F.","Shlyakhter, I.","Gupta, A."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3614183","id":"dblp3614183","biburl":"http://www.dblp.org/rec/bibtex/conf/sas/SankaranarayananISG06","url":"http://dx.doi.org/10.1007/11823230_2","conference":"SAS","pages":"3-17","text":"SAS 2006:3-17","booktitle":"Proceedings of Static Analysis Symposium (SAS)","bibtex":"@inproceedings{ dblp3614183,\n title = {Static Analysis in Disjunctive Numerical Domains},\n author = {Sriram Sankaranarayanan and Franjo Ivancic and Ilya Shlyakhter and Aarti Gupta},\n author_short = {Sankaranarayanan, S. and Ivancic, F. and Shlyakhter, I. and Gupta, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3614183},\n id = {dblp3614183},\n biburl = {http://www.dblp.org/rec/bibtex/conf/sas/SankaranarayananISG06},\n url = {http://dx.doi.org/10.1007/11823230_2},\n conference = {SAS},\n pages = {3-17},\n text = {SAS 2006:3-17},\n booktitle = {Proceedings of Static Analysis Symposium (SAS)}\n}","bibbaseid":"sankaranarayanan-ivancic-shlyakhter-gupta-staticanalysisindisjunctivenumericaldomains-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11823230_2"},"downloads":0},"search_terms":["static","analysis","disjunctive","numerical","domains","sankaranarayanan","ivancic","shlyakhter","gupta"],"keywords":[],"authorIDs":[],"dataSources":["Wr4ApTqeoEfkytuDF"]}