Constraint-Based Linear-Relations Analysis. Sankaranarayanan, S., Sipma, H. B., & Manna, Z. In Proceedings of Static Analysis Symposium (SAS), pages 53-68, 2004.
Constraint-Based Linear-Relations Analysis [link]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