The Verifying Compiler: A Grand Challenge for Computing Research
C. A. R. Hoare
Book Title
Euro−Par 2003. Parallel Processing‚ 9th International Euro−Par Conference‚ Klagenfurt‚ Austria‚ August 26−29‚ 2003. Proceedings
Editor
Harald Kosch and László Böszörményi and Hermann Hellwagner
Pages
1
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2790
Year
2003