The Real Numbers in Z

Exact real number computation is a fast growing field with applications varying from debugging to specification of numerical to program. We present a specification of the real numbers represented as infinite lists of signed digits in Z. The expressive power and closeness to usual set theoretical mathematical notation gives us a clean and readable specification which is further directly implementable. A comparison with other formal methods is given together with a partial proof that the object being specified is actually the real numbers.

Content

Author and article information

Conference

Publication date: July 1997

Publication date (Print): July 1997

Pages: 1-15

Affiliations

[0001]Departamento de Informáatica, Universidade Federal de Pernambuco

Recife-PE, Brazil

Article

DOI: 10.14236/ewic/FA1997.13

SO-VID: 1405b230-f9d9-451d-9d4a-6019567d8398

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the 2nd BCS-FACS Northern Formal Methods

Conference acronym: FM

Conference number: 2

Conference location: Ilkley

Conference date: 14-15 July 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Northern Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1997.13

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

The Real Numbers in Z

Abstract