Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!lll-winken!aunro!alberta!brazeau.ucs.ualberta.ca!unixg.ubc.ca!ubc-cs!fornax!bremner
From: bremner@cs.sfu.ca (David Bremner)
Newsgroups: comp.arch
Subject: Re: Implementing Interval Arithmetic with IEEE rounding modes
Message-ID: <1991Jun20.033257.26380@cs.sfu.ca>
Date: 20 Jun 91 03:32:57 GMT
References: <9106190449.AA02871@ucbvax.Berkeley.EDU> <1991Jun19.165150.2121@shinobu.sgi.com>
Reply-To: bremner@cs.sfu.ca (David Bremner)
Organization: Simon Fraser University
Lines: 14

In article <1991Jun19.165150.2121@shinobu.sgi.com> rodman@sgi.com (Paul K. Rodman) writes:
>I've heard yapping about interval arithmetic for a decade and have yet
>to see anyone that actually _used_ it. Has anyone implemented a
>compiler with set of "interval" data types?

Well, it's not FORTRAN, but languages designed for constraint logic
programming (CLP) include "real" intervals, both with and without
holes in them.  I'm not familiar enough with CLP to know what the
implementation issues are, but if no one less ignorant than me comes
forward, I can ask the local CLPeople .

David
-- 
bremner@cs.sfu.ca 				          ubc-cs!fornax!bremner