From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: AQS95 floatin point relational tests
Date: 1997/03/21
Date: 1997-03-21T00:00:00+00:00 [thread overview]
Message-ID: <dewar.858998949@merv> (raw)
In-Reply-To: 49970788wnr@diphi.demon.co.uk
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.
prev parent reply other threads:[~1997-03-21 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
1997-03-21 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox