Reduced Certificates for Abstraction-Carrying Code (2006)

by E Albert, P Arenas, G Puebla, M Hermenegildo
Venue:In Proc. of ICLP’06, Springer LNCS