line

Region-based memory management for Prolog

Henning Makholm
Datalogisk Institut, Dept. of Computer Science
University of Copenhagen
,
visiting Kostis Sagonas

Abstract
Region-based memory management was invented by Tofte and Talpin in the mid-1990's as an alternative to garbage collection for functional programming languages. It provides machine-cheked memory safety without the run-time overhead of maintining root sets and tracing data structures.

This talk introduces the basic ideas and techniques in region-based memory management. We then describe how the ideas can be adapted to work with Prolog, and show empirical results from a simple prototype implementation.

Paper: H. Makholm: A region-based memory manager for Prolog, proc. ISMM 2000, SIGPLAN Notices 36(3):25-34. http://www.diku.dk/~makholm/ismm.ps.gz


ASTEC seminar
March 20, 2001

Place: Information technology, Uppsala University
Room: 1113
Time: 15.15-16.00 (+ discussions)

Room 1113 is in building 1, floor 1, room 13 (in the southern part of the building).

Help on how to find ASTEC Seminars.

There will be an extended period for discussions after the seminar.

Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 16.00.

Everyone is welcome !

line
Updated 13-Mar-2001 08:41 by Roland Grönroos
e-mail: info -at- astec.uu.se    Location: http://www.astec.uu.se/Seminars/01/0320.shtml