Manuel Fähndrich, Alexander Aiken
Program Analysis Using Mixed Term and Set Constraints
SAS, 1997.
@inproceedings{SAS-1997-FahndrichA, author = "Manuel Fähndrich and Alexander Aiken", booktitle = "{Proceedings of the Fourth International Static Analysis Symposium}", doi = "10.1007/BFb0032737", isbn = "3-540-63468-1", pages = "114--126", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Program Analysis Using Mixed Term and Set Constraints}", volume = 1302, year = 1997, }