An SMT-based Approach to Fair Termination Analysis.

Javier Esparza Philipp J. Meyer

Published in: FMCAD (2015)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
management system
database
integrity constraints
deductive databases