Title: Live-structure data-flow analysis for prolog
Authors: Mulkers, Anne ×
Winsborough, William
Bruynooghe, Maurice #
Issue Date: Mar-1994
Publisher: Association for Computing Machinery
Series Title: ACM transactions on programming languages and systems vol:16 issue:2 pages:205-258
Abstract: For the class of applicative programming languages, efficient methods for reclaiming the memory occupied by released data structures constitute an important aspect of current implementations. The present article addresses the problem of memory reuse for logic programs through program analysis rather than by run-time garbage collection. The aim is to derive run-time properties that can be used at compile time to specialize the target code for a program according to a given set of queries and to automatically introduce destructive assignments in a safe and transparent way so that fewer garbage cells are created.

ISSN: 0164-0925
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science