@inproceedings{2b815b68a1d8485885bb32292a4e5cb2,
title = "Towards modular binding-time analysis for first-order Mercury",
abstract = "In this paper, we describe work in progress on binding-time analysis (BTA) for a first-order subset of Mercury. BTA is the core part of any off-line specialisation system. We formulate BTA by constraint normalisation, enabling the analysis to be performed efficiently and in a modular way.",
author = "Wim Vanhoof and Maurice Bruynooghe",
year = "1999",
doi = "10.1016/S1571-0661(05)80639-5",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
number = "2",
pages = "189--198",
editor = "Michael Leuschel",
booktitle = "WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming)",
address = "Netherlands",
note = "International Workshop on Implementation and Optimization of Declarative Languages ; Conference date: 02-12-1999",
}