A denotational account of C11-style memory.

Ryan Kavanagh Stephen Brookes

Published in: CoRR (2018)

Keyphrases

computing power
memory requirements
memory usage
main memory
artificial intelligence
memory space
operational semantics
information retrieval
image processing
search algorithm
special case
computational power
random access
memory size
low memory