Ranking Templates for Linear Loops

@article{Leike2014RankingTF,
  title={Ranking Templates for Linear Loops},
  author={Jan Leike and Matthias Heizmann},
  journal={Logical Methods in Computer Science},
  year={2014},
  volume={11}
}
We present a new method for the constraint-based synthesis of termination arguments for linear loop programs based on linear ranking templates. Linear ranking templates are parameterized, well-founded relations such that an assignment to the parameters gives rise to a ranking function. Our approach generalizes existing methods and enables us to use… CONTINUE READING

1 Figure or Table

Topics

Statistics

051015201620172018
Citations per Year

Citation Velocity: 10

Averaging 10 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.