Login / Signup
The verifying compiler: A grand challenge for computing research.
C. A. R. Hoare
Published in:
J. ACM (2003)
Keyphrases
</>
grand challenge
autonomous driving
general purpose
neural network
programming language
artificial intelligence
case study
grand challenges