[net.lang.ada] Compiler validations

JMUNGLE@USC-ISIF.ARPA (Jerry Mungle) (03/24/86)

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