comp.lang.ada
 help / color / mirror / Atom feed
* Compiler validations
@ 1986-03-24 20:42 Jerry Mungle
  0 siblings, 0 replies; only message in thread
From: Jerry Mungle @ 1986-03-24 20:42 UTC (permalink / raw)



  I attended the Conference on Ada Technology last week in Atlanta.  Interesting
things came to my attention; for example, as I understand it, the British
MoD will soon be able to validate Ada compilers.  The British validation will
have equal standing with the DoD validation.  However, the British are
developing their own ACVC... so I can see compiler X passing one but not the
other.  Perhaps more important, there would then be two standards, and it
is possible software written under one validation would not be portable to
compilers under the other validation.  Comments??
-------

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~1986-03-24 20:42 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1986-03-24 20:42 Compiler validations Jerry Mungle

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