Abstract Interpretation of PIC Programs through Logic Programming | IEEE Conference Publication | IEEE Xplore