Certificate Translation in Abstract Interpretation.

Gilles Barthe César Kunz

Published in: ESOP (2008)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
reasoning engine
dynamic analysis
active databases
database
databases
case study
relational databases
database applications
fine grained