From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e6a2e4a4c0d7d8a6 X-Google-Attributes: gid103376,public X-Google-Thread: 101deb,3488d9e5d292649f X-Google-Attributes: gid101deb,public X-Google-ArrivalTime: 2003-02-21 12:51:08 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed-east.nntpserver.com!nntpserver.com!chi1.webusenet.com!news.webusenet.com!cyclone1.gnilink.net!news.airnews.net!cabal12.airnews.net!usenet From: "John R. Strohm" Newsgroups: comp.lang.pl1,comp.lang.ada Subject: Re: status of PL/I as a viable language Date: Fri, 21 Feb 2003 14:35:39 -0600 Organization: Airnews.net! at Internet America Message-ID: <8C8A06BCD0B3376D.01247F5E9E2652B0.5BB268703A0C3D85@lp.airnews.net> X-Orig-Message-ID: References: <1045856952.418085@master.nyc.kbcfp.com> Abuse-Reports-To: abuse at airmail.net to report improper postings NNTP-Proxy-Relay: library2.airnews.net NNTP-Posting-Time: Fri Feb 21 14:49:41 2003 NNTP-Posting-Host: !bcs,1k-Y;W"&$. (Encoded at Airnews!) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.pl1:4405 comp.lang.ada:34385 Date: 2003-02-21T14:35:39-06:00 List-Id: "Hyman Rosen" wrote in message news:1045856952.418085@master.nyc.kbcfp.com... > John R. Strohm wrote: > > Actually, it IS possible to create perfect code. See: > > http://www.cs.utexas.edu/users/boyer/ftp/ics-reports/cmp34.pdf > > It took them almost two years to write a simple little > limited regular expression matcher. And that "simple little limited regular expression matcher" passed the formal customer acceptance test on the first try, with no deviations or waivers or anything. They never saw the acceptance test suite until the formal test, in front of the customer. The acceptance test was developed by a different company, in California. That was the FIRST time *ANY* computer program had EVER done that, in all the history of the U.S. Department of Defense. The critical part of the project was the verification. They KNEW that the code was correct, because they'd proven it, with mathematical rigor, subject to the one assumed lemma about the ordering of certain characters in the ASCII character code.