From: asuvax!ennews!telesys!weyrich!orville@gatech.edu (Orville R. Weyrich)
Subject: Re: Ada Readability, Book Reference
Date: 3 Jan 93 15:28:31 GMT [thread overview]
Message-ID: <1993Jan3.152831.16732@weyrich.UUCP> (raw)
In article <9212281507.AA20416@ajpo.sei.cmu.edu> SAHARBAUGH@ROO.FIT.EDU writes:
>
>So I ask "Is Ada readable if you can express an indeterminate
>program using it?".
>
>sam harbaugh
>---
I am not sure whether there is a relationship between indeterminancy and
readability.
Suppose, for example, the indeterminancy arises because of a concession made
to the implementors by way of not completely defining the effect of certain
language constructs [i.e. "implementation-defined"]. Suppose then I were to
arbitrarily define these aspects [very arbitrarily -- I'm being a devil's
advocate here] to depend on the number of comments in the compilation unit.
I have eliminated the indeterminancy, but certainly have not enhanced the
readability.
Or suppose, for another example, the indeterminancy arises because of a
race condition that is outside the scope of control of the compiler and
run-time system. The indeterminancy could perhaps be resolved by introducing
semophores or some similar construct, but that would further complicate the
program text.
In my opinion, one of the best measure of readability is how well
the semantics of a fragment of code can be determined in isolation from
the context of the entire program. Another measure of readability is what
I might call "stability" -- minor changes in the code should result in
minor changes in semantics, not major changes. In other words, if a
reader has a small misunderstanding of what he/she read, and that leads
to a small misunderstanding of what the code does, the code is stable.
Happy new year to all.
orville
-------------------------------------- ******************************
Orville R. Weyrich, Jr. Weyrich Computer Consulting
Certified Data Processor POB 5782, Scottsdale, AZ 85261
Certified Systems Professional Voice: (602) 391-0821
Internet: orville%weyrich@uunet.uu.net Fax: (602) 661-0660
-------------------------------------- ******************************
next reply other threads:[~1993-01-03 15:28 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-01-03 15:28 Orville R. Weyrich [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-01-05 16:50 Ada Readability, Book Reference agate!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!cis.ohio-state.ed
1993-01-05 12:55 Robert Firth
1993-01-04 23:19 Tucker Taft
1993-01-04 17:44 Michael Feldman
1993-01-04 9:31 agate!spool.mu.edu!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!nobeltech
1992-12-30 3:51 Michael Feldman
1992-12-29 19:35 Alex Blakemore
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox