Numerical Analysis/ Formal proofs

Article View: comp.specification

Article #325

Back to comp.specification Previous Next

#325

From: Cliff B Jones
Date: Sun, 17 Feb 1991 12:30

8 lines
870 bytes

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

Technical Details

Message-ID: <2147@m1.cs.man.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!spool.mu.edu!uunet!mcsun!ukc!mucs!cliff

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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