Reduced Certificates for Abstraction-Carrying Code.

Elvira Albert, Puri Arenas-Snchez, Germn Puebla, Manuel V. Hermenegildo

Browse the full ICLP paper archive.