Program correctness methods and language definition.

Edward A. Ashcroft

Published in: Proving Assertions About Programs (1972)

Keyphrases

preprocessing
computational cost
data mining
social networks
decision trees
relational databases
significant improvement
machine learning methods
computationally expensive