On Multiphase-Linear Ranking Functions

Amir M. Ben-Amram, Samir Genaim

Multiphase ranking functions ($M\Phi RFs$) were proposed as a means to prove the termination of a loop in which the computation progresses through a number of "phases", and th…