First Page | Document Content | |
---|---|---|
Date: 2012-08-07 09:26:50 | Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗Add to Reading ListSource URL: cliplab.orgDownload Document from Source WebsiteFile Size: 528,20 KBShare Document on Facebook |