Semantics, Specification Logic, and Hoare Logic of Exact Real Computation

We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic processing of real numbers. In order to capture m...

Descripció completa

Dades bibliogràfiques

Autors principals:	Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, Martin Ziegler
Format:	Artigo
Idioma:	Inglês
Publicat:	Logical Methods in Computer Science e.V. 2024-06-01
Col·lecció:	Logical Methods in Computer Science
Matèries:	mathematics - numerical analysis computer science - logic in computer science 03b70, 65y99, 68p, 68n, 68q f.3.1 g.1.0 i.1.2
Accés en línia:	http://lmcs.episciences.org/7557/pdf
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!