The verifying compiler: A grand challenge for computing research

被引：136

作者：

Hoare, T ^{[1
]}

机构：

[1] Microsoft Res Ltd, Cambridge, England

来源：

JOURNAL OF THE ACM | 2003年 / 50卷 / 01期

关键词：

D O I：

10.1145/602382.602403

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This contribution proposes a set of criteria that distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers. As an example drawn from Computer Science, it revives an old challenge: the construction and application of a verifying compiler that guarantees correctness of a program before running it.

引用

页码：63 / 69

页数：7