Complementation in abstract interpretation
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
Transforming semantics by abstract interpretation
Theoretical Computer Science
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Static analysis, abstract interpretation and verification in (constraint logic) programming
A 25-year perspective on logic programming
Hi-index | 0.00 |