Safe Deferred Memory Reclamation with Types.

Ismail Kuru Colin S. Gordon

Published in: ESOP (2019)

Keyphrases

memory management
memory usage
memory size
data sets
databases
neural network
computer vision
information systems
decision trees
data streams
query processing
mobile robot
management system
memory requirements
computational power
memory space