Jesús J. Doménech | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

John P. Gallagher
14 publications
Samir Genaim
4 publications
Amir M. Ben-Amram
3 publications

research

∙ 09/10/2021

Termination Analysis of Programs with Multiphase Control-Flow

Programs with multiphase control-flow are programs where the execution p...

0 Jesús J. Doménech, et al. ∙

research

∙ 07/29/2019

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Control-flow refinement refers to program transformations whose purpose ...

0 Jesús J. Doménech, et al. ∙

research

∙ 11/18/2018

Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets

Multiphase ranking functions (MΦRFs) are tuples 〈 f_1,...,f_d 〉 of linea...

0 Amir M. Ben-Amram, et al. ∙