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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1e3f2eac5c026e3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-12-23 08:05:12 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!adsl-213-200-246-247.cybernet.CH!not-for-mail
From: Vinzent 'Gadget' Hoefler <ada.rocks@jlfencey.com>
Newsgroups: comp.lang.ada
Subject: Re: come from joke (was Re: Other Ada Standards (was Re: SIGada
 Conference)
Date: Tue, 23 Dec 2003 17:03:39 +0100
Organization: JeLlyFish software
Message-ID: <bs9p3m$b2ap5$1@ID-175126.news.uni-berlin.de>
References: <468D78E4EE5C6A4093A4C00F29DF513D04B82B08@VS2.hdi.tvcabo>
 <bs13em$8gm0v$1@ID-25716.news.uni-berlin.de>
 <MbCdnfw97bXUF3miRVn-jA@comcast.com>
 <bebbba07.0312211607.252ff8d1@posting.google.com>
 <bfcib1-r43.ln1@beastie.ix.netcom.com> <wuSdneE1q-4HuHqiRVn-sA@comcast.com>
 <bs96kd$rbb$1@news.uni-stuttgart.de> <bs9o7a$s6j$1@a1-hrz.uni-duisburg.de>
Reply-To: v.hoefler@acm.org
NNTP-Posting-Host: adsl-213-200-246-247.cybernet.ch (213.200.246.247)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de 1072195510 11610917 213.200.246.247 ([175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:3756
Date: 2003-12-23T17:03:39+01:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:

>http://doi.acm.org/10.1145/358027.358043

|Example:
|    10 J =3D 1
|    11 COME FROM 20
|    12 WRITE (6,40) J
|    STOP
|    13 COME FROM 10
|    20 J =3D J + 2
|    40 FORMAT (I4)
|
|Explanation:
|In this example, J is set to 1 by statement 10. Statement 13 then
|causes control to be passed to statement 20, which sets J to 3.
|Statement 11 then causes control to be passed to statement 12, which
|writes the current value of J. The STOP statement then terminates the
|program.
|
|[...]
|
|The author feels that the COME FROM will prove an invaluable
|contribution to the field of computer science. It is confidently
|predicted that this solution will be implemented in all future
|programming languages, and will be retrofitted into existing
|languages. Although it is clear that the COME FROM statement fulfills
|most of the requirements of the advocates of COTo-less programming, it
|remains for the practitioners of automatic programming to evaluate
|just how much this construct contributes to the development of
|automatic proofs of program correctness.
|Having at last put to rest the GOTO controversy, we now may enter the
|era of the COME FROM conundrum.

*looking at bottom of the page* Fortunately. The April issue.


Vinzent.