Object analysis of program

The C programming language

The C programming language

The program summary graph and flow-sensitive interprocedual data flow analysis

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation

Analysis of pointers and structures

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

A safe approximate algorithm for interprocedural aliasing

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

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

Flow Analysis of Computer Programs

Flow Analysis of Computer Programs

A precise inter-procedural data flow algorithm

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The theory of parsing, translation, and compiling

The theory of parsing, translation, and compiling

Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity

PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming

Unified Algebras and Action Semantics

STACS '89 Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science