To Memory Safety through Proofs.

Hongwei Xi Dengping Zhu

Published in: CoRR (2018)

Keyphrases

memory requirements
computing power
low memory
theorem proving
memory usage
memory footprint
computational power
memory space
limited memory
formal proofs
information retrieval
memory size
working memory
associative memory
case study
knowledge base
artificial intelligence