Sign in
Termination analysis for evolving programs: an incremental approach by reusing certified modules.
Fei He
Jitao Han
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
termination analysis
abstract interpretation
active rules
active databases
control flow
database
query processing
integrity constraints
static analysis
object oriented databases
description language