Proving the Correctness of Storage Representations.

Mitchell Wand Dino Oliva

Published in: LISP and Functional Programming (1992)

Keyphrases

file system
storage and retrieval
multiple representations
data storage
decision trees
low level
real time
storage space
external representations
storage management
solid state
storage cost
processing capabilities
symbolic representation
storage requirements
multiscale
metadata
social networks
real world
databases