Towards modular binding-time analysis for first-order Mercury

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. The authors wish to thank Danny De Schreye and Karel De Vlaminck for their continuous interest in this work. They also wish to thank anonymous referees for valuable comments which helped to improve the current paper. © 2000 Published by Elsevier Science B.V.Also in ENTCS 30(2), Workshop at ICLP'99status: publishe