Login / Signup
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution).
Jera Hensel
Frank Emrich
Florian Frohn
Thomas Ströder
Jürgen Giesl
Published in:
TACAS (2) (2017)
Keyphrases
</>
term rewrite systems
memory space
memory usage
databases
computing power
memory size
computer programs
computational power
memory requirements
multi agent
limited memory
memory management
automatic programming
case study
low memory
international competition
artificial intelligence