@inproceedings{1174112,
 author = {Kim S. Henriksen and John P. Gallagher},
 title = {Abstract Interpretation of PIC Programs through Logic Programming},
 booktitle = {SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06)},
 year = {2006},
 isbn = {0-7695-2353-6},
 pages = {184--196},
 doi = {http://dx.doi.org/10.1109/SCAM.2006.1},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }