A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.

Jan Midtgaard Thomas P. Jensen

Published in: SAS (2008)

Keyphrases

flow analysis
abstract interpretation
information flow
case study
databases
intelligent agents
model checking
static analysis
termination analysis