Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study.

Steven Dawson, C. R. Ramakrishnan, David Scott Warren

Browse the full PLDI paper archive.