A Module Based Analysis for Memory Reuse in Mercury
Nancy Mazur10
, Gerda Janssens10
and Maurice Bruynooghe10 
| (10) |
Department of Computer Science, K.U.Leuven Celestijnenlaan, 200A, B-3001 Leuven, Belgium |
Abstract
In previous work Bruynooghe, Janssens and Kågedal developed a live-structure analysis for Mercury which detects memory cells
available for reuse. Separate compilation of modules is an essential ingredient of a language such as Mercury which supports
programming in the large. Hence, to be practical, a live-structure analysis also has to be module based. This paper develops
a modular live-structure analysis and extends it with a modular reuse analysis. It also describes preliminary results obtained
with a first prototype of the module based analysis.
This work has been supported by the GOA project LP+, the ESPRIT project ARGo, and the FWO-Vlaanderen.
References secured to subscribers.