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
Sharing and groundness dependencies in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making abstract interpretations complete
Journal of the ACM (JACM)
Set-sharing is redundant for pair-sharing
Theoretical Computer Science
A Foundation of Escape Analysis
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Class Analysis of Object-Oriented Programs through Abstract Interpretation
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Measuring the Precision of Abstract Interpretations
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Freeness Analysis Through Linear Refinement
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Decomposing Non-redundant Sharing by Complementation
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
The Def-inite Approach to Dependency Analysis
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Quotienting Share for Dependency Analysis
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Theory and Practice of Logic Programming
Finite-tree analysis for constraint logic-based languages
Information and Computation
Deriving escape analysis by abstract interpretation
Higher-Order and Symbolic Computation
Goal-directed weakening of abstract interpretation results
ACM Transactions on Programming Languages and Systems (TOPLAS)
Widening and narrowing operators for abstract interpretation
Computer Languages, Systems and Structures
The PER model of abstract non-interference
SAS'05 Proceedings of the 12th international conference on Static Analysis
Observational Completeness on Abstract Interpretation
Fundamenta Informaticae - Logic, Language, Information and Computation
| Hi-index | 5.23 |