Sign in

Foundational Proof-Carrying Code.

Andrew W. Appel
Published in: LICS (2001)
Keyphrases
  • source code
  • theorem prover
  • database
  • theorem proving
  • linear logic
  • artificial intelligence
  • case study
  • image segmentation
  • first order logic
  • proof search
  • real world
  • high level
  • error correction
  • code generation