http://www.artist-embedded.org/artist/ en SPIP - www.spip.net http://www.artist-embedded.org/artist/The-Verifying-Compiler.html http://www.artist-embedded.org/artist/The-Verifying-Compiler.html 2002-12-31T23:00:00Z text/html en Ulrike Woern verification <p>Author: Tony Hoare, Microsoft Research Ltd., Cambridge, UK.</p> - <a href="http://www.artist-embedded.org/artist/-Position-Papers-.html" rel="directory">50. Position Papers</a> / <a href="http://www.artist-embedded.org/artist/+-verification-+.html" rel="tag">verification</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton142.gif?1152798609" width='136' height='42' style='height:42px;width:136px;' /> <div class='rss_chapo'><p>Author: Tony Hoare, Microsoft Research Ltd., Cambridge, UK.</p></div> <div class='rss_texte'><p>The Verifying Compiler: A Grand Challenge for Computing Research.</p> <p>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.</p> <p><a href="http://www.csl.sri.com/users/shankar/GC04/hoare-compiler.pdf" class='spip_out' rel='external'>See it online!</a></p></div>