comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: DII COE bars Ada -> Java compilation
Date: 2000/04/05
Date: 2000-04-05T00:00:00+00:00	[thread overview]
Message-ID: <8cg0gc$dqv$1@nnrp1.deja.com> (raw)
In-Reply-To: 38EB3482.971747E4@lmco.com

In article <38EB3482.971747E4@lmco.com>,
  "Marc A. Criley" <marc.a.criley@lmco.com> wrote:

> Is this a legitimate concern?

No it is complete technical nonsense.

It would be reasonable to have a requirement that JBC programs
have been verified by some appropriate verifier, a requirement
that should then be applied to any JBC program.


Sent via Deja.com http://www.deja.com/
Before you buy.




  parent reply	other threads:[~2000-04-05  0:00 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-04-05  0:00 DII COE bars Ada -> Java compilation Marc A. Criley
2000-04-05  0:00 ` Robert Dewar
2000-04-05  0:00 ` Robert Dewar [this message]
2000-04-05  0:00 ` Ted Dennison
2000-04-07  0:00   ` Wes Groleau
2000-04-07  0:00     ` swhalen
2000-04-08  0:00     ` Robert Dewar
2000-04-14  0:00       ` Wes Groleau
2000-04-05  0:00 ` Robert A Duff
2000-04-05  0:00   ` David Starner
2000-04-06  0:00 ` Marc A. Criley
2000-04-07  0:00   ` Robert I. Eachus
2000-04-07  0:00 ` Richard D Riehle
2000-04-07  0:00   ` Wes Groleau
2000-04-19  0:00   ` Robert Munck
2000-04-19  0:00     ` Robert I. Eachus
2000-04-20  0:00     ` Geoff Bull
2000-04-20  0:00       ` Hal Hawley
replies disabled

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