Login / Signup

Automatic Termination Analysis of Programs Containing Arithmetic Predicates.

Nachum DershowitzNaomi LindenstraussYehoshua SagivAlexander Serebrenik
Published in: Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
  • termination analysis
  • abstract interpretation
  • active rules
  • active databases
  • information systems
  • object oriented databases
  • business rules