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

zbMatharXiv:1608.05787MaRDI QIDQ6512011

Martin Ziegler, Gyesik Lee, Sunyoung Kim, Franz Brauße, Norbert Preining, Norbert Th. Müller, Se Won Park, Michal Konečný, Peter J. Collins, Eike Neumann

Publication date: 1 January 1

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of data (68Pxx) Theory of computing (68Qxx) Theory of software (68Nxx) Computer aspects of numerical algorithms (65Y99)

This page was built for publication: Semantics, Specification Logic, and Hoare Logic of Exact Real Computation