Liveness of Heap Data for Functional Programs

Details Liveness of Heap Data for Functional Programs Liveness of Heap Data for Functional Programs

2007-03-30

arxiv.org/abs/cs/0703155v1

Computer Science

Programming Languages

Accepted at Heap Analysis and Verification workshop (HAV 2007), a satellite workshop of ETAPS 2007 (No formal proceedings for

Scientific paper

Functional programming languages use garbage collection for heap memory management. Ideally, garbage collectors should reclaim all objects that are dead at the time of garbage collection. An object is dead at an execution instant if it is not used in future. Garbage collectors collect only those dead objects that are not reachable from any program variable. This is because they are not able to distinguish between reachable objects that are dead and reachable objects that are live. In this paper, we describe a static analysis to discover reachable dead objects in programs written in first-order, eager functional programming languages. The results of this technique can be used to make reachable dead objects unreachable, thereby allowing garbage collectors to reclaim more dead objects.

Affiliated with

Also associated with

No associations

Rating

Liveness of Heap Data for Functional Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Liveness of Heap Data for Functional Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Liveness of Heap Data for Functional Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-650752