Inductive Methods for Proving Properties of Programs.

Zohar Manna Stephen Nes Jean Vuillemin

Published in: Commun. ACM (1973)

Keyphrases

significant improvement
real time
neural network
data mining
artificial intelligence
preprocessing
computational cost
empirical studies
qualitative and quantitative
data sets
real world
decision trees
database systems
denoising
source code
benchmark datasets