A generic framework for the analysis and specialization of logic programs

Puebla Sánchez, Alvaro Germán; Albert Albiol, Elvira y Hermenegildo, Manuel V. (2005). A generic framework for the analysis and specialization of logic programs. En: "15th Workshop on Logic-based methods in Programming Environments WLPE'05", October 5, 2005, Sitges, Spain.

Descripción

Título: A generic framework for the analysis and specialization of logic 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: 15th Workshop on Logic-based methods in Programming Environments WLPE'05
Fechas del Evento: October 5, 2005
Lugar del Evento: Sitges, Spain
Título del Libro: Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05
Fecha: Octubre 2005
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 (1MB) | Vista Previa

Resumen

The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives. In this work we present what we argüe is the first fully described generic algorithm for efñcient and precise integration of abstract interpretation and partial deduction. Taking as starting point state-of-the-art algorithms for context-sensitive, polyvariant abstract interpretation and (abstract) partial deduction, we present an algorithm which combines the best of both worlds. Key ingredients include the accurate success propagation inherent to abstract interpretation and the powerful program transformations achievable by partial deduction. In our algorithm, the calis which appear in the analysis graph are not analyzed w.r.t. the original definition of the procedure but w.r.t. specialized definitions of these procedures. Such specialized definitions are obtained by applying both unfolding and abstract executability. Our framework is parametric w.r.t. different control strategies and abstract domains. Different combinations of such parameters correspond to existing algorithms for program analysis and specialization. Simultaneously, our approach opens the door to the efñcient computation of strictly more precise results than those achievable by each of the individual techniques. The algorithm is now one of the key components of the CiaoPP analysis and specialization system.

Más información

ID de Registro: 14611
Identificador DC: http://oa.upm.es/14611/
Identificador OAI: oai:oa.upm.es:14611
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 09 Mar 2013 08:25
Ultima Modificación: 21 Abr 2016 14:21
  • 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