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
Open AccessArticle

DOI: 10.1023/B:LISP.0000029446.78563.a4

Cite this article as:
Tofte, M., Birkedal, L., Elsman, M. et al. Higher-Order and Symbolic Computation (2004) 17: 245. 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