comp.lang.ada
 help / color / mirror / Atom feed
From: "Ed Falis" <falis@verizon.net>
Subject: Re: Order of logical operations
Date: Fri, 04 Jun 2004 20:06:59 GMT
Date: 2004-06-04T20:06:59+00:00	[thread overview]
Message-ID: <opr8255wqr5afhvo@garuda.mshome.net> (raw)
In-Reply-To: Um3wc.43236$3x.40166@attbi_s54

On Fri, 04 Jun 2004 18:40:53 GMT, James Van Buskirk  
<not_valid@comcast.net> wrote:
<snip>

> 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



  reply	other threads:[~2004-06-04 20:06 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <slrncbtfkn.247.tconnors@tellurium.ssi.swin.edu.au>
     [not found] ` <m11xkwd6ct.fsf@macfortran.local>
     [not found]   ` <slrn-0.9.7.4-31741-29330-200406040800-tc@hexane.ssi.swin.edu.au>
     [not found]     ` <40C0208A.80DBE53A@wldelft.nl>
2004-06-04 18:40       ` Order of logical operations James Van Buskirk
2004-06-04 20:06         ` Ed Falis [this message]
2004-06-04 21:09           ` Nick Roberts
2004-06-07 17:00             ` Warren W. Gay VE3WWG
2004-06-07 17:36               ` Ed Falis
2004-06-04 21:37         ` Björn Persson
2004-06-05 10:44         ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox