A Calculus for Relaxed Memory.

Karl Crary Michael J. Sullivan

Published in: POPL (2015)

Keyphrases

computing power
low memory
memory requirements
memory usage
memory space
memory size
memory capacity
real time
databases
search algorithm
associative memory
random access
memory management
algebraic structure