On the linear ranking problem for simple floating-point loops

DOI10.1007/978-3-662-53413-7_15zbMath1394.68079OpenAlexW2510847956MaRDI QIDQ1664396

Frédéric Mesnard, Étienne Payet, Fonenantsoa Maurica

Publication date: 27 August 2018

Full work available at URL: https://hal.univ-reunion.fr/hal-01451688/file/sas16.pdf

zbMATH Keywords

termination analysisfloating-point numberslinear ranking functions

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: On the linear ranking problem for simple floating-point loops