Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness.

Zohar Manna Richard J. Waldinger

Published in: ICSE (1976)

Keyphrases

neural network
machine learning
knowledge base
computer programs
database
real world
feature selection
image segmentation
information technology
static analysis
program synthesis