Static Contract Checking with Abstract Interpretation.

Manuel Fähndrich Francesco Logozzo

Published in: FoVeOOS (2010)

Keyphrases

abstract interpretation
dynamic analysis
static analysis
termination analysis
reverse engineering
active rules
active databases
reasoning engine
database
databases
relational databases
management system
business rules