DMCA

Certificate Size Reduction in Abstraction-Carrying Code (2010)

by Elvira Albert , Puri Arenas, et al.
Venue:UNDER CONSIDERATION FOR PUBLICATION IN THEORY AND PRACTICE OF LOGIC PROGRAMMING