C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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