Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Constraint-Based Linear-Relations Analysis
SAS, 2004.
@inproceedings{SAS-2004-SankaranarayananSM, author = "Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna", booktitle = "{Proceedings of the 11th International Static Analysis Symposium}", doi = "10.1007/978-3-540-27864-1_7", isbn = "3-540-22791-1", pages = "53--68", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Constraint-Based Linear-Relations Analysis}", volume = 3148, year = 2004, }