On the Relationship Between Formal Semantics and Static Analysis.

Published in: ACM Comput. Surv. (1996)

Keyphrases

formal semantics
static analysis
dynamic analysis
source code
first order logic
operational semantics
symbolic execution
regular expressions
java card
modeling language
formal language
logical language
logical reasoning
modelling language
abstract interpretation
theorem prover
databases