首页> 外文OA文献 >An Open Framework for Foundational Proof-Carrying Code

【2h】

An Open Framework for Foundational Proof-Carrying Code

机译：基础证明携带代码的开放框架

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Xinyu Feng; Zhaozhong Ni; Zhong Shao; Yu Guo;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code [J] . Amy P. Felty Fundamenta Informaticae . 2007,第4期

机译：基础证明代码语义方法的教程示例
2. A Syntactic Approach to Foundational Proof-Carrying Code [J] . NADEEM A. HAMID, ZHONG SHAO, VALERY TRIFONOV, Journal of Automated Reasoning . 2003,第3a4期

机译：基本证明代码的句法方法
3. An Indexed Model of Recursive Types for Foundational Proof-Carrying Code [J] . Andrew W. Appel, David McAllester ACM Transactions on Programming Languages and Systems . 2001,第5期

机译：基础证明代码的递归类型的索引模型
4. An open framework for foundational proof-carrying code [C] . Xinyu Feng, Zhaozhong Ni, Zhong Shao, ACM SIGPLAN international workshop on Types in languages design and implementation . 2007

机译：一个用于基础证明代码的开放框架
5. A syntactic approach to foundational proof-carrying code. [D] . Hamid, Nadeem Abdul. 2005

机译：基础证明代码的一种语法方法。
6. Ethics Codes in Medicine—Foundations and Achievements of Codifications since 1947 [O] . S. Holm 2001

机译：医学道德规范—自1947年以来的编纂基础和成就
7. An Open Framework for Foundational Proof-Carrying Code [O] . 2008

机译：基础证明携带代码的开放框架

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号