Login / Signup

The Verifying Compiler, a Grand Challenge for Computing Research.

C. A. R. Hoare
Published in: VMCAI (2005)
Keyphrases
  • grand challenge
  • general purpose
  • programming language
  • autonomous driving
  • database
  • real time
  • information systems
  • neural network
  • database systems
  • privacy preserving
  • third party