Generating Programs Plus Proofs by Refinement.

Douglas R. Smith

Published in: VSTTE (2005)

Keyphrases

computer programs
theorem proving
refinement process
theorem prover
real time
data sets
information retrieval
decision making
website
multiscale
multi agent
query refinement
intermediate level
automatic programming
java programs
refinement operators