Login / Signup

Symbolic termination analysis of solvable loops.

Ming XuZhi-Bin Li
Published in: J. Symb. Comput. (2013)
Keyphrases
  • termination analysis
  • active rules
  • active databases
  • abstract interpretation
  • integrity constraints
  • object oriented databases
  • information systems
  • deductive databases