Binding-time Annotations Without Binding-time Analysis

Wim Vanhoof, Maurice Bruynooghe

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


The basic task of binding-time analysis (BTA) is to compute annotations that guide the unfolding decisions of a specialiser. The main problem is to guarantee that the specialisation will terminate. In the context of logic programming, only few automatic such analyses have been developed, the most sophisticated among them relying on the result of a separate termination analysis. In this work, we devise an analysis that generates the annotations during termination analysis, which allows much more liberal unfoldings than earlier approaches.
Original languageEnglish
Title of host publicationFifth international workshop on termination, WST'01
Publication statusPublished - 3 Dec 2001


Dive into the research topics of 'Binding-time Annotations Without Binding-time Analysis'. Together they form a unique fingerprint.

Cite this