Login / Signup
Proving Termination and Memory Safety for Programs with Pointer Arithmetic.
Thomas Ströder
Jürgen Giesl
Marc Brockschmidt
Florian Frohn
Carsten Fuhs
Jera Hensel
Peter Schneider-Kamp
Published in:
IJCAR (2014)
Keyphrases
</>
term rewrite systems
data structure
memory usage
neural network
memory requirements
automatic programming
arithmetic operations
memory size
main memory
answer sets
computer programs
information processing
computing power
random access
limited memory
low memory
rewrite systems
termination analysis
database