eprintid: 14358
rev_number: 16
eprint_status: archive
userid: 2047
dir: disk0/00/01/43/58
datestamp: 2013-01-25 08:08:52
lastmod: 2016-04-21 13:59:29
status_changed: 2013-01-25 08:08:52
type: conference_item
metadata_visibility: show
item_issues_count: 0
creators_name: Puebla Sánchez, Alvaro Germán
creators_name: Albert Albiol, Elvira
creators_name: Hermenegildo, Manuel V.
title: A generic framework for the analysis and specialization of kogic programs
ispublished: pub
subjects: informatica
abstract: 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.
date: 2005
date_type: published
publisher: Springer Berlin Heidelberg
official_url: http://link.springer.com/chapter/10.1007%2F11562931_32?LI=true
full_text_status: public
pres_type: paper
volume: 3668
place_of_pub: Heidelberg, Alemania
pages: 458
event_title: 21st International Conference, ICLP 2005
event_location: Sitges, Spain
event_dates: October 2-5, 2005
event_type: conference
institution: Informatica
department: Inteligencia_Artificial
refereed: TRUE
isbn: 9783540292081
book_title: Logic Programming
rights: by-nc-nd
citation:   Puebla Sánchez, Alvaro Germán and Albert Albiol, Elvira and Hermenegildo, Manuel V.  (2005).  A generic framework for the analysis and specialization of kogic programs.  In: "21st International Conference, ICLP 2005", October 2-5, 2005, Sitges, Spain. ISBN 9783540292081.    
document_url: https://oa.upm.es/14358/1/HERME_ARC_2005-2.pdf