Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site mmintl.UUCP
Path: utzoo!linus!philabs!pwa-b!mmintl!franka
From: franka@mmintl.UUCP (Frank Adams)
Newsgroups: net.lang.c
Subject: Re: "break" statements (Really Re computer science)
Message-ID: <784@mmintl.UUCP>
Date: Thu, 14-Nov-85 17:45:49 EST
Article-I.D.: mmintl.784
Posted: Thu Nov 14 17:45:49 1985
Date-Received: Sat, 16-Nov-85 03:41:20 EST
References: <678@ucsfcgl.UUCP> <2600026@ccvaxa> <2746@brl-tgr.ARPA> <402@graffiti.UUCP> <918@rlvd.UUCP>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Organization: Multimate International, E. Hartford, CT
Lines: 12
Summary: 


In article <918@rlvd.UUCP> asw@rlvd.UUCP (Antony Williams) writes:
>In article <402@graffiti.UUCP> peter@graffiti.UUCP (Peter da Silva) writes:
>>Generally because it's not practical to prove code correct in large
>>scale applications. 
>I think what you really mean is that it is not YET practical to prove
>large scale applications wholly correct.

I think he meant what he said.  It may some day be practical to prove code
correct in large scale applications.  Then again, it may not.

Frank Adams                           ihpn4!philabs!pwa-b!mmintl!franka
Multimate International    52 Oakland Ave North    E. Hartford, CT 06108