The Verifying Compiler: A Grand Challenge for Computing Research (2003)
Cached
Download Links
- [www.eecg.toronto.edu]
- [cs-www.cs.yale.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Journal of the ACM |
| Citations: | 73 - 1 self |
BibTeX
@ARTICLE{Hoare03theverifying,
author = {Tony Hoare},
title = {The Verifying Compiler: A Grand Challenge for Computing Research},
journal = {Journal of the ACM},
year = {2003},
volume = {50},
pages = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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. Introduction. The primary purpose of the formulation and promulgation of a grand challenge is the advancement of science or engineering. A grand challenge represents a commitment by a significant section of the research community to work together towards a common goal, agreed to be valuable and achievable by a team effort within a predicted timescale. The challenge is formulated by the
