Lifted termination analysis by abstract interpretation and its applications.

Aleksandar S. Dimovski

Published in: GPCE (2021)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
integrity constraints
databases
composite events
database
case study
software development
model checking
deductive databases
static analysis