| Alternate document: Details Region-Based Memory Management in Prolog (00) Henning Makholm |
Henning Makholm DIKU, University of Copenhagen Universitetsparken 1 DK-2100...  Home/Search
Context Related
| diku.dk/~makholm/ismm.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: macs.hw.ac.uk/~makholm/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programming languages. We describe how the extended model can be implemented and report on the performance of a prototype implementation. The prototype implementation performs well when compared to a garbage-collecting Prolog implementation using comparable technology for nonmemory -management issues. (Update)
Context of citations to this paper: More
.... to mainstream imperative languages, but so far the only work on adapting it to Prolog has been a preliminary study by the first author [6]. In this paper we take that work a big step further by adding region support to a state of the art WAM based Prolog implementation and...
Cited by: More
the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
On Enabling the WAM with Region Support - Makholm, Sagonas (Correct)
Similar documents (at the sentence level):
75.3%: A region-based memory manager for Prolog - Makholm (2000) (Correct)
7.4%: Region-Based Memory Management in Prolog - Makholm (2000) (Correct)
Active bibliography (related documents): More All
0.2: An Equational Theory for a Region Calculus - Revised - Helsen (2002) (Correct)
0.2: An Equational Theory for a Region Calculus - Helsen (2002) (Correct)
0.2: An Operational Theory for a Region Calculus - Helsen (2001) (Correct)
Similar documents based on text: More All
0.7: On Jones-Optimal Specialization - For Strongly Typed (Correct)
0.6: A Direct Approach to Control-Flow Sensitive Region-Based.. - Henglein, Makholm, Niss (2001) (Correct)
0.4: Tag Elimination and Jones-Optimality (preliminary report) - Taha, Makholm, Hughes (2001) (Correct)
Related documents from co-citation: More All
3: IEEE Press (context) - International, Computer - 1985
3: Distributed garbage collection in a client-server - Maheshwari - 1993
2: Garbage collection of persistent objects in distributed shared memory - Ferreira, Shapiro - 1994
BibTeX entry: (Update)
H. Makholm. A region-based memory manager for Prolog. In Proceedings of ISMM 2000, pages 25--34. ACM Press, 2000. http://citeseer.ist.psu.edu/makholm00regionbased.html More
@inproceedings{ makholm00regionbased,
author = "Henning Makholm",
title = "A region-based memory manager for Prolog",
booktitle = "First Workshop on Memory Management in Logic Programming Implementations",
volume = "CW 294",
month = "24",
publisher = "Katholieke Universiteit Leuven",
address = "CL2000, London, England",
editor = "Bart Demoen",
pages = "28--40",
year = "2000",
url = "citeseer.ist.psu.edu/makholm00regionbased.html" }
Citations (may not include all citations):188 Region-based memory management - Tofte, Talpin - 1997
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
88 Implementation of the typed call-by-value -calculus using a .. (context) - Tofte, Talpin - 1994
83 From region inference to von Neumann machines via region rep.. - Birkedal, Tofte et al. - 1996
58 Better static memory management: Improving region-based anal.. - Aiken, Fahndrich et al. - 1995
54 Programming with regions in the ML Kit - Tofte, Birkedal et al. - 1997
36 ACM Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
27 Dynamic memory management for sequential logic programming l.. - Bekkers, Ridoux et al. - 1992
7 Region-Based Memory Management in Prolog - Makholm - 2000
6 A polymorphic type system for PROLOG (context) - Mycroft, O'Keefe - 1984
Documents on the same site (http://www.macs.hw.ac.uk/~makholm/): More
A Direct Approach to Control-Flow Sensitive Region-Based.. - Henglein, Makholm, Niss (2001) (Correct)
MiXIMUM - A simpler and more liberal type specializer - Makholm (2000) (Correct)
Specializing C - An Introduction To (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC