Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness).

Zohar Manna Richard J. Waldinger

Published in: Commun. ACM (1978)

Keyphrases

knowledge base
data sets
genetic algorithm
artificial intelligence
decision trees
database systems
computer programs
programming environment