The Verifying Compiler: A Grand Challenge for Computing Research
C. A. R. Hoare
Book Title
Compiler Construction‚ 12th International Conference‚ CC 2003‚ Held as Part of the Joint European Conferences on Theory and Practice of Software‚ ETAPS 2003‚ Warsaw‚ Poland‚ April 7−11‚ 2003‚ Proceedings
Editor
Görel Hedin
Pages
262−272
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2622
Year
2003