Login / Signup
Automatically 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
Cornelius Aschermann
Published in:
J. Autom. Reason. (2017)
Keyphrases
</>
databases
high level
data structure
computer programs
memory space
memory size
term rewrite systems
database
real time
genetic algorithm
artificial intelligence
relational databases
memory usage
computing power
low memory
termination analysis