Login / Signup

The verifying compiler: A grand challenge for computing research.

C. A. R. Hoare
Published in: J. ACM (2003)
Keyphrases
  • grand challenge
  • autonomous driving
  • general purpose
  • neural network
  • programming language
  • artificial intelligence
  • case study
  • grand challenges