A generic framework for the analysis and specialization of logic programs

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:
  • Puebla Sánchez, Alvaro Germán
  • Albert Albiol, Elvira
  • Hermenegildo, Manuel V.
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

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (51kB) | Preview

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

TypeCodeAcronymLeaderTitle
Government of SpainMCYT TIC 2002-0055CUBICOUnspecifiedUnspecified

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
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM