Sciweavers

EUROPAR
2003
Springer
14 years 4 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 int...
C. A. R. Hoare