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

Detalles Bibliográficos

Publicado en:	arXiv.org (Jun 21, 2024), p. n/a
Autor principal:	Park, Sewon
Otros Autores:	Brauße, Franz, Collins, Pieter, Kim, SunYoung, Konečný, Michal, Lee, Gyesik, Müller, Norbert, Neumann, Eike, Preining, Norbert, Ziegler, Martin
Publicado:	Cornell University Library, arXiv.org
Materias:	Linear equations Computation Semantics Mathematical models Program verification (computers) Floating structures Integers Rounding Imperative programming Floating point arithmetic Programming languages
Acceso en línea:	Citation/Abstract Full text outside of ProQuest
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!