Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021
Termination Analysis of Programs with Multiphase Control-Flow
Jesús J. Domenech, Samir Genaim
Programs with multiphase control-flow are programs where the execution passes through several (possibly implicit) phases. Proving termination of such programs (or inferring corresp…
cs.PL2019
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
Jesús J. Doménech, John P. Gallagher, Samir Genaim
Control-flow refinement refers to program transformations whose purpose is to make implicit control-flow explicit, and is used in the context of program analysis to increase precis…
cs.PL2018
Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets
Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim
Multiphase ranking functions (MRFs) are tuples of linear functions that are often used to prove termination of loops in which the computation pr…