Towards modular binding-time analysis for first-order Mercury

Wim Vanhoof, Maurice Bruynooghe

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationWOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming)
EditorsMichael Leuschel
PublisherElsevier BV
Number of pages9
Publication statusPublished - 1999
EventInternational Workshop on Implementation and Optimization of Declarative Languages - Las Cruces, New Mexico (USA)
Duration: 2 Dec 1999 → …

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Electronic)1571-0661


SymposiumInternational Workshop on Implementation and Optimization of Declarative Languages
CityLas Cruces, New Mexico (USA)
Period2/12/99 → …

Cite this