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