Adam Brooks Webber
Program Analysis Using Binary Relations
PLDI, 1997.
@inproceedings{PLDI-1997-Webber, author = "Adam Brooks Webber", booktitle = "{Proceedings of the 18th Conference on Programming Language Design and Implementation}", doi = "10.1145/258915.258938", editor = "Marina C. Chen and Ron K. Cytron and A. Michael Berman", isbn = "0-89791-907-6", pages = "249--260", publisher = "{ACM}", title = "{Program Analysis Using Binary Relations}", year = 1997, }