Prototyping Proof Carrying Code.

Martin Wildmoser Tobias Nipkow Gerwin Klein Sebastian Nanz

Published in: IFIP TCS (2004)

Keyphrases

code generation
source code
development process
theorem proving
rapid prototyping
expert systems
automated theorem proving
database
linear logic
theorem prover
search algorithm
clustering algorithm
e learning
information systems
computer vision
social networks
search engine
learning algorithm