comp.lang.ada
 help / color / mirror / Atom feed
From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: (unverified) Ada mandate cancelled (Greg A would be proud)
Date: 1997/03/10
Date: 1997-03-10T00:00:00+00:00	[thread overview]
Message-ID: <EACHUS.97Mar10154834@spectre.mitre.org> (raw)
In-Reply-To: dewar.857857451@merv


In article <dewar.857857451@merv> dewar@merv.cs.nyu.edu (Robert Dewar) writes:

  > The idea of making Ada a preferred technology rather than
  > mandating it might very well be advantageous even from an Ada
  > advocate's point of view.  Far too often now, Ada is mandated, but
  > in practice someone is acting as though some other technology is
  > preferred. A genuine policy of preferring Ada, other things being
  > equal, might well be preferable. For example, this would mean that
  > hardware supporting Ada should be preferred over hardware that
  > does not support Ada.

   There is one Catch-22 I will be glad to get rid of.  Right now on
DoD programs, the "kiss of death" for the use of Ada or even the use
of some hardware is the existance of an UNvalidated Ada compiler for
that platform.  The mandate says you can't use the unvalidated
compiler, and a waiver is difficult if not impossible to get because
there is an Ada compiler (usually with a lapsed validation).

   There are also projects where a validation or three is essentially
a negligible cost compared to the risk avoided.  (I've worked on a
couple.)  We need a policy to deal with both.

   
--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...




  parent reply	other threads:[~1997-03-10  0:00 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-03-07  0:00 (unverified) Ada mandate cancelled (Greg A would be proud) Sam Harbaugh, Palm Bay, Florida
1997-03-08  0:00 ` Robert Dewar
1997-03-08  0:00   ` Dave Wood
1997-03-09  0:00     ` Robert S. White
1997-03-09  0:00     ` Robert Dewar
1997-03-09  0:00       ` Larry Kilgallen
1997-03-10  0:00       ` Jeff Carter
1997-03-13  0:00         ` Pat Rogers
1997-03-09  0:00     ` Larry Kilgallen
1997-03-09  0:00       ` Dave Wood
1997-03-10  0:00       ` Ken Garlington
1997-03-10  0:00   ` Jon S Anthony
1997-03-10  0:00   ` Jon S Anthony
1997-03-10  0:00   ` Jon S Anthony
1997-03-10  0:00   ` Robert I. Eachus [this message]
1997-03-11  0:00     ` Robert Dewar
1997-03-12  0:00   ` David Emery
1997-03-13  0:00   ` Steven D.Litvintchouk
1997-03-19  0:00   ` David Emery
1997-03-19  0:00   ` David Taylor
1997-03-13  0:00 ` Charles H. Sampson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox