"The Verifying Compiler: A Grand Challenge for Computing Research."

C. A. R. Hoare (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics