, 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

Abstract

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