Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!brutus.cs.uiuc.edu!jarthur!bridge2!mips!prls!pyramid!athertn!joshua
From: joshua@athertn.Atherton.COM (Flame Bait)
Newsgroups: comp.software-eng
Subject: Re: "Program Proving"
Message-ID: <19932@joshua.athertn.Atherton.COM>
Date: 15 Mar 90 02:06:06 GMT
References: <39400075@m.cs.uiuc.edu> <52044@microsoft.UUCP> <18059@duke.cs.duke.edu> <19833@joshua.athertn.Atherton.COM> <18185@duke.cs.duke.edu>
Reply-To: joshua@Atherton.COM (Flame Bait)
Organization: Atherton Technology, Sunnyvale, CA
Lines: 10

In article <18185@duke.cs.duke.edu> crm@romeo.UUCP (Charlie Martin) writes:
>No it isn't the code from Discipline of Programming, and believe me,
>when I *say* I wrote it, I mean I WROTE THE DAMNED THING.

Sorry.  I misread your reference to "Dijkstra calculus" to mean that he
had written the software in question. 

My mistake.

Joshua Levy  (joshua@atherton.com)