The Verification and Synthesis of Data Structures.

Jay M. Spitzen Ben Wegbreit

Published in: Acta Informatica (1974)

Keyphrases

data structure
model checking
program synthesis
data types
texture synthesis
formal verification
information systems
concurrent systems
efficient data structures
nearest neighbor
b tree
multidimensional data
face verification
data structures and algorithms