Termination Analysis of Programs with Multiphase Control-Flow.

Jesús J. Doménech Samir Genaim

Published in: HCVS@ETAPS (2021)

Keyphrases

control flow
active rules
termination analysis
data flow
abstract interpretation
software testing
process model
modeling language
information systems
workflow management systems
databases
knowledge base
data model
object oriented
query evaluation
active databases