A logical model for relational abstract domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
A characterization of symmetric semantics by domain complementation
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Compositionality in the puzzle of semantics
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Abstract Compilation for Sharing Analysis
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Pair-independence and freeness analysis through linear refinement
Information and Computation
Non-Standard Semantics for Program Slicing
Higher-Order and Symbolic Computation
Transforming semantics by abstract interpretation
Theoretical Computer Science
Goal-directed weakening of abstract interpretation results
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Widening and narrowing operators for abstract interpretation
Computer Languages, Systems and Structures
Static analysis, abstract interpretation and verification in (constraint logic) programming
A 25-year perspective on logic programming
Underapproximating predicate transformers
SAS'06 Proceedings of the 13th international conference on Static Analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
A relational abstraction for functions
SAS'05 Proceedings of the 12th international conference on Static Analysis
| Hi-index | 5.23 |