Login / Signup

The Verifying Compiler: A Grand Challenge for Computing Research.

C. A. R. Hoare
Published in: Euro-Par (2003)
Keyphrases
  • grand challenge
  • autonomous driving
  • programming language
  • grand challenges
  • case study
  • general purpose
  • real time
  • neural network
  • information systems
  • high level
  • learning scenarios