A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures.

Grazyna Mirkowska Andrzej Salwicki

Published in: MFCS (1976)

Keyphrases

axiomatic characterization
desirable properties
imperative programs
provably correct
data sets
structural properties
structured data
neural network
case study
high level
computational complexity
conditional independence
computer programs
image blocks