Verifying programs which operate on data structures.

Mark S. Laventhal

Published in: Reliable Software (1975)

Keyphrases

data structure
real world
computer programs
efficient data structures
genetic algorithm
high level
data types
model checking
suffix tree
data mining
decision making
logic programs