179
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...