The Verifying Compiler‚ a Grand Challenge for Computing Research
C. A. R. Hoare
Book Title
Verification‚ Model Checking‚ and Abstract Interpretation‚ 6th International Conference‚ VMCAI 2005‚ Paris‚ France‚ January 17−19‚ 2005‚ Proceedings
Editor
Radhia Cousot
Pages
78−78
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3385
Year
2005