Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation

ISBN-13: 9783540566946 / Angielski / Miękka / 1993 / 227 str.

Anne Mulkers

Opis

A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The available run-time garbage collecting processes are expensive in time and often require a periodic disruption of the program execution. The present book addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstract interpretation for logic programs. The starting point is a previously developed application of integrated type and mode analysis, which basically supplies a description of the logical terms to which program variables can be bound at run-time.

Spis treści

Abstract interpretation.- Related work.- Sharing analysis.- Liveness analysis.- Conclusion.