Article

Higher-Order and Symbolic Computation

, Volume 17, Issue 3, pp 245-265

Open Access This content is freely available online to anyone, anywhere at any time.

A Retrospective on Region-Based Memory Management

  • Mads TofteAffiliated withThe IT University of Copenhagen
  • , Lars BirkedalAffiliated withThe IT University of Copenhagen
  • , Martin ElsmanAffiliated withThe IT University of Copenhagen
  • , Niels HallenbergAffiliated withThe IT University of Copenhagen

Abstract

We report on our experience with designing, implementing, proving correct, and evaluating a region-based memory management system.

dynamic storage management regions Standard ML