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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 1094ba,ddafdc033e838b1d X-Google-Thread: 103376,cd51fe79965e9795 X-Google-Attributes: gid1094ba,gid103376,public Path: g2news1.google.com!news1.google.com!news.glorb.com!cyclone1.gnilink.net!spamkiller2.gnilink.net!gnilink.net!nwrdny02.gnilink.net.POSTED!c2bfcbcf!not-for-mail Newsgroups: comp.lang.fortran,comp.lang.ada Subject: Re: Order of logical operations References: <40C0208A.80DBE53A@wldelft.nl> Message-ID: From: "Ed Falis" Content-Type: text/plain; format=flowed; delsp=yes; charset=iso-8859-15 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit User-Agent: Opera M2/7.51 (Win32, build 3798) Date: Fri, 04 Jun 2004 20:06:59 GMT NNTP-Posting-Host: 68.160.181.181 X-Complaints-To: abuse@verizon.net X-Trace: nwrdny02.gnilink.net 1086379619 68.160.181.181 (Fri, 04 Jun 2004 16:06:59 EDT) NNTP-Posting-Date: Fri, 04 Jun 2004 16:06:59 EDT Xref: g2news1.google.com comp.lang.fortran:1698 comp.lang.ada:1106 Date: 2004-06-04T20:06:59+00:00 List-Id: On Fri, 04 Jun 2004 18:40:53 GMT, James Van Buskirk wrote: > I am curious > as to how useful short-circuiting logical operators are > considered to be in languages such as Ada that have both > short-circuiting and non-short-circuiting operators. > The short-circuit forms in Ada are considered to be very useful for structural analysis of code during safety certification (multiple condition, multiple decision analysis). This is because sequentialization of the conditions reduces the number of tests that would be necessary compared to the simultaneous forms, where all combinations of conditions would need to be exercised. Aside from that, I personally don't have a strong feeling about the relative merits, excepting some potential performance gains. - Ed