Xref: utzoo comp.specification:262 comp.software-eng:4865 comp.theory:1547
Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!spool.mu.edu!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff B Jones)
Newsgroups: comp.specification,comp.software-eng,comp.theory
Subject: Numerical Analysis/ Formal proofs
Message-ID: <2147@m1.cs.man.ac.uk>
Date: 17 Feb 91 12:30:38 GMT
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff B Jones)
Followup-To: comp.specification
Organization: Department of Computer Science, University of Manchester UK
Lines: 8


I am aware that Hoare's 1969 article mentioned the problems of
computer arithmetic (being finite etc.) and know of some work by Tom
Hull (I was at the Las Cruces 1972(?) conference). *But* my question
is still can anyone point me to references which link numerical
problems and formal program development ideas?

cliff jones