Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (131kB) | Preview |
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.
Title: | A generic framework for the analysis and specialization of kogic programs |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | 21st International Conference, ICLP 2005 |
Event Dates: | October 2-5, 2005 |
Event Location: | Sitges, Spain |
Title of Book: | Logic Programming |
Date: | 2005 |
ISBN: | 9783540292081 |
Volume: | 3668 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (131kB) | Preview |
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.
Item ID: | 14358 |
---|---|
DC Identifier: | https://oa.upm.es/14358/ |
OAI Identifier: | oai:oa.upm.es:14358 |
Official URL: | http://link.springer.com/chapter/10.1007%2F1156293... |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 25 Jan 2013 08:08 |
Last Modified: | 21 Apr 2016 13:59 |