Completeness Thresholds for Memory Safety: Early Preliminary Report.

Tobias Reinhard

Published in: CoRR (2022)

Keyphrases

memory requirements
memory usage
computing power
main memory
computational power
memory size
safety critical
memory space
low memory
real time
databases
database systems
limited memory
memory footprint
memory capacity
internal memory