Login / Signup
Deciding memory safety for single-pass heap-manipulating programs.
Umang Mathur
Adithya Murali
Paul Krogmeier
P. Madhusudan
Mahesh Viswanathan
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
single pass
data structure
stream mining
random access
memory requirements
memory space
memory usage
computing power
control flow
database
data sets
neural network
computer programs
limited memory
automatic programming
air traffic