Induction as the Basis for Program Verification (Abstract).

Charles Reynolds Raymond T. Yeh

Published in: ICSE (1976)

Keyphrases

higher level
inductive learning
machine learning
low level
starting point
program synthesis
database
real world
artificial intelligence
data structure
expert systems
case based reasoning
inductive logic programming
rule induction
version space
constructive induction