A type system for safe memory management and its proof of correctness.

Manuel Montenegro Ricardo Pena Clara Segura

Published in: PPDP (2008)

Keyphrases

memory management
operating system
hardware implementation
garbage collection
image processing
parallel computation