The Verifying Compiler: A Grand Challenge for Computing Research
C. A. R. Hoare
Book Title
Perspectives of Systems Informatics‚ 5th International Andrei Ershov Memorial Conference‚ PSI 2003‚ Akademgorodok‚ Novosibirsk‚ Russia‚ July 9−12‚ 2003‚ Revised Papers
Editor
Manfred Broy and Alexandre V. Zamulin
Pages
1−12
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2890
Year
2003