[comp.software-eng] Numerical Analysis/ Formal proofs

cliff@cs.man.ac.uk (Cliff B Jones) (02/17/91)

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