. A unidirectional heap is a heap where all pointers go in one direction, e.g. from newer to older objects. For a strict functional language, such as Erlang, the heap may be arranged so that it is unidirectional. We here present a compacting garbage collection algorithm which utilizes the fact that a heap is unidirectional. Only one memory space is used in our algorithm. In fact, no extra memory is used at all, not even any reserved bits within the cells. The algorithm is quite easy to extend to a variant of generational garbage collection. 1 Introduction The Erlang functional programming language [5] is typically implemented using a copying garbage collection algorithm. In [4] a completely new method was suggested utilizing the f...
Automatic garbage collection relieves programmers from the burden of managing memory themselves and ...
We propose a type-directed garbage collection (GC) scheme for a programming language with static mem...
High-level programming languages like Prolog free the programmer from the burden of explicit memory ...
A technique for compactifying garbage collection is presented. The method is applicable to very gene...
Abstract: A mixed-strategy garbage collection algorithm is presented, which combines mark-and-sweep ...
In the heap model in which garbage collectors usually operate, the heap is an array of cells. Each c...
Automatic memory management is an important concept in many high order languages. It improves produc...
ABSTRACT — The fundamental challenge of garbage collector (GC) design is to maximize the recycled sp...
Designing a garbage collector with real-time properties is a particularly difficult task, involving ...
We present a garbage-collection algorithm, suitable for loosely-coupled multiprocessor systems, in w...
The garbage compactification algorithm described works in linear time and, for the most part, does n...
A real-time garbage collector has to fulfill two basic properties: ensure that programs with bounded...
Memory compaction is a technique for reclaiming cells containing garbage that are scattered over the...
Abstract—the fundamental challenge of garbage collector (GC) design is to maximize the recycled spac...
International audienceWe present SL⋄, a Separation Logic that allows controlling the heap space cons...
Automatic garbage collection relieves programmers from the burden of managing memory themselves and ...
We propose a type-directed garbage collection (GC) scheme for a programming language with static mem...
High-level programming languages like Prolog free the programmer from the burden of explicit memory ...
A technique for compactifying garbage collection is presented. The method is applicable to very gene...
Abstract: A mixed-strategy garbage collection algorithm is presented, which combines mark-and-sweep ...
In the heap model in which garbage collectors usually operate, the heap is an array of cells. Each c...
Automatic memory management is an important concept in many high order languages. It improves produc...
ABSTRACT — The fundamental challenge of garbage collector (GC) design is to maximize the recycled sp...
Designing a garbage collector with real-time properties is a particularly difficult task, involving ...
We present a garbage-collection algorithm, suitable for loosely-coupled multiprocessor systems, in w...
The garbage compactification algorithm described works in linear time and, for the most part, does n...
A real-time garbage collector has to fulfill two basic properties: ensure that programs with bounded...
Memory compaction is a technique for reclaiming cells containing garbage that are scattered over the...
Abstract—the fundamental challenge of garbage collector (GC) design is to maximize the recycled spac...
International audienceWe present SL⋄, a Separation Logic that allows controlling the heap space cons...
Automatic garbage collection relieves programmers from the burden of managing memory themselves and ...
We propose a type-directed garbage collection (GC) scheme for a programming language with static mem...
High-level programming languages like Prolog free the programmer from the burden of explicit memory ...