Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (51kB) | Preview |
A generic framework for the analysis and specialization of logic programs
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 logic programs. In: "21st International Conference on Logic Programming (ICLP 2005)", 2-5 Oct 2005, Sitges, España. pp. 407-409. https://doi.org/10.1007/11562931_32.
Description
| Title: | A generic framework for the analysis and specialization of logic programs |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | 21st International Conference on Logic Programming (ICLP 2005) |
| Event Dates: | 2-5 Oct 2005 |
| Event Location: | Sitges, España |
| Title of Book: | Logic Programming: 21st International Conference on Logic Programming (ICLP 2005) |
| Date: | 2005 |
| Volume: | 3668 |
| Subjects: | |
| Faculty: | E.T.S. de Ingenieros Informáticos (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
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.
Funding Projects
| Type | Code | Acronym | Leader | Title |
|---|---|---|---|---|
| Government of Spain | MCYT TIC 2002-0055 | CUBICO | Unspecified | Unspecified |
More information
| Item ID: | 55436 |
|---|---|
| DC Identifier: | http://oa.upm.es/55436/ |
| OAI Identifier: | oai:oa.upm.es:55436 |
| DOI: | 10.1007/11562931_32 |
| Official URL: | https://link.springer.com/content/pdf/10.1007%2F11562931_32.pdf |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 12 Jun 2019 09:58 |
| Last Modified: | 12 Jun 2019 09:58 |
