Syntax-Guided Termination Analysis.

Grigory Fedyukovich Yueling Zhang Aarti Gupta

Published in: CAV (1) (2018)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
high level
integrity constraints
database
relational databases
database technology
business rules