C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Termination Analysis of Integer Linear Loops.
Aaron R. Bradley
Zohar Manna
Henny B. Sipma
Published in:
CONCUR (2005)
Keyphrases
</>
termination analysis
active rules
active databases
abstract interpretation
database
data mining