boehm@parc.xerox.com (Hans Boehm) (03/29/91)
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)