Abstract | ||
---|---|---|
The ATerm Library is a well-designed and well-known library in the term rewriting community. In this paper, we discuss the current garbage collector provided with the library and stress the fact that some peculiarities of this functional library could be taken advantage of by the memory management system. We explain how we designed and implemented GC2, a new mark-and-sweep generational garbage collector for the ATerm Library that builds upon these peculiarities. Experimental results on various programs validate our approach, and show that the performance of our new algorithm is very good. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.jlap.2003.12.003 | The Journal of Logic and Algebraic Programming |
Keywords | Field | DocType |
ATerms,Hash-consing,Garbage collection and generation | Garbage,Programming language,Computer science,Manual memory management,Theoretical computer science,Memory management,Garbage collection,Rewriting,Hash consing | Journal |
Volume | Issue | ISSN |
59 | 1 | 1567-8326 |
Citations | PageRank | References |
3 | 0.36 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pierre-etienne Moreau | 1 | 598 | 40.40 |
Olivier Zendra | 2 | 49 | 10.81 |