Title: Towards region-based memory management for Mercury programs (Extended abstract)
Authors: Phan, Quan ×
Janssens, Gerda #
Issue Date: Aug-2006
Publisher: Springer-Verlag
Host Document: Lecture Notes in Computer Science vol:4079 pages:433-435
Conference: International Conference on Logic Programming (ICLP) edition:22 location:Seattle, WA, USA date:August 17-20, 2006
Abstract: Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes region-based memory management for the Mercury language using some points-to graphs that model the partition of the memory used by a program into separate regions and distribute the values of the program's variables over the regions. First, a region analysis determines the different regions in the program. Second, the liveness of the regions is computed. Finally, a program transformation adds region annotations to the program for region support. Our approach obtains good results for a restricted set of deterministic Mercury programs and is a valid starting point to make region-based memory management work with general Mercury programs.
Description: LNCS Vol. 4079
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
poster.pdf Published 43KbAdobe PDFView/Open


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