Abstract
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 constmction and application of a verifying compiler that guarantees correctness of a program before running it. © Springer-Verlag Berlin Heidelberg 2003.
Cite
CITATION STYLE
Hoare, T. (2003). The verifying compiler: A grand challenge for computing research. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2789, 25–35. https://doi.org/10.1007/978-3-540-45213-3_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
