Termination analysis without the tears.

Shaowei Zhu Zachary Kincaid

Published in: PLDI (2021)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
object oriented databases
database
databases
database technology
relational databases
object oriented
distributed systems
software development
control flow