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> 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)