Foundational Typed Assembly Language with Certified Garbage Collection.

Chunxiao Lin Andrew McCreight Zhong Shao Yiyun Chen Yu Guo

Published in: TASE (2007)

Keyphrases

garbage collection
flash memory
programming language
lambda calculus
java virtual machine
java bytecode
space efficient
memory management
general purpose
information systems
database
data sets
data streams
object oriented databases