A calculus for proving properties of while-programs.

Jacques Loeckx Ingrid Glasner

Published in: Mathematical Studies of Information Processing (1978)

Keyphrases

formal language
algebraic structure
provably correct
imperative programs
decision making
computer programs
real time
data sets
databases
neural network
learning algorithm
computer vision
artificial neural networks
desirable properties