A Logic-Based Approach to Program Flow Analysis.

Shmuel Sagiv Nissim Francez Michael Rodeh Reinhard Wilhelm

Published in: Acta Informatica (1998)

Keyphrases

flow analysis
information flow
multi valued
classical logic
predicate logic
forensic analysis
set theory
control program
functional programs
data sets
decision making
modal logic
static analysis
program execution
proof theory
sound and complete axiomatization