The Verifying Compiler: A Grand Challange for Computing Research
C. A. R. Hoare
Book Title
Modular Programming Languages‚ Joint Modular Languages Conference‚ JMLC 2003‚ Klagenfurt‚ Austria‚ August 25−27‚ 2003‚ Proceedings
Editor
László Böszörményi and Peter Schojer
Pages
25−35
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2789
Year
2003