Multivariant non-failure analysis via standard abstract interpretation

Bueno Carrillo, Francisco and López García, Pedro and Hermenegildo, Manuel V. (2004). Multivariant non-failure analysis via standard abstract interpretation. In: "7th International Symposium, FLOPS 2004", April 7-9, 2004, Nara, Japan. ISBN 9783540214021.

Description

Title: Multivariant non-failure analysis via standard abstract interpretation
Author/s:
  • Bueno Carrillo, Francisco
  • López García, Pedro
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 7th International Symposium, FLOPS 2004
Event Dates: April 7-9, 2004
Event Location: Nara, Japan
Title of Book: Functional and Logic Programming
Date: 2004
ISBN: 9783540214021
Volume: 2998
Subjects:
Faculty: Facultad de Informática (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 (957kB) | Preview

Abstract

Non-failure analysis aims at inferring that predicate calis in a program will never fail. This type of information has many applications in functional/logic programming. It is essential for determining lower bounds on the computational cost of calis, useful in the context of program parallelization, instrumental in partial evaluation and other program transformations, and has also been used in query optimization. In this paper, we re-cast the non-failure analysis proposed by Debray et al. as an abstract interpretation, which not only allows to investígate it from a standard and well understood theoretical framework, but has also several practical advantages. It allows us to incorpórate non-failure analysis into a standard, generic abstract interpretation engine. The analysis thus benefits from the fixpoint propagation algorithm, which leads to improved information propagation. Also, the analysis takes advantage of the multi-variance of the generic engine, so that it is now able to infer sepárate non-failure information for different cali patterns. Moreover, the implementation is simpler, and allows to perform non-failure and covering analyses alongside other analyses, such as those for modes and types, in the same framework. Finally, besides the precisión improvements and the additional simplicity, our implementation (in the Ciao/CiaoPP multiparadigm programming system) also shows better efRciency.

More information

Item ID: 14375
DC Identifier: http://oa.upm.es/14375/
OAI Identifier: oai:oa.upm.es:14375
Official URL: http://www.springer.com/computer/swe/book/978-3-540-21402-1
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 30 Jan 2013 07:26
Last Modified: 21 Apr 2016 14:01
  • 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