Login / Signup

Termination Analysis with Compositional Transition Invariants.

Daniel KroeningNatasha SharyginaAliaksei TsitovichChristoph M. Wintersteiger
Published in: CAV (2010)
Keyphrases
  • termination analysis
  • active rules
  • active databases
  • abstract interpretation
  • database
  • databases
  • relational databases
  • object oriented databases
  • software engineering
  • database applications
  • integrity constraints