Improving abstract interpretations by combining domains

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

Description

Title: Improving abstract interpretations by combining domains
Author/s:
  • Bruynooghe, Maurice
  • Codish, Michael
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
  • Mulkers, Anne
Item Type: Article
Título de Revista/Publicación: ACM transactions on programming languages and systems
Date: 1995
Volume: 17
Subjects:
Freetext Keywords: Abstract interpretation,logic programming,program analysis, interpretación abstracta, programación lógica, análisis de programas
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 (1MB) | Preview

Abstract

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.

More information

Item ID: 13721
DC Identifier: http://oa.upm.es/13721/
OAI Identifier: oai:oa.upm.es:13721
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 17 Oct 2012 10:45
Last Modified: 21 Apr 2016 13:03
  • 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