Multivariant non-failure analysis via standard abstract interpretation

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

Descripción

Título: Multivariant non-failure analysis via standard abstract interpretation
Autor/es:
  • Bueno Carrillo, Francisco
  • López García, Pedro
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 7th International Symposium, FLOPS 2004
Fechas del Evento: April 7-9, 2004
Lugar del Evento: Nara, Japan
Título del Libro: Functional and Logic Programming
Fecha: 2004
ISBN: 9783540214021
Volumen: 2998
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 (957kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14375
Identificador DC: http://oa.upm.es/14375/
Identificador OAI: oai:oa.upm.es:14375
URL Oficial: http://www.springer.com/computer/swe/book/978-3-540-21402-1
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 30 Ene 2013 07:26
Ultima Modificación: 21 Abr 2016 14:01
  • 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