停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

ACL2 2006：美国华盛顿州西雅图

>主页 >会议和研讨会 >ACL2型

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/acl2/2006年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/2006
Manolios帕纳焦蒂斯,马修·威尔丁:
第六届ACL2定理证明器及其应用国际研讨会论文集，ACL2 2006，美国华盛顿州西雅图，2006年8月15-16日。 ACM公司 2006，十亿0-9788493-0-2

第1部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/PikeSM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/PikeSM06
李派克,希尔兹,约翰·马修斯:
密码语言编译器的验证核心。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/硬化SY06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/HardinSY06网址
大卫·S·哈丁,埃里克·W·史密斯,威廉·D·杨:
一个强大的机器代码验证框架，用于高度安全的应用程序。 11-20

第2部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/护罩G06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/CowlesG06
约翰·考尔斯,鲁本·甘博阿:
ACL2中的唯一因子分解：欧几里德域。 21-27
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/格雷夫06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/Greve06
大卫·A·格雷夫:
ACL2中的参数化同余。 28-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/SwordsC06配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/SwordsC06
索尔剑,威廉·R·库克:
ACL2中简单类型lambda演算的稳健性。 35-39

第3部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/GordonHKR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/GordonHKR06
迈克尔·J·C·戈登,沃伦·亨特（Warren A.Hunt Jr.）。,马特·考夫曼,詹姆斯·雷诺兹:
在HOL中嵌入ACL2逻辑。 40-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/SchmaltzB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/SchmaltzB06
朱利安·施马耳茨,多米尼克·博里奥内:
面向ACL2逻辑中片上通信的正式理论。 47-56
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/戴维斯06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/戴维斯06
杰瑞德·戴维斯:
内存：ACL2的类似数组的记录。 57-60

第4次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/Hoare06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/Hoare06
托尼·霍尔:
经过验证的软件的理想。 61-62

第5部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/ReeberS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/ReeberS06
埃里克·里伯,Jun Sawada先生:
结合ACL2和一个自动验证工具来验证一个乘数。 63-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/冈比亚C06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/GamboaC06
鲁本·甘博阿,约翰·考尔斯:
为ACL2表达式实施成本意识强的评估器。 71-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/BoyerHH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/BoyerHH06
罗伯特·博伊尔,沃伦·亨特（Warren A.Hunt Jr.）。:
ACL2函数的函数记忆和唯一对象表示。 81-89

第6部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/Rager06型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/Rager06
大卫·L·拉格:
向ACL2添加并行功能。 90-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/射线06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/Ray06
山迪雷:
尾部递归函数定义中的量化。 95-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/HuntN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/HuntN06
沃伦·亨特（Warren A.Hunt Jr.）。,Serita M.内莱森:
ACL2中的系统发生树。 99-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/考夫曼M06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/KaufmannM06
马特·考夫曼,J斯特罗瑟·摩尔:
ACL2中等价推理的双重重写。 103-106

第7部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/VaillancourtPF06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/VaillancourtPF06
戴尔·维兰考特,雷克斯·L·佩奇,马提亚斯·费莱森:
DrScheme中的ACL2。 107-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/戴维斯06a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/戴维斯06a
杰瑞德·戴维斯:
关于ACL2文件输入的推理。 117-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl2/亨特R06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl2/HuntR06
沃伦·亨特（Warren A.Hunt Jr.）。,埃里克·里伯:
一种基于SAT的过程，用于在ACL2中验证有限状态机。 127-135

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。