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
next prev 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
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