Title: Improving abstract interpretations by combining domains
Authors: Codish, Michael ×
Mulkers, Anne
Bruynooghe, Maurice
Garcia de la Banda, Maria
Hermenegildo, Manuel #
Issue Date: Jan-1995
Publisher: Association for Computing Machinery
Series Title: ACM transactions on programming languages and systems vol:17 issue:1 pages:28-44
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 (1) proofs of correctness for the new domains are not required and (2) implementations can be reused. The approach it; 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.

ISSN: 0164-0925
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science