Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!godot!harvard!seismo!brl-tgr!tgr!Tli@Usc-Eclb
From: Tony Li
Newsgroups: net.lang.c
Subject: using break instead of goto
Message-ID: <7263@brl-tgr.ARPA>
Date: Sat, 12-Jan-85 22:18:48 EST
Article-I.D.: brl-tgr.7263
Posted: Sat Jan 12 22:18:48 1985
Date-Received: Mon, 14-Jan-85 03:22:23 EST
Sender: news@brl-tgr.ARPA
Organization: Ballistic Research Lab
Lines: 20
From: Doug Gwyn (VLD/VMB)
People keep hoping for the magic panacea that will ensure automatic
correctness of their programs. Last year it was Ada; this year it
is knowledge-based program writing systems; next year it will
be something else. I keep seeing the same ideas attempted over and
over as the years go by. The one idea that works, to think clearly
and carefully, has not found much favor.
It has not found much favor because it does not work well. Consider
the lifecycle of an average software package. Currently, for *ANY*
software package, you should expect to spend at least half of your
budget on maintenance.
The hope is that the development of a automatic correct program
generator would help to eliminate much of this maintenance cost.
Cheers,
Tony ;-)