Linking Unifying Theories of Program refinement.

Ian J. Hayes Steve Dunne Larissa Meinicke

Published in: Sci. Comput. Program. (2013)

Keyphrases

refinement operators
information systems
theoretical framework
program execution
high level
learning algorithm
artificial intelligence
website
multiscale
hidden markov models
test cases
causal reasoning
refinement process
control program