Programs with multiphase control-flow are programs where the execution p...
In order to automatically infer the resource consumption of programs,
an...
Control-flow refinement refers to program transformations whose purpose ...
Multiphase ranking functions (MΦRFs) are tuples 〈 f_1,...,f_d
〉 of linea...