Login / Signup

The Verifying Compiler: A Grand Challenge for Computing Research.

C. A. R. Hoare
Published in: Ershov Memorial Conference (2003)
Keyphrases
  • grand challenge
  • autonomous driving
  • real time
  • database
  • programming language
  • grand challenges