Abstract Interpretation Based Static Analysis Parameterized by Semantics.

Published in: SAS (1997)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
active rules
termination analysis
source code
formal semantics
java card
logic programming
regular expressions
active databases
semantic information
model checking
open source
test suite