Login / Signup
2LS: Memory Safety and Non-termination - (Competition Contribution).
Viktor Malík
Stefan Marticek
Peter Schrammel
Mandayam K. Srivas
Tomás Vojnar
Johanan Wahlang
Published in:
TACAS (2) (2018)
Keyphrases
</>
memory usage
low memory
computing power
limited memory
artificial intelligence
memory requirements
databases
neural network
database systems
multi agent systems
computational power
random access
memory size
term rewriting
rewrite systems
international competition