Higher-Order and Symbolic Computation, 17(3)245-265
A Retrospective on Region-Based Memory ManagementMads Tofte, The IT University of Copenhagen, Denmark
Lars Birkedal, The IT University of Copenhagen, Denmark
Martin Elsman, The IT University of Copenhagen, Denmark
Niels Hallenberg, The IT University of Copenhagen, Denmark
|
Abstract: We report on our experience with designing,
implementing, proving correct, and evaluating a region-based memory
management system.
Keywords: dynamic storage management, regions, Standard ML |
This article can be downloaded [here].
![[picture of journal cover]](../LISP.JPG)