Title: Program Specialisation and Abstract interpretation Reconciled
Authors: Leuschel, Michael # ×
Issue Date: Jan-1998
Host Document: Joint International Conference and Symposium on Logic Programming (JICSLP'98) pages:220-234
Conference: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98) location:Manchester, U.K. date:27-30 March 1994
Abstract: We clarify the relationship between abstract interpretation and
program specialisation in the context of logic programming. We
present a generic top-down abstract specialisation fram ework, along
with a generic correctness result, into which a lot of the existing
specialisation techniques can be cast. The framework also shows how
these techniques can be further improved by moving to m ore refined
abstract domains. It, however, also highlights inherent limitations
shared by al l these approaches. In order to overcome them, and to
fully unify program specialisation with abstract interpretation, we
also develop a generic combined bottom-up/top-down framework, which
allows specialisation and analysis outside the reach of existing
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
CW259.pdf Published 345KbAdobe PDFView/Open


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

© Web of science