Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses.

Published in: SAS (2001)

Keyphrases

graphical representation
formal semantics
decision making
logic programming
conceptual model
semantic information
databases
data mining
machine learning
decision trees
software tools
analysis tool