×

翻译验证器的形式验证,指令调度优化的案例研究。 (英语) 兹比尔1295.68074

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2008年1月7日至12日,美国加利福尼亚州旧金山,POPL'08。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-689-9)。17-27 (2008).

MSC公司:

68N20型 编译与解释理论
68号30 软件工程的数学方面(规范、验证、度量、需求等)
60年第68季度 规范和验证(程序逻辑、模型检查等)
68吨15 定理证明(演绎、解析等)(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部