A module based analysis for memory reuse in Mercury (2000)

by Nancy Mazur, Gerda Janssens, Maurice Bruynooghe
Venue:Computational Logic - CL 2000, UK, Proceedings, volume 1861 of LNAI