Sciweavers

Share
EUROPAR
2003
Springer

The Verifying Compiler: A Grand Challenge for Computing Research

8 years 11 months ago
The Verifying Compiler: A Grand Challenge for Computing Research
I propose a set of criteria which 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, I revive an old challenge: the construction and application of a verifying compiler that guarantees correctness of a program before running it.
C. A. R. Hoare
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where EUROPAR
Authors C. A. R. Hoare
Comments (0)
books