A generic framework for the analysis and specialization of kogic programs

Puebla Sánchez, Alvaro Germán; Albert Albiol, Elvira y Hermenegildo, Manuel V. (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:
  • Puebla Sánchez, Alvaro Germán
  • Albert Albiol, Elvira
  • Hermenegildo, Manuel V.
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:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (131kB) | Vista Previa

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: http://oa.upm.es/14358/
Identificador OAI: oai:oa.upm.es:14358
URL Oficial: http://link.springer.com/chapter/10.1007%2F11562931_32?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 25 Ene 2013 08:08
Ultima Modificación: 21 Abr 2016 13:59
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM