From: JP Thornley <jpt@diphi.demon.co.uk>
Subject: Re: AQS95 floatin point relational tests
Date: 1997/03/13
Date: 1997-03-13T00:00:00+00:00 [thread overview]
Message-ID: <49970788wnr@diphi.demon.co.uk> (raw)
In-Reply-To: 332691DA.59C6@lmco.com
In article: <332691DA.59C6@lmco.com> William Dale Jr
<William.Dale.Jr@lmco.com> writes:
> As I am currently writting an Ada 95 Standard based on the AQ&S95
> document I am interested in this issue and any others regarding this
> document. ...
> Anyone who can point me toward any other serious issues with the AQS
> please jump in.
>
>
I'm just coming to the end of this exercise (review draft sent for
copying) and haven't come across any *major* problems other than the
floating point issues mentioned in my previous post.
One particular point that I think is wrong (but this is my personal
opinion) is the recommendation (in the rationale of 5.9.6) that
"Initialization at the point of declaration is safest as well as easiest
for maintainers." [Hope that doesn't start that thread again.]
One possible problem comes from turning Guidelines (many of which start
"Consider using ..." or "Use caution when ...") into a standard. How
big a problem this is depends on how readily you need to be able to show
conformance. (The Ada 83 AQS had one guideline that said something like
"know the Ada model for real arithmetic" - and conformance would
presumeably have required the programmer to take a test :-)
If you are keeping the examples in the AQS then they are rather poor at
following their own guidelines on things such as naming, spacing,
alignment etc.
Also I have built up quite a number of minor comments on the AQS (typos
and other such) that anyone keeping the bulk of the AQS text might be
interested in (but it would be a very unpopular post to the newsgroup).
BTW the contacts named in the Preface are no longer with the SPC. I
have been annoying Rob Pettit (pettit@software.org) with my detailed
comments.
Phil Thornley
--
------------------------------------------------------------------------
| JP Thornley EMail jpt@diphi.demon.co.uk |
------------------------------------------------------------------------
next prev parent reply other threads:[~1997-03-13 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-10 0:00 AQS95 floatin point relational tests William Dale Jr
1997-03-11 0:00 ` Robert Dewar
1997-03-12 0:00 ` JP Thornley
1997-03-13 0:00 ` David Wheeler
[not found] ` <332691DA.59C6@lmco.com>
1997-03-13 0:00 ` JP Thornley [this message]
1997-03-21 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox