The verifying compiler: A grand challenge for computing research
C. A. R. Hoare
Journal
J. ACM
Number
1
Pages
63−69
Volume
50
Year
2003
C. A. R. Hoare