The Interval-Enhanced GNU Fortran Compiler

Michael J. Schulte (), Vitaly Zelov, Ahmet Akkas and James Craig Burley ()
Additional contact information
Michael J. Schulte: Lehigh University, EECS Dept.
Vitaly Zelov: Lehigh University, EECS Dept.
Ahmet Akkas: Lehigh University, EECS Dept.
James Craig Burley: Free Software Foundation

A chapter in Developments in Reliable Computing, 1999, pp 311-322 from Springer

Abstract: Abstract Compiler support for intervals as intrinsic data types is essential for promoting the development and wide-spread use of interval software. It also plays an important role in encouraging the development of hardware support for interval arithmetic. This paper describes modifications made to the GNU Fortran Compiler to provide support for interval arithmetic. These modifications are based on a recently proposed Fortran 77 Interval Arithmetic Specification, which provides a standard for supporting interval arithmetic in Fortran. This paper also describes the design of the compiler’s interval runtime libraries and the methodology used to test the compiler. The compiler and runtime libraries are designed to be portable to platforms that support the IEEE 754 floating point standard.

Keywords: Interval Arithmetic; Real Interval; Interval Constant; Machine Code; Empty Interval (search for similar items in EconPapers)
Date: 1999
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-94-017-1247-7_24

Ordering information: This item can be ordered from
http://www.springer.com/9789401712477

DOI: 10.1007/978-94-017-1247-7_24

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().