Login / Signup

The Verifying Compiler: A Grand Challange for Computing Research.

C. A. R. Hoare
Published in: JMLC (2003)
Keyphrases
  • general purpose
  • programming language
  • databases
  • model checking
  • real time
  • real world
  • computer vision
  • e learning
  • software systems