Higher-Order and Symbolic Computation

, Volume 17, Issue 3, pp 245–265

A Retrospective on Region-Based Memory Management

Authors

  • Mads Tofte
    • The IT University of Copenhagen
  • Lars Birkedal
    • The IT University of Copenhagen
  • Martin Elsman
    • The IT University of Copenhagen
  • Niels Hallenberg
    • The IT University of Copenhagen

DOI: 10.1023/B:LISP.0000029446.78563.a4

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

Copyright information

© Kluwer Academic Publishers 2004