Xref: utzoo sci.math:16151 sci.math.symbolic:2244 comp.theory:1737 comp.lang.functional:705
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uwm.edu!bionet!parc!boehm
From: boehm@parc.xerox.com (Hans Boehm)
Newsgroups: sci.math,sci.math.symbolic,comp.theory,comp.lang.functional
Subject: Re: do computers believe in real numbers?
Message-ID: <boehm.670183426@siria>
Date: 28 Mar 91 18:03:46 GMT
References: <7197@munnari.oz.au> <1991Mar28.131426.3627@zaphod.mps.ohio-state.edu>
Sender: news@parc.xerox.com
Organization: Xerox PARC
Lines: 10

Another more recent, but less general, reference is "Optimizing Programs over
the Constructive Reals", PLDI '90, (appeared as SIGPLAN Notices 25, 6), by
Vernon Lee and myself.

The calculator now runs on a variety of UNIX workstations.  It can be obtained
by anonymous ftp from arisia.xerox.com:~ftp/pub/C_calc.tar.Z.  This is mostly
automatically generated C code.  Send mail if you want the real source.

Hans-J. Boehm
(boehm@xerox.com)