Program Specialisation and Abstract Interpretation Reconciled

10 years 5 months ago
Program Specialisation and Abstract Interpretation Reconciled
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract interpretation and program specialisation in the context of logic programming. We present a generic abstract specialisation framework, 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 g to more refined abstract domains. It, however, also highlights inherent limitations shared by all these approaches. In order to overcome d 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 techniques.
Michael Leuschel
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ICLP
Authors Michael Leuschel
Comments (0)