Program Proving: Jumps and Functions.

Maurice Clint C. A. R. Hoare

Published in: Acta Informatica (1972)

Keyphrases

special case
functional programs
machine learning
image sequences
markov chain
program execution
neural network
data mining
case study
bayesian networks
computer science