Inductive methods for proving properties of programs.

Zohar Manna Stephen Nes Jean Vuillemin

Published in: Proving Assertions About Programs (1972)

Keyphrases

search methods
significant improvement
data sets
image segmentation
multiscale
cross validation
qualitative and quantitative
desirable properties
data mining
information retrieval
preprocessing
artificial neural networks
computational cost
empirical studies
computationally expensive