Joël Ouaknine

Termination Analysis of Linear-Constraint Programs

This paper aims to provide an overview of techniques in termination analysis for programs with numerical variables and transitions defined by linear constraints. This subarea of program analysis is challenging due to the existence of undecidable problems, and this paper systematically explores approaches that mitigate...