Title | ||
---|---|---|
The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint Loops |
Abstract | ||
---|---|---|
Termination of loop programs has received extensive attention in these years. In this paper, we focus on the termination of single-path linear constraint loops. For single-path linear constraint loops which have no linear ranking functions or eventual linear ranking functions, we present a complete method to detect the existence of l-depth eventual linear ranking functions. Our method extends the work of Bagnara and Mesnard. The prototype of our method has been implemented and the effectiveness of our method has been shown by experimental results. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/TASE.2016.8 | 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) |
Keywords | Field | DocType |
Termination Analysis,L-depth Eventual Linear Ranking Functions,Single-path Linear Constraint Loop Programs,RegularChains | Mathematical optimization,Ranking,Complete Method,Computer science,Algorithm,Termination analysis | Conference |
ISBN | Citations | PageRank |
978-1-5090-1765-2 | 0 | 0.34 |
References | Authors | |
9 | 3 |