coqart82.tar
所属分类：matlab编程
开发工具：Others
文件大小：388KB
下载次数：4
上传日期：2011-01-25 20:24:59
上 传 者：
wangyongzhao
说明： 关于携带证明的代码,即PCC,较前沿的代码,是一种一劳永逸无需测试的编码方式,叫复制
(Proof carrying code on that PCC, more cutting-edge code, is a once and for encoding without testing, called replication)
文件列表:
CoqArtExos82 (0, 2008-08-11)
CoqArtExos82\everyday (0, 2008-08-11)
CoqArtExos82\everyday\peirce_etc.html (951, 2003-12-04)
CoqArtExos82\everyday\SRC (0, 2008-08-11)
CoqArtExos82\everyday\SRC\chap5.v (5368, 2007-01-31)
CoqArtExos82\everyday\SRC\makefile (4535, 2004-01-16)
CoqArtExos82\everyday\SRC\intuitionism.v (528, 2004-01-14)
CoqArtExos82\everyday\SRC\V8FILES (163, 2004-01-16)
CoqArtExos82\everyday\SRC\exo_on_ex.v (657, 2004-01-16)
CoqArtExos82\everyday\SRC\my_le.v (503, 2003-12-04)
CoqArtExos82\everyday\SRC\peirce_etc.v (1220, 2003-12-04)
CoqArtExos82\everyday\SRC\class.v (1594, 2003-12-04)
CoqArtExos82\everyday\SRC\fol.v (450, 2003-12-04)
CoqArtExos82\everyday\my_le.html (656, 2003-12-04)
CoqArtExos82\everyday\exo_on_ex.html (701, 2004-01-16)
CoqArtExos82\everyday\intuitionism.html (814, 2004-01-14)
CoqArtExos82\everyday\index.html (2175, 2006-01-24)
CoqArtExos82\everyday\class.html (793, 2003-12-04)
CoqArtExos82\everyday\fol.html (773, 2003-12-04)
CoqArtExos82\progav (0, 2008-08-11)
CoqArtExos82\progav\SRC (0, 2008-08-11)
CoqArtExos82\progav\SRC\chap9.v (12972, 2003-12-16)
CoqArtExos82\progav\SRC\exo_eqdec.v (254, 2004-01-13)
CoqArtExos82\progav\SRC\plusss.v (496, 2004-01-16)
CoqArtExos82\progav\SRC\makefile (5125, 2004-03-02)
CoqArtExos82\progav\SRC\fib_intro1.v (831, 2003-12-04)
CoqArtExos82\progav\SRC\moreperms.v (3011, 2005-03-23)
CoqArtExos82\progav\SRC\V8FILES (295, 2004-03-02)
CoqArtExos82\progav\SRC\sig_rec_simple.v (177, 2004-01-09)
CoqArtExos82\progav\SRC\mod2.v (642, 2007-01-31)
CoqArtExos82\progav\SRC\fib_ind.v (1227, 2007-01-31)
CoqArtExos82\progav\SRC\plus_prim.v (249, 2004-01-09)
CoqArtExos82\progav\SRC\quadruple.v (364, 2003-12-12)
CoqArtExos82\progav\SRC\div2_mod2.v (559, 2004-01-16)
CoqArtExos82\progav\SRC\div3tofib_ind.v (1835, 2007-01-31)
CoqArtExos82\progav\SRC\sqrt.v (5829, 2004-02-23)
CoqArtExos82\progav\SRC\fib_tail.v (1645, 2003-12-04)
CoqArtExos82\progav\SRC\fib_positive.v (6640, 2007-01-31)
CoqArtExos82\progav\SRC\div3.v (526, 2004-01-13)
CoqArtExos82\progav\SRC\extract.v (747, 2003-12-04)
... ...
近期下载者：
相关文件：
收藏者：