Path: utzoo!mnetor!uunet!husc6!ukma!psuvm.bitnet!uh2
From: UH2@PSUVM.BITNET (Lee Sailer)
Newsgroups: comp.software-eng
Subject: Re: correctness proofs (was Re: Complexity Measures)
Message-ID: <31221UH2@PSUVM>
Date: 28 Jan 88 16:30:03 GMT
References: <5874@sol.ARPA> <30176UH2@PSUVM> <1273@lznv.ATT.COM>
Organization: Penn Sate Erie--School of Business
Lines: 12

In article <1273@lznv.ATT.COM>, psc@lznv.ATT.COM (Paul S. R. Chisholm) says:
>
>In my personal experience, it's impractically difficult to "prove" any
>non-trivial program correct.  On the other hand, the skills you need
>for correctness proofs are very useful.  My programming environment
     
I agree.  The semester I spent on Proving Correctness improved my
programming skills tremendously, even though I don't ever actually
"prove" my code.
     
lee