Newsgroups: comp.archives
Path: utzoo!utgpu!news-server.csri.toronto.edu!ox.com!msen.com!emv
From: boehm@parc.xerox.com (Hans Boehm)
Subject: [sci.math...] Re: do computers believe in real numbers?
Message-ID: <1991Mar28.205115.6132@ox.com>
Followup-To: sci.math,sci.math.symbolic,comp.theory,comp.lang.functional
Sender: emv@msen.com (Edward Vielmetti, MSEN)
Reply-To: boehm@parc.xerox.com (Hans Boehm)
Organization: Xerox PARC
References: <7197@munnari.oz.au> <1991Mar28.131426.3627@zaphod.mps.ohio-state.edu> <boehm.670183426@siria>
Date: Thu, 28 Mar 1991 20:51:15 GMT
Approved: emv@msen.com (Edward Vielmetti, MSEN)
X-Original-Newsgroups: sci.math,sci.math.symbolic,comp.theory,comp.lang.functional

Archive-name: symbolic-math/big-numbers/bignum-c-calc/1991-03-28
Archive: arisia.parc.xerox.com:/pub/C_calc.tar.Z [13.1.100.206]
Original-posting-by: boehm@parc.xerox.com (Hans Boehm)
Original-subject: Re: do computers believe in real numbers?
Reposted-by: emv@msen.com (Edward Vielmetti, MSEN)

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)
