Protocols between programs and proofs.

Iman Poernomo John N. Crossley

Published in: LOPSTR (2000)

Keyphrases

computer programs
theorem prover
communication protocols
data model
programming language
cryptographic protocols
automatic programming
real time
high level
knowledge representation
multi party
intermediate level
formal proofs