Improving abstract interpretations by combining domains

Bruynooghe, Maurice; Codish, Michael; García de la Banda, M.; Hermenegildo, Manuel V. y Mulkers, Anne (1995). Improving abstract interpretations by combining domains. "ACM transactions on programming languages and systems", v. 17 (n. 1); pp. 28-44.

Descripción

Título: Improving abstract interpretations by combining domains
Autor/es:
  • Bruynooghe, Maurice
  • Codish, Michael
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
  • Mulkers, Anne
Tipo de Documento: Artículo
Título de Revista/Publicación: ACM transactions on programming languages and systems
Fecha: 1995
Volumen: 17
Materias:
Palabras Clave Informales: Abstract interpretation,logic programming,program analysis, interpretación abstracta, programación lógica, análisis de programas
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

This article considers static analysis based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains provide more information potentially than obtained by the independent analyses. However, the construction of a combined analysis often requires redefining the basic operations for the combined domain. A practical approach to maintain precision in combined analyses of logic programs which reuses the individual analyses and does not redefine the basic operations is illustrated. The advantages of the approach are that proofs of correctness for the new domains are not required and implementations can be reused. The approach is demonstrated by showing that a combined sharing analysis — constructed from "old" proposals — compares well with other "new" proposals suggested in recent literature both from the point of view of efficiency and accuracy.

Más información

ID de Registro: 13721
Identificador DC: http://oa.upm.es/13721/
Identificador OAI: oai:oa.upm.es:13721
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 17 Oct 2012 10:45
Ultima Modificación: 21 Abr 2016 13:03
  • 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