title: A generic framework for the analysis and specialization of kogic programs
creator: Puebla Sánchez, Alvaro Germán
creator: Albert Albiol, Elvira
creator: Hermenegildo, Manuel V.
subject: Computer Science
description: The relationship between abstract interpretation [2] and partial evaluation [5] has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction (see e.g. [6] and its references) and abstract interpretation perspectives. Abstract interpretation-based analyzers (such as the CiaoPP analyzer [9,4]) generally compute a program analysis graph [1] in order to propagate (abstract) call and success information by performing fixpoint computations when needed. On the other hand, partial deduction methods [7] incorporate powerful techniques for on-line specialization including (concrete) call propagation and unfolding.
publisher: Facultad de Informática (UPM)
rights: https://creativecommons.org/licenses/by-nc-nd/3.0/es/
date: 2005
type: info:eu-repo/semantics/conferenceObject
type: Presentation at Congress or Conference
source: Logic Programming | 21st International Conference, ICLP 2005 | October 2-5, 2005 | Sitges, Spain
type: PeerReviewed
format: application/pdf
language: eng
relation: http://link.springer.com/chapter/10.1007%2F11562931_32?LI=true
rights: info:eu-repo/semantics/openAccess
identifier: https://oa.upm.es/14358/