4 papers
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…
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…
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…
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools
Jesús Doménech, Samir Genaim, Einar Broch Johnsen +1
In this paper we describe EasyInterface, an open-source toolkit for rapid development of web-based graphical user interfaces (GUIs). This toolkit addresses the need of researchers…