Program Schemes with Deep Pushdown Storage.

Argimiro Arratia Iain A. Stewart

Published in: CiE (2008)

Keyphrases

data storage
storage space
storage and retrieval
data sets
file system
data warehouse
test cases
model checking
control program