Specification and uniform reference to data structures in PL/I.

Daniel Sehwabe Carlos J. P. Lucena

Published in: ACM SIGPLAN Notices (1976)

Keyphrases

data structure
high level
suffix tree
specification language
database
formal specification
efficient data structures
data sets
feature selection
case study
data management
formal methods
formal verification
data structures and algorithms
algorithms and data structures
linear array