你好，托尼 验证编译器：对计算研究的巨大挑战。 （英语） Zbl 1032.68868号 Hedin，Görel（编辑），编译器构造。2003年4月7日至11日在波兰华沙举行的第12届国际会议（CC 2003），是欧洲软件理论与实践联合会议（ETAPS 2003）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2622, 262-272 (2003). 总结：我提出了一套标准，将科学或工程领域的重大挑战与科学家和工程师感兴趣的许多其他短期或长期研究问题区分开来。作为从《计算机科学》中提取的一个例子，我重申了一个古老的挑战：构建和应用一个验证编译器，确保程序在运行之前的正确性。关于整个系列，请参见[Zbl 1017.68717号]. 引用于1审查引用于20文件 MSC公司： 68单位99 计算方法和应用 第68页第20页 编译与解释理论 PDF格式BibTeX公司 XML格式引用 \textit{T.霍尔}，莱克特。注释计算。科学。2622262--272（2003年；Zbl 1032.68868） 全文： 链接