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,
}