comp.lang.ada
 help / color / mirror / Atom feed
From: "jtarver" <jtarver@tminet.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: <Dt7f4.2222$iy5.92651@typ12.deja.bcandid.com> (raw)
In-Reply-To: 387D011B.2DC@Ganymede.com


Bill Greene <wrg@Ganymede.com> wrote in message
news:387D011B.2DC@Ganymede.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.

LOL.  Validating that the VAX does what it says it does is not the same as
the compiler meeting the Ada specification.

> 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?

"extended instruction set" is what I am refering to.

> Also, it's not entirely accurate to say that Ada was intended to be
> platform transparent.

That is exactly the original selling point for the funding of Ada.

> 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.

The compiler would necessarily be in the immage of the hardware, but the
code itself was to be independent.

> > > 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.

VAX to Apollo in Ada sucessfully?  How much effort was the transfer?

John






  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
2000-01-12  0:00           ` jtarver [this message]
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             ` 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-13  0:00             ` Richard D Riehle
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                             ` Keith Thompson
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                       ` K. Devlin
     [not found]                         ` <QHvg4.3143$iy5.200225@typ12.deja.bcandid.com>
2000-01-17  0:00                           ` David Starner
2000-01-26  0:00                             ` Mark Lundquist
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-18  0:00                           ` K. Devlin
2000-01-18  0:00                             ` Ed Falis
2000-01-18  0:00                               ` Ted Dennison
2000-01-17  0:00                         ` Chris Douglas
2000-01-18  0:00                           ` P. S. Norby
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