Complementation in abstract interpretation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making abstract interpretations complete
Journal of the ACM (JACM)
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
Logical optimality of groundness analysis
Theoretical Computer Science
Abstract interpretation based verification of logic programs
Science of Computer Programming
Transforming semantics by abstract interpretation
Theoretical Computer Science
Control Code Obfuscation by Abstract Interpretation
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Hi-index | 0.00 |