Flow Logics for Constraint Based Analysis

Validating firewalls using flow logics

Theoretical Computer Science

Interprocedural Control Flow Analysis

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems

Flow logic: a multi-paradigmatic approach to static analysis

The essence of computation

Static validation of security protocols

Journal of Computer Security

Extracting a data flow analyser in constructive logic

Theoretical Computer Science - Applied semantics: Selected topics

What is a pure functional?

ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II

Control-flow analysis of functional programs

ACM Computing Surveys (CSUR)

Bidirectional data flow analysis for type inferencing

Computer Languages, Systems and Structures