3 citations · 7 across the 9 of their papers we have counts for
1 paper · 2 filters
Yasmin Sarita, Avaljot Singh, Shaurya Gomber +2
Synthesizing ranking functions is a common technique for proving the termination of loops. A ranking function must be bounded and decrease by a specified amount with each iteration…