@inproceedings{e6d3cf1741534791a4419306b9b06c7f,
title = "Binding-time Annotations Without Binding-time Analysis",
abstract = "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.",
author = "Wim Vanhoof and Maurice Bruynooghe",
year = "2001",
month = dec,
day = "3",
language = "English",
isbn = "978-3-540-42957-9",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer",
number = "2250",
pages = "707--722",
editor = "Robert Nieuwsenhuis and Andrei Voronkov",
booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",
address = "United States",
note = "Logic for Programming, Artificial Intelligence, and Reasoning, 8th international Conference ; Conference date: 03-12-2001",
}