The Verifying Compiler: A Grand Challenge for Computing Research (2003)

by Tony Hoare
Venue:Journal of the ACM
Citations:94 - 2 self