Formal Methods Applied to a Floating Point Number System
The work
| Authors | Geoff Barrett |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1987 |
| Citekey | barrett1987formal |
Where it appeared
| Publisher | Oxford University Computing Laboratory, Programming Research Group |
|---|---|
| Number in series | PRG-58 |
| School | Oxford University Computing Laboratory, Programming Research Group |
Access
| Landing page | https://www.cs.ox.ac.uk/publications/publication3380-abstract.html |
|---|---|
| Free full text | https://www.cs.ox.ac.uk/files/3380/PRG58.pdf |
Abstract
This report presents a formalisation of the IEEE standard for binary floating-point arithmetic and proofs of procedures to perform non-exceptional arithmetic calculations.
A copy is held
pdf, 1.1 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-15 18:23 UTC |
| Approved by | a person 2026-09-15 18:37 UTC |
Filed under
Cite it as
@techreport{barrett1987formal,
title = {Formal Methods Applied to a Floating Point Number System},
author = {Geoff Barrett},
year = {1987},
publisher = {Oxford University Computing Laboratory, Programming Research Group},
school = {Oxford University Computing Laboratory, Programming Research Group},
}
This record lives at https://refs.drheap.org/barrett1987formal/ and will keep doing so.