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

J. Gregory Morrisett

Published in: PPDP (2004)

Keyphrases

invited talk
knowledge discovery and data mining
source code
selected papers
carefully reviewed and selected from submissions
theorem proving
program committee
data mining
artificial intelligence
case based reasoning
book constitutes the refereed proceedings
poster session