Data Structures and Correctness of Programs.

Tomasz Kowaltowski

Published in: J. ACM (1979)

Keyphrases

data structure
provably correct
automatic programming
database
data mining
data types
quadtree
computer programs
efficient data structures
decision making
case study
index structure
b tree
fixpoint
control structures
kd trees