Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form

Formal language, grammar and set-constraint-based program analysis by abstract interpretation

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Program analysis: the abstract interpretation perspective

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

Types as abstract interpretations

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

Making abstract interpretations complete

Journal of the ACM (JACM)

Interprocedural exception analysis for Java

Proceedings of the 2001 ACM symposium on Applied computing

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Theoretical Computer Science

A cost-effective estimation of uncaught exceptions in standard ML programs

Theoretical Computer Science

Parsing as abstract interpretation of grammar semantics

Theoretical Computer Science

Static Monotonicity Analysis for lambda-definable Functions over Lattices

VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation

Modular Static Program Analysis

CC '02 Proceedings of the 11th International Conference on Compiler Construction

An uncaught exception analysis for Java

Journal of Systems and Software

Static extensivity analysis for λ-definable functions over lattices

New Generation Computing

Bi-inductive Structural Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)

Bi-inductive structural semantics

Information and Computation

Points-to analysis for JavaScript

Proceedings of the 2009 ACM symposium on Applied Computing

Configurable software verification: concretizing the convergence of model checking and program analysis

CAV'07 Proceedings of the 19th international conference on Computer aided verification

Comparing completeness properties of static analyses and their logics

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems

A structural soundness proof for shivers's escape technique: a case for galois connections

SAS'12 Proceedings of the 19th international conference on Static Analysis