Semantics of data structures.

Bernard J. Robinet

Published in: ACM SIGPLAN Notices (1973)

Keyphrases

data structure
formal semantics
logic programming
database operations
inverted index
specification language
efficient data structures
database
information retrieval
website
keywords
database applications
conceptual model
active rules
transformation rules
logical language