Small Witnesses for Abstract Interpretation-Based Proofs.

Frédéric Besson Thomas P. Jensen Tiphaine Turpin

Published in: ESOP (2007)

Keyphrases

abstract interpretation
termination analysis
database
static analysis
active rules
database systems
mobile devices
theorem prover