icon-carat-right menu search cmu-wordmark

Using XML to Exchange Floating Point Data

White Paper
This paper explains issues of using XML to exchange floating point values, how to address them, and the limits of technology to enforce a correct implementation.
Publisher

Software Engineering Institute

Abstract

This short paper explains some issues that arise when XML is used to exchange floating point values, how to address those issues, and the limits of technology to enforce a correct implementation. We begin by specifying the problem to be solved and the correctness conditions of a solution. We then provide brief background on the relevant aspects of XML and floating point data arithmetic. We conclude by describing how to solve the problem using the features of several programming languages.