Steve after Stan writes:
>> Having code (at a single-point of termination) to close/cleanup
>>things is good.
>
>As a blanket statement? We'll have to disagree on that one.
Has anyone read "The Science of Programming" by David Gries (Springer-Verlag
1981)? IIRC, the point of the book was "Proving programs correct". It took
a mathematical-proof approach to programming. One would create functions
that acted like an a assert() function. The one I remember was wp (weakest
precondition). Here one would check all inputs and outputs and essentially
place assert() calls to make sure all conditions were met to guarantee the
program worked as advertised. I don't know if it every caught on but this
conversation reminded me of the topic.
* To join/leave the list, search archives, change list settings, *
* etc., please visit http://raven.utc.edu/archives/hp3000-l.html *