Formal polytypic programs and proofs.

Wendy Verbruggen Edsko de Vries Arthur Hughes

Published in: J. Funct. Program. (2010)

Keyphrases

computer programs
formal model
automatic programming
real time
provably correct
theorem prover
formal proofs
formal methods
knowledge base
source code
multi agent
formal specification
multiscale
case study
decision procedures
formal representation
web services
control structures
databases