A logical model for relational abstract domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Non pair-sharing and freeness analysis through linear refinement
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Compositionality in the puzzle of semantics
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Abstract Domains for Universal and Existential Properties
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Analysis of Downward Closed Properties of Logic Programs
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
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
Transforming semantics by abstract interpretation
Theoretical Computer Science
| Hi-index | 0.00 |