Natural-Semantics-Based Abstract Interpretation (Preliminary Version)

Structural operational semantics as a basis for static program analysis

ACM Computing Surveys (CSUR)

From SOS rules to proof principles: an operational metatheory for functional languages

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Data flow analysis is model checking of abstract interpretations

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

From polyvariant flow information to intersection and union types

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Trace-Based Abstract Interpretation of Operational Semantics

Lisp and Symbolic Computation

Scalable propagation-based call graph construction algorithms

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Faithful Translations between Polyvariant Flows and Polymorphic Types

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems

A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

Structure-preserving binary relations for program abstraction

The essence of computation

Modular control-flow analysis with rank 2 intersection types

Mathematical Structures in Computer Science

From Polyvariant flow information to intersection and union types

Journal of Functional Programming

Applications of polyhedral computations to the analysis and verification of hardware and software systems

Theoretical Computer Science

Control-flow analysis of functional programs

ACM Computing Surveys (CSUR)