comp.lang.ada
 help / color / mirror / Atom feed
From: Bill Greene <wrg@Ganymede.com>
Subject: Re: [Fwd: F22 completes 11% of its Flight tests]
Date: 2000/01/12
Date: 2000-01-12T00:00:00+00:00	[thread overview]
Message-ID: <387D011B.2DC@Ganymede.com> (raw)
In-Reply-To: Ft6f4.2216$iy5.114812@typ12.deja.bcandid.com

jtarver wrote:
> 
> Bill Greene <wrg@Ganymede.com> wrote in message
> news:387CEE4A.3965@Ganymede.com...
> > jtarver wrote:
> >
> > > Ada was originally envisioned to be platform transparent.  When Data
> General
> > > produced the only 100% compliant compliler and the Ada development
> program
> > > went for the noncompliant VAX as their standard platform that idea was
> out
> > > the window.
> >
> > I don't understand your statement.  IIRC, there was a validated Ada 83
> > compiler for the Data General (written by Rational?) and there were
> > several validated Ada 83 compilers for the DEC VAX (written by SofTech,
> > DEC, and others).  What do you mean by "noncompliant VAX"?
> 
> I mean the first rule of the compliance was that there be no extensions and
> VAX immediately violated that rule.

The only mechanism I know of for gauging compliance is formal
validation, which included passing the thousands of tests in the ACVC
(now ACATS) test suite.  There were and are a number of validated Ada
compilers for the VAX.

But what does it mean to say that "VAX" violated a rule?  Are you
talking about a particular Ada compiler for the VAX?  If so, which
compiler is it and what sort of extensions are you referring to? 
Implementation-defined attributes and pragmas?

Also, it's not entirely accurate to say that Ada was intended to be
platform transparent.
One of the design goals for the language was to allow low-level access
to the underlying architecture, e.g., in code inserts, which are
certainly not portable.  But then, no one writing a code insert for a
VAX would ever expect that code to be portable to a non-VAX platform.

> 
> > FWIW, my experiences with porting Ada (83 or 95) code have been quite
> > satisfactory.
> 
> What did you port as the new platform?

I've ported among VAX, Sun, Apollo, Windows, OS/2, IBM mainframes, and
Macintosh, to name a few off the top of my head.

-- 
William R. Greene                              1100 Perimeter Park Drive
Ganymede Software, Inc.                                        Suite 104
http://www.ganymede.com                       Morrisville, NC  27560 USA
Phone: (919) 469-0997, ext. 280                      Fax: (919) 469-5553





  parent reply	other threads:[~2000-01-12  0:00 UTC|newest]

Thread overview: 71+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-01-12  0:00 [Fwd: F22 completes 11% of its Flight tests] Rocky
2000-01-12  0:00 ` Marin D. Condic
2000-01-12  0:00   ` jtarver
2000-01-12  0:00     ` Bill Greene
     [not found]       ` <Ft6f4.2216$iy5.114812@typ12.deja.bcandid.com>
2000-01-12  0:00         ` Bill Greene [this message]
2000-01-12  0:00           ` jtarver
2000-01-12  0:00             ` Bill Greene
     [not found]               ` <3d8f4.2267$iy5.117569@typ12.deja.bcandid.com>
2000-01-12  0:00                 ` Bill Greene
2000-01-14  0:00                 ` Keith Thompson
2000-01-13  0:00             ` Richard D Riehle
2000-01-13  0:00             ` Ted Dennison
2000-01-13  0:00               ` jtarver
2000-01-13  0:00               ` Jeff Carter
     [not found]                 ` <yxof4.2433$iy5.130692@typ12.deja.bcandid.com>
2000-01-14  0:00                   ` Tarjei T. Jensen
2000-01-12  0:00         ` David Tannen
2000-01-13  0:00           ` Harry Andreas
2000-01-14  0:00         ` Marin D. Condic
2000-01-14  0:00           ` Ed Falis
2000-01-14  0:00             ` Bill Greene
2000-01-15  0:00               ` Keith Willshaw
2000-01-15  0:00                 ` K. Devlin
2000-01-15  0:00                 ` Marin D. Condic
2000-01-15  0:00                   ` Keith Willshaw
2000-01-16  0:00                     ` Gautier
     [not found]                     ` <38821915.B56815F8@maths.unine.ch>
     [not found]                       ` <85t9oa$867$1@ssauraaa-i-1.production.compuserve.com>
2000-01-17  0:00                         ` Gautier
2000-01-17  0:00                           ` Keith Willshaw
     [not found]                   ` <oHcg4.2964$iy5.180009@typ12.deja.bcandid.com>
2000-01-16  0:00                     ` Keith Thompson
2000-01-16  0:00                       ` jtarver
2000-01-16  0:00                         ` Keith Thompson
2000-01-16  0:00                         ` Gautier
2000-01-16  0:00                         ` David Starner
2000-01-17  0:00                         ` Marin D. Condic
2000-01-17  0:00                           ` jtarver
2000-01-17  0:00                             ` Gautier
2000-01-17  0:00                               ` jtarver
2000-01-17  0:00                                 ` Bill Greene
2000-01-19  0:00                                 ` Robert S. White
2000-01-19  0:00                                   ` Ted Dennison
2000-01-19  0:00                                     ` Robert S. White
2000-01-25  0:00                                       ` Stefan Skoglund
2000-01-25  0:00                                         ` Richard D Riehle
2000-01-26  0:00                                           ` Mark Lundquist
2000-01-26  0:00                                             ` Samuel T. Harris
2000-01-17  0:00                             ` Keith Thompson
2000-01-17  0:00                       ` K. Devlin
2000-01-17  0:00                         ` Chris Douglas
2000-01-18  0:00                           ` P. S. Norby
     [not found]                         ` <QHvg4.3143$iy5.200225@typ12.deja.bcandid.com>
2000-01-17  0:00                           ` David Gillon
2000-01-17  0:00                           ` Stuart Palin
2000-01-17  0:00                             ` jtarver
2000-01-17  0:00                               ` David Tannen
2000-01-18  0:00                               ` K. Devlin
2000-01-17  0:00                           ` David Starner
2000-01-26  0:00                             ` Mark Lundquist
2000-01-18  0:00                           ` K. Devlin
2000-01-18  0:00                             ` Ed Falis
2000-01-18  0:00                               ` Ted Dennison
2000-01-31  0:00                         ` Roga Danar
2000-01-15  0:00               ` Marin D. Condic
2000-01-15  0:00             ` Marin D. Condic
2000-01-15  0:00               ` David Starner
2000-01-15  0:00                 ` Marin D. Condic
2000-01-16  0:00                   ` Keith Willshaw
2000-01-16  0:00                     ` Paul J. Adam
2000-01-16  0:00                       ` John Keeney
2000-01-17  0:00                         ` Paul J. Adam
2000-01-18  0:00                     ` Tarjei T. Jensen
2000-01-18  0:00                       ` Keith WIllshaw
2000-01-25  0:00                         ` Stefan Skoglund
2000-01-14  0:00     ` Marin D. Condic
     [not found] <sBvg4.3142$iy5.199834@typ12.deja.bcandid.com>
2000-01-17  0:00 ` tmoran
replies disabled

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