BASEL (Buffer mAnagement SpEcification Language).

Kirill Kogan Danushka Menikkumbura Gustavo Petri Youngtae Noh Sergey I. Nikolenko Patrick Eugster

Published in: ANCS (2016)

Keyphrases

specification language
buffer management
real time database systems
description language
programming language
formal specification
storage management
flash memory
replacement policy
database systems
general purpose
fine grained
real time systems
database management systems
data storage