Higher-Order and Symbolic Computation, 17(3)245-265

A Retrospective on Region-Based Memory Management

Mads 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]

June 2004 - hosc@brics.dk