Title: Logic program specialisation: How to be more specific
Authors: Leuschel, M ×
De Schreye, Danny #
Issue Date: 1997
Publisher: Springer-verlag berlin
Host Document: Logic program synthesis and transformation vol:1207 pages:58-58
Conference: Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96 location:Stockholm, Sweden date:August 28-30, 1996
Abstract: Standard partial deduction suffers from several drawbacks when compared to top-down abstract interpretation schemes, Conjunctive partial deduction, an extension of standard partial deduction, remedies one of those, namely the lack of side-ways information passing. But two other problems remain: the lack of success-propagation as well as the lack of inference of global success-information. We illustrate these drawbacks and show how they can be remedied by combining conjunctive partial deduction with an abstract interpretation technique known as more specific program construction. We present a simple, as well as a more refined integration of these methods. Finally we illustrate the practical relevance of this approach for some advanced applications, where it surpasses the precision of current abstract interpretation techniques.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
chp%3A10.1007%2F3-540-62718-9_4.pdf Published 42KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science