A module based analysis for memory reuse in Mercury

Abstract

In previous work Bruynooghe, Janssens and K-agedal devel- oped a live-structure analysis for Mercury which detects memory cells available for reuse. Separate compilation of modules is an essential in- gredient 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.