Abstract
In this paper we consider static analyses based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains potentially provide more information than obtainable by performing the independent abstract interpretations. However, the construction of a combined analysis often requires redefining the basic operations for the combined domain. We demonstrate for logic programs that in practice it is possible to obtain precision in a combined analysis without redefining the basic operations. We also propose a way of performing the combination which can be more precise than the straightforward application of the classical `reduced product' approach, while keeping the original components of the basic operations. The advantage of the approach is that proofs of correctness for the new domains are not required and implementations can be reused. We illustrate our results 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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 1993 ACM SIGPLAN Symposium on Partial Evaluation Semantics-Based Program Manipulation |
Publisher | Association for Computing Machinery (ACM) |
Pages | 194-205 |
Number of pages | 12 |
ISBN (Print) | 0897915941, 9780897915946 |
DOIs | |
State | Published - 1 Jan 1993 |
Externally published | Yes |
Event | Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation - Copenhagen, Den Duration: 14 Jun 1993 → 16 Jun 1993 |
Conference
Conference | Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation |
---|---|
City | Copenhagen, Den |
Period | 14/06/93 → 16/06/93 |
ASJC Scopus subject areas
- General Engineering