Typed memory management via static capabilities.

David Walker Karl Crary J. Gregory Morrisett

Published in: ACM Trans. Program. Lang. Syst. (2000)

Keyphrases

memory management
operating system
hardware implementation
garbage collection
higher order
java virtual machine
memory access
computing environments
software engineering
graphical models
object oriented
database systems
nearest neighbor
parallel computation
flash memory
knn
computer vision
database