Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (131kB) | Vista Previa |
A generic framework for the analysis and specialization of kogic programs
Cita
Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(2005).
A generic framework for the analysis and specialization of kogic programs.
En: "21st International Conference, ICLP 2005", October 2-5, 2005, Sitges, Spain. ISBN 9783540292081.
ORCID: https://orcid.org/0000-0002-7583-323X
(2005).
A generic framework for the analysis and specialization of kogic programs.
En: "21st International Conference, ICLP 2005", October 2-5, 2005, Sitges, Spain. ISBN 9783540292081.
Descripción
| Título: | A generic framework for the analysis and specialization of kogic programs |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 21st International Conference, ICLP 2005 |
| Fechas del Evento: | October 2-5, 2005 |
| Lugar del Evento: | Sitges, Spain |
| Título del Libro: | Logic Programming |
| Fecha: | 2005 |
| ISBN: | 9783540292081 |
| Volumen: | 3668 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
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.
Más información
| ID de Registro: | 14358 |
|---|---|
| Identificador DC: | https://oa.upm.es/14358/ |
| Identificador OAI: | oai:oa.upm.es:14358 |
| URL Oficial: | http://link.springer.com/chapter/10.1007%2F1156293... |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 25 Ene 2013 08:08 |
| Ultima Modificación: | 21 Abr 2016 13:59 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
