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.

• Type: Conference
• Year: 1998
• Where: ICLP
• Authors: Michael Leuschel
• Keywords: Abstract Interpretation, Automated Reasoning, Generic Abstract Specialisation, ICLP 1998, Program Specialisation