Login / Signup
Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage.
Giuseppe Amato
Fosca Giannotti
Gianni Mainetto
Published in:
FMLDO (1993)
Keyphrases
</>
abstract interpretation
static analysis
dynamic analysis
source code
termination analysis
database
databases
regular expressions
building blocks
software systems
pattern matching
model checking
test suite