Login / Signup
Proof-Carrying Code.
George C. Necula
Published in:
POPL (1997)
Keyphrases
</>
source code
error correcting
computer vision
linear logic
geometry theorem proving
neural network
real world
theorem proving
interactive theorem proving