Abstract Interpretation from Improving WAM Code.

Dante Baldan Gilberto Filé

Published in: SAS (1997)

Keyphrases

abstract interpretation
static analysis
termination analysis
dynamic analysis
source code
active rules
case study
high level
knowledge representation
reverse engineering
data flow
reasoning engine