@inproceedings{70c47561896b4fdc98a5b92b6a5cfc21,
title = "Binding-Time analysis by constraint solving a modular and Higher-Order approach for mercury",
abstract = "In this paper we present a binding-time analysis for the logic programming language Mercury. Binding-time analysis is a key analysis needed to perform off-line program specialisation. Our analysis deals with the higher-order aspects of Mercury, and is formulated by means of constraint normalisation. This allows (at least part of) the analysis to be performed on a modular basis.",
author = "Wim Vanhoof",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000 ; Conference date: 06-11-2000 Through 10-11-2000",
year = "2000",
language = "English",
isbn = "3540412859",
volume = "1955",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "399--416",
editor = "Andrei Voronkov and Michel Parigot",
booktitle = "Logic for Programming and Automated Reasoning - 7th International Conference, LPAR 2000, Proceedings",
address = "Germany",
}