Proving Assertions about Programs that Manipulate Data Structures

Derek C. Oppen Stephen A. Cook

Published in: STOC (1975)

Keyphrases

data structure
computer programs
knowledge base
control structures
data mining
search engine
decision making
e learning
bayesian networks
multi agent systems
automatic programming
java programs
efficient data structures