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