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.8 required=5.0 tests=BAYES_00,INVALID_DATE, MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!crdgw1!ge-dab!puma!andrew.ATL.GE.COM!jnixon From: jnixon@andrew.ATL.GE.COM (John F Nixon) Newsgroups: comp.lang.ada Subject: Re: meaning of orthogonality Keywords: Less than four syllables Message-ID: <219@puma.ge.com> Date: 8 Mar 90 15:02:22 GMT References: <666@software.software.org> Sender: news@puma.ge.com List-Id: blakemor@software.org (Alex Blakemore) writes: >> In article <8211@hubcap.clemson.edu> billwolf%hazel.cs.clemson.edu@hubcap.clemson.edu writes: >> > Not exactly. There is a lack of orthogonality in that similar >> > flow-of-control constructs do not terminate in similar ways. >In article <1990Mar6.215440.992@IDA.ORG> boone@IDA.ORG.UUCP (John Boone) writes: >> This is a minor flame, but I feel it's necessary ... >> Orthogonal means, roughly, "at right angles to" - so I think your >> point is really BECAUSE of orthogonality in the flow-of-control >> constucts [ for C ] which leads to potential problems ... etc. >I think Bill was correct on this one. If the termination constructs were >orthogonal to the control flow constructs, then the rules about termination >would not depend on which flow control contruct was used. Switch branches >would have the same termination rules as if branches. [ example of 68000 opcodes/addressing as orthogonal deleted ] I agree with John. If the termination constructs were orthogonal to the control flow constructs *it should be possible to mix and match the constructs with sensible results* (as in the case of 68000 op codes and addressing schemes). Bill clearly does not want this. If switch and if are to have the same termination rules, then the termination rules are not orthogonal to the switch and if rules. You cannot change the way switch terminates without changing the way if terminates (without violating the initial condition). -- ---- jnixon@atl.ge.com ...steinmetz!atl.decnet!jnxion