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