What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.

Published in: TACAS (2003)

Keyphrases

source code
case study
linear logic
real time
information systems
neural network
information retrieval
computer vision
multiscale
expert systems
knowledge representation
theorem proving
proof theory