Sign in

Termination analysis for evolving programs: an incremental approach by reusing certified modules.

Fei HeJitao 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