Abstract Interpretation of PIC Programs through Logic Programming.

Kim S. Henriksen, John P. Gallagher

Browse the full SCAM paper archive.