A retrospective on Region-based Memory Management

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Mads Tofte, IT University in Copenhagen, Denmark
  • Lars Birkedal
  • Martin Elsman, IT University in Copenhagen, Unknown
  • Niels Hallenberg, IT University in Copenhagen, Unknown

The standard memory management and the push region inference through program analyses to machine language and new garbage collection technique was discussed. The basic objective of the memory management was to work on scientific way so that it should rest on a solid mathematical foundation. The work should be experimental, to test against competing state of the art implementation technology. In the present implementation technology of garbage collection one can collect garbage at each allocation point.

Original languageEnglish
JournalHigher-Order and Symbolic Computation
Pages (from-to)245-265
Number of pages21
Publication statusPublished - 1 Sep 2004
Externally publishedYes

    Research areas

  • Dynamic storage management, Regions, Standard ML

See relations at Aarhus University Citationformats

ID: 81355261