Login / Signup

Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation.

Zahira AmmarguellatWilliams Ludwell Harrison III
Published in: PLDI (1990)
Keyphrases
  • automatic recognition
  • abstract interpretation
  • termination analysis
  • static analysis
  • active rules
  • active databases
  • reasoning engine
  • model checking
  • database
  • databases