Login / Signup
Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation.
Zahira Ammarguellat
Williams 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