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