Abstract interpretation of PIC programs through logic programming (2006)

by K S Henriksen, J P Gallagher
Venue:In Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006