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: 103376,4b06f8f15f01a568 X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,9a0ff0bffdf63657 X-Google-Attributes: gidf43e6,public X-Google-Thread: 1108a1,9a0ff0bffdf63657 X-Google-Attributes: gid1108a1,public From: Matthew Heaney Subject: Re: Software landmines (loops) Date: 1998/09/05 Message-ID: #1/1 X-Deja-AN: 388243370 Sender: matt@mheaney.ni.net References: <6r9f8h$jtm$1@nnrp1.dejanews.com> <6renh8$ga7$1@nnrp1.dejanews.com> <6rf59b$2ud$1@nnrp1.dejanews.com> <6rfra4$rul$1@nnrp1.dejanews.com> <35DBDD24.D003404D@calfp.co.uk> <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> <35ece7ee.1489912@news.erols.com> <905028596.876380@iris.nyx.net> NNTP-Posting-Date: Sat, 05 Sep 1998 14:06:57 PDT Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.lang.ada Date: 1998-09-05T00:00:00+00:00 List-Id: rgardner@nyx.net (Ray Gardner) writes: > RCM had responded with a direct quote from Dijkstra, but Ell But the > original idea, as expounded by Dijkstra, Mills, Wirth, Ledgard, and > others does indeed restrict you to single- entry/single-exit control > structures, and they don't exit loops in the middle. Oh! You were doing well up to that last line. Read about the dowhiledo structure, in section 3.3.3, Iteration Structures, of Structured Programming, by Linger, Mills, and Witt. A list of prime programs also appears on p115, and the one at the bottom is a dowhiledo loop. He explicates the meaning of that loop structure on p116-7.