A formal analysis of the compact position reporting algorithm

DOI10.1007/978-3-319-72308-2_2zbMath1403.68324OpenAlexW2771091716MaRDI QIDQ1630022

Laura Titolo, Aaron Dutle, Mariano M. Moscato, César A. Muñoz

Publication date: 7 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72308-2_2

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Related Items (4)

A two-phase approach for conditional floating-point verification ⋮ Deductive verification of floating-point Java programs in KeY ⋮ Formal analysis of the compact position reporting algorithm ⋮ A formally verified floating-point implementation of the compact position reporting algorithm

This page was built for publication: A formal analysis of the compact position reporting algorithm