Structural operational semantics as a basis for static program analysis

A framework for construction and evaluation of high-level specifications for program analysis techniques

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation

Semantics with applications: a formal introduction

Semantics with applications: a formal introduction

Inductive definitions, semantics and abstract interpretations

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Automatic generation and management of interprocedural program analyses

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Natural-Semantics-Based Abstract Interpretation (Preliminary Version)

SAS '95 Proceedings of the Second International Symposium on Static Analysis