Memory Management: An Abstract Formulation of Incremental Tracing.

Healfdene Goguen Richard Brooksby Rod M. Burstall

Published in: TYPES (1999)

Keyphrases

memory management
operating system
garbage collection
hardware implementation
parallel computation
graph cuts
computing environments
information systems
management system
memory access