Formal Models of Distributed Memory Management.

Cristian Ungureanu Benjamin Goldberg

Published in: ICFP (1997)

Keyphrases

formal models
memory management
operating system
computing environments
distributed systems
rule based systems
process model
hardware implementation
formal model
garbage collection
case study
neural network
computer systems
parallel computation
flash memory