Completeness Thresholds for Memory Safety of Array Traversing Programs.

Tobias Reinhard Justus Fasse Bart Jacobs

Published in: CoRR (2023)

Keyphrases

memory usage
main memory
low memory
neural network
data quality
memory requirements
linear array
programming environment
memory space
limited memory
memory management
automatic programming
adaptive threshold
antenna array