Invited talk: what's the future for proof-carrying code?

J. Gregory Morrisett

Published in: PEPM (2004)

Keyphrases

invited talk
selected papers
long term
carefully reviewed and selected from submissions
book constitutes the refereed proceedings
source code
theorem prover
knowledge discovery and data mining
databases
real world
information systems
data analysis
theorem proving