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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,9a0ff0bffdf63657
X-Google-Attributes: gidfac41,public
X-Google-Thread: 1108a1,9a0ff0bffdf63657
X-Google-Attributes: gid1108a1,public
X-Google-Thread: f43e6,9a0ff0bffdf63657
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 103376,4b06f8f15f01a568
X-Google-Attributes: gid103376,public
From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Software landmines (loops)
Date: 1998/09/02
Message-ID: <m3u32q69ua.fsf@mheaney.ni.net>#1/1
X-Deja-AN: 387206936
Sender: matt@mheaney.ni.net
References: <dewar.903281994@merv> <6r9f8h$jtm$1@nnrp1.dejanews.com>
 <6renh8$ga7$1@nnrp1.dejanews.com> <6rf59b$2ud$1@nnrp1.dejanews.com>
 <l5HC1.6840$wN.1856764@news.giganews.com> <6rfra4$rul$1@nnrp1.dejanews.com>
 <35DBDD24.D003404D@calfp.co.uk> <m3ogt3qgca.fsf@mheaney.ni.net>
 <6sbuod$fra$1@hirame.wwa.com> <35f51e53.48044143@
 <904556531.666222@miso.it.uq.edu.au> <6sgror$je8$3@news.indigo.ie>
 <6sh3qn$9p2$1@hirame.wwa.com> <Oi4H1.219$qj1.315418@newsread.com>
 <35ece7ee.1489912@news.erols.com> <35ED7082.1889@hfl.tc.faa.gov>
NNTP-Posting-Date: Wed, 02 Sep 1998 11:13:39 PDT
Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.lang.ada
Date: 1998-09-02T00:00:00+00:00
List-Id: <comp.lang.ada>

Robert Oliver <oliverb@hfl.tc.faa.gov> writes:

> Edward Yourdan, in his book Techniques of Program Structure and Design
> discusses this article:
> 
> C. Bohm and G. Jacopini, "Flow Diagrams, Turing Machines, and Languages
> with Only two Formation Rules", Communications of the ACM, May 1996, 
> pages 366-371.

The year was 1966.
 
> (Is this not *the* foundational article for structured programming?)

Be aware that Bohm and Jacopini showed only what the minimal set of
control flow primitive are.  But don't take this to mean that those
are the only control flow statements you should use.  

Control flow constructs in a language should be chosen for their
expressive power.  What's the most natural way to do the iteration for a
certain class of problems?

Ed Yourdon edited a pair of books that have all the major papers on the
goto issue, including those by George Miller, Bohm & Jacopini, and
Knuth.

Classics in Software Engineering
Writings of the Revolution