using break <label> instead of goto <label>

[Tony Li]

    From: Doug Gwyn (VLD/VMB) <gwyn at BRL-VLD.ARPA>

    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 ;-)