Login / Signup

The Verifying Compiler: A Grand Challenge for Computing Research.

C. A. R. Hoare
Published in: CC (2003)
Keyphrases
  • grand challenge
  • autonomous driving
  • general purpose
  • database
  • software systems
  • model checking
  • grand challenges
  • programming language