Towards modular binding-time analysis for first-order Mercury

Wim Vanhoof, Maurice Bruynooghe

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

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.
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
Pages189-198
Number of pages9
DOIs
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
PublisherElsevier
Number2
Volume30
ISSN (Electronic)1571-0661

Symposium

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

Cite this