Termination Analysis of Integer Linear Loops

@inproceedings{Bradley2005TerminationAO,
  title={Termination Analysis of Integer Linear Loops},
  author={Aaron R. Bradley and Zohar Manna and Henny B. Sipma},
  booktitle={CONCUR},
  year={2005}
}
program: uint x, y Θ : x > 0 ∧ x%2 = 0 τ1 : x%3 = 0 ∧ x ′ = x − 2 ∧ y′ = y τ2 : x%3 6= 0 ∧ x ′ = x − x 2 ∧ y′ = y τ3 : y > x ∧ y ′ = y − x ∧ x′ = x 
Highly Cited
This paper has 104 citations. REVIEW CITATIONS

Topic

Statistics

051015'05'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

105 Citations

Semantic Scholar estimates that this publication has 105 citations based on the available data.

See our FAQ for additional information.