arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Jesús J. Doménech"" — arXiv2 Search
Showing 1–3 of 3 results
/ Date
/ Name
Sep 10, 2021
Termination Analysis of Programs with Multiphase Control-Flow
Nov 18, 2018
Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets
Jul 29, 2019
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis