Unifying Theories of Programming in Isabelle.

Simon Foster Jim Woodcock

Published in: ICTAC Training School on Software Engineering (2013)

Keyphrases

theorem prover
programming language
theoretical framework
real time
data sets
expert systems
high level language
genetic algorithm
social networks
information systems
object oriented programming
programming environment
causal reasoning
formal models