Garbage-Collection Safety for Region-Based Type-Polymorphic Programs.

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

garbage collection
type checking
flash memory
space efficient
memory management
java virtual machine
java bytecode
data sets
data structure
operating system
main memory
object oriented databases
data storage
object oriented languages