coqart82.tar
于 2011-01-25 发布
文件大小:388KB
0 194
下载积分: 1
下载次数: 3
代码说明：
关于携带证明的代码,即PCC,较前沿的代码,是一种一劳永逸无需测试的编码方式,叫复制(Proof carrying code on that PCC, more cutting-edge code, is a once and for encoding without testing, called replication)
下载说明：请别用迅雷下载，失败请重下，重下不扣分！
发表评论
