Abstract interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis

Authors:
Agostino Cortesi;Gilbert Filé
Affiliations:
Dept. of Mathematics, University of Padova, Via Belzoni 7, I-35131 Padova, Italy;Dept. of Mathematics, University of Padova, Via Belzoni 7, I-35131 Padova, Italy
Venue:
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Year:
1991

A general framework for semantics-based bottom-up abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
A symbolic constraint solving framework for analysis of logic programs

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Freeness Analysis Through Linear Refinement

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Parameterizing a Groundness Analysis of Logic Programs

SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Sequence-based abstract interpretation of Prolog

Theory and Practice of Logic Programming
Non-strict independence-based program parallelization using sharing and freeness information

Theoretical Computer Science
Pair-sharing analysis of object-oriented programs

SAS'05 Proceedings of the 12th international conference on Static Analysis

Hi-index	0.00