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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28396555259c7864
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: AQS95 floatin point relational tests
Date: 1997/03/21
Message-ID: <dewar.858998949@merv>#1/1
X-Deja-AN: 227430354
References: <33241A3A.191B@lmco.com> <dewar.858097577@merv>
 <332691DA.59C6@lmco.com> <49970788wnr@diphi.demon.co.uk>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-03-21T00:00:00+00:00
List-Id: <comp.lang.ada>


JP Thornley said

<<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 :-)>>

That is a very good point, there are many guidelinbes in AQ&S which are
excellent guidelines but would be horrible as absolute rules.