Proving Correctness of Programs with IO - A Paradigm Comparison.

Andrew Butterfield Glenn Strong

Published in: IFL (2001)

Keyphrases

knowledge base
highly efficient
computer programs
provably correct
real time
data mining
social networks
decision trees
objective function
software engineering
statistical analysis
automatic programming