Steven Dawson, C. R. Ramakrishnan, David Scott Warren
Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study
PLDI, 1996.
@inproceedings{PLDI-1996-DawsonRW, author = "Steven Dawson and C. R. Ramakrishnan and David Scott Warren", booktitle = "{Proceedings of the 17th Conference on Programming Language Design and Implementation}", doi = "10.1145/231379.231399", editor = "Charles N. Fischer", isbn = "0-89791-795-2", pages = "117--126", publisher = "{ACM}", title = "{Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study}", year = 1996, }