Separate Abstract Interpretation for Control-Flow Analysis.

Yan Mei Tang Pierre Jouvelot

Published in: TACS (1994)

Keyphrases

flow analysis
abstract interpretation
information flow
termination analysis
data mining
knowledge representation
anomaly detection
model checking