Constraint-Based Linear-Relations Analysis. Sankaranarayanan, S., Sipma, H. B., & Manna, Z. In Proceedings of Static Analysis Symposium (SAS), pages 53-68, 2004. Paper bibtex @inproceedings{ dblp3879432,
title = {Constraint-Based Linear-Relations Analysis},
author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},
author_short = {Sankaranarayanan, S. and Sipma, H. B. and Manna, Z.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2004},
key = {dblp3879432},
id = {dblp3879432},
biburl = {http://www.dblp.org/rec/bibtex/conf/sas/SankaranarayananSM04},
url = {http://dx.doi.org/10.1007/978-3-540-27864-1_7},
conference = {SAS},
pages = {53-68},
text = {SAS 2004:53-68},
booktitle = {Proceedings of Static Analysis Symposium (SAS)}
}
Downloads: 0
{"_id":"o8MARxDrJonb3rXQQ","bibbaseid":"sankaranarayanan-sipma-manna-constraintbasedlinearrelationsanalysis-2004","downloads":0,"creationDate":"2015-10-19T18:43:42.486Z","title":"Constraint-Based Linear-Relations Analysis","author_short":["Sankaranarayanan, S.","Sipma, H. B.","Manna, Z."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/sas/SankaranarayananSM04","bibdata":{"title":"Constraint-Based Linear-Relations Analysis","author":["Sriram Sankaranarayanan","Henny B. Sipma","Zohar Manna"],"author_short":["Sankaranarayanan, S.","Sipma, H. B.","Manna, Z."],"bibtype":"inproceedings","type":"inproceedings","year":"2004","key":"dblp3879432","id":"dblp3879432","biburl":"http://www.dblp.org/rec/bibtex/conf/sas/SankaranarayananSM04","url":"http://dx.doi.org/10.1007/978-3-540-27864-1_7","conference":"SAS","pages":"53-68","text":"SAS 2004:53-68","booktitle":"Proceedings of Static Analysis Symposium (SAS)","bibtex":"@inproceedings{ dblp3879432,\n title = {Constraint-Based Linear-Relations Analysis},\n author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},\n author_short = {Sankaranarayanan, S. and Sipma, H. B. and Manna, Z.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp3879432},\n id = {dblp3879432},\n biburl = {http://www.dblp.org/rec/bibtex/conf/sas/SankaranarayananSM04},\n url = {http://dx.doi.org/10.1007/978-3-540-27864-1_7},\n conference = {SAS},\n pages = {53-68},\n text = {SAS 2004:53-68},\n booktitle = {Proceedings of Static Analysis Symposium (SAS)}\n}","bibbaseid":"sankaranarayanan-sipma-manna-constraintbasedlinearrelationsanalysis-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-27864-1_7"},"downloads":0},"search_terms":["constraint","based","linear","relations","analysis","sankaranarayanan","sipma","manna"],"keywords":[],"authorIDs":[],"dataSources":["P7cBcStkXYqtysrNs"]}