Y. Bekkers, O. Ridoux, L. Ungaro  Home/Search
Context Related
| irisa.fr/local/lan...yborluiwmm92.ps.Z 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: irisa.fr/EXTERNE/p...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Logic programming languages are becoming more complex with the introduction of new features such as constraints or terms with an equality theory. With this increase in complexity, they require more and more sophisticated memory management. This survey gives an insight into the memory management problems in sequential logic programming language implementations; it also describes the presently known solutions. It is meant to be understood by non-specialists in logic programming with good... (Update)
Context of citations to this paper: More
...and this article fills this gap by providing a relatively complete account. More specifically, we discuss the usefulness logic [BRU92] of Prolog with tabling (Section 5) and the issues that have to be addressed in order to add proper memory management in a tabling...
.... algorithms used in an implementation is probably [3] An excellent account of issues in Prolog heap garbage collection can be found in [4]. As a result, several Prolog systems do have a heap garbage collector and it might appear that the issue is solved completely and in a...
Cited by: More
A region-based memory manager for Prolog - Henning Makholm Diku (2000) (Correct)
Copying garbage collection for the WAM: - To Mark Or (Correct)
Copying garbage collection for the WAM: to mark or not to.. - Demoen, Nguyen.. (Correct)
Active bibliography (related documents): More All
1.8: the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
1.0: The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1995) (Correct)
0.6: Data-parallel Implementation of Prolog - Bevemyr (1996) (Correct)
Similar documents based on text: More All
0.2: A Generational Parallel Copying Garbage Collector for Shared.. - Bevemyr (1995) (Correct)
0.2: A Simple and Efficient Copying Garbage Collector for Prolog - Bevemyr, Lindgren (1994) (Correct)
0.2: Address Configuration Schemes In Mobile Ad Hoc Networks - Ridoux, Fladenmuller (2003) (Correct)
Related documents from co-citation: More All
19: An abstract prolog instruction set (context) - Warren - 1983
19: Garbage Collection for Prolog Based on WAM (context) - Appleby, Carlsson et al. - 1988
18: A nonrecursive list compacting algorithm (context) - Cheney - 1970
BibTeX entry: (Update)
Y. Bekkers, O. Ridoux, and L. Ungaro. -- Dynamic memory management for sequential logic programming languages. -- In Y. Bekkers and J. Cohen, editors, Proceedings of the International Workshop on Memory Management (IWMM 92), number 637 in Lecture Notes in Computer Science, pages 82--102. Springer-Verlag, September 1992. http://citeseer.ist.psu.edu/bekkers92dynamic.html More
@inproceedings{ bekkers92dynamic,
author = "Yves Bekkers and Olivier Ridoux and Lucien Ungaro",
title = "Dynamic Memory Management for Sequential Logic Programming Languages",
booktitle = "{IWMM}",
pages = "82-102",
year = "1992",
url = "citeseer.ist.psu.edu/bekkers92dynamic.html" }
Citations (may not include all citations):395 An Abstract Prolog Instruction Set (context) - Warren - 1983
267 The constraint logic programming language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
190 List-processing in real-time on a serial computer - Baker - 1978
173 A real-time garbage collector based on the lifetimes of obje.. - Lieberman, Hewitt - 1983
167 Generation scavenging: a non-disruptive high performance sto.. (context) - Ungar - 1984
166 An overview of Prolog (context) - Nadathur, Miller - 1988
132 A nonrecursive list compacting algorithm (context) - Cheney - 1970
101 Garbage collection in a large Lisp system (context) - Moon - 1990
81 Distributed garbage collection using reference counting (context) - Bevan - 1987
73 A LISP garbage-collector for virtual-memory computer systems (context) - Fenichel, Yochelson - 1969
36 Garbage collection for Prolog based on the WAM (context) - Appleby, Carlsson et al. - 1988
30 The sharing of structure in theorem-proving programs (context) - Boyer, Moore - 1972
29 A new data structure for implementing extensions to Prolog (context) - Le Huitouze - 1990
27 Efficient implementation of a defensible semantics for dynam.. (context) - Lindholm, O'Keefe - 1987
26 Extensible unification by metastructures (context) - Neumerkel - 1990
25 A new implementation technique for flat GHC (context) - Ueda, Morita - 1990
19 Efficient Prolog memory management for flexible control stra.. (context) - Warren - 1984
17 Fixing some space leaks with a garbage collector - Wadler - 1987
17 indexing and other implementation issues in the WAM (context) - Carlsson - 1987
13 A time and space efficient garbage compaction algorithm (context) - Morris - 1978
11 Time stamps techniques for the trailed data in constraint lo.. (context) - Aggoun, Beldiceanu - 1990
11 Towards a real-time garbage collector for Prolog (context) - Pittomvils, Bruynooghe et al. - 1985
11 An improved Prolog implementation which optimises tail-recur.. (context) - Warren - 1980
10 MALI: a memory with a real-time garbage collector for implem.. (context) - Bekkers, Canet et al. - 1986
10 A garbage collection algorithm for shared memory parallel pr.. (context) - Crammond - 1988
9 ese, Universit (context) - Brisset, Th - 1992
8 Making Garbage Collection Independent of the Amount of Garba.. (context) - Sahlin - 1987
7 MALIv06: Tutorial and Reference Manual - Ridoux - 1991
7 An alternative to structure-sharing in the implementation of.. (context) - Mellish - 1980
6 Implementing Prolog --- Compiling Logic Programs (context) - Warren - 1977
5 Garbage collection for Prolog based on twin cells - Schimpf - 1990
4 Lazy reference counting: an incremental garbage collection m.. (context) - Goto, Kimura et al. - 1988
4 garbage collection and execution model issues in ElipSys (context) - Dorochevsky, Schuerman et al. - 1991
4 A general model to implement dif and freeze (context) - Boizumault - 1986
4 Prolog : manuel de r'ef'erence et d'utilisation (context) - Roussel - 1975
3 ese, Universit (context) - Le Huitouze, oeuvre et al. - 1988
3 Garbage collection in Prolog implementations (context) - Bruynooghe - 1984
3 Research Report SICS/R (context) - Sahlin, Carlsson et al. - 1991
2 en. SICStus Prolog User (context) - Carlsson, Wid - 1988
2 Perpetual processes --- an unexploited Prolog technique (context) - Warren - 1982
2 A la recherche de la m'emoire perdue (context) - Weemeeuw, Demoen - 1990
1 Implementing parallel garbage collector for Prolog (context) - Bekkers, Ungaro - 1991
1 A Garbage Collection Algorithm for Tricia - Barklund - 1987
1 A short note on garbage collection in Prolog interpreters (context) - Bekkers, Canet et al. - 1983
1 A memory management machine for Prolog interpreters (context) - Bekkers, Canet et al. - 1984
1 Storage Models for Or-Parallel Execution of Logic Programs (context) - Ciepielewski, Haridi - 1983
1 A memory management machine for Prolog (context) - Bekkers, Canet et al. - 1985
1 Special Issue on Logic Programming (context) - Colmerauer, Prolog et al. - 1987
1 ese, Universit (context) - r'ecup'eration, les et al. - 1988
1 A note on garbage collection in Prolog interpreters (context) - Bruynooghe - 1982
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.irisa.fr/EXTERNE/projet/lande/BIBLIO/publications.html): More
Imagining CLP(Λ,≡αβ) - Ridoux (1995) (Correct)
Refining Multiset Transformers - Hankin, Métayer, Sands (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1995) (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