Pushdown flow analysis with abstract garbage collection.

J. Ian Johnson Ilya Sergey Christopher Earl Matthew Might David Van Horn

Published in: J. Funct. Program. (2014)

Keyphrases

flow analysis
garbage collection
information flow
space efficient
flash memory
memory management
forensic analysis
java virtual machine
database
data sets
databases
social networks
random access