Completeness and predicate-based abstract interpretation
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Deriving algorithms from type inference systems: application to strictness analysis
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the relationship between formal semantics and static analysis
ACM Computing Surveys (CSUR)
Disjunctive program analysis for algebraic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inference of polymorphic and conditional strictness properties
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logical model for relational abstract domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
The essence of computation
Modular control-flow analysis with rank 2 intersection types
Mathematical Structures in Computer Science
Abstract Interpretation from a Topological Perspective
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Inverse-limit and topological aspects of abstract interpretation
Theoretical Computer Science
Hi-index | 0.00 |