From: JMUNGLE@USC-ISIF.ARPA (Jerry Mungle)
Subject: Compiler validations
Date: Mon, 24-Mar-86 15:42:16 EST [thread overview]
Date: Mon Mar 24 15:42:16 1986
Message-ID: <8603250142.AA08709@ucbvax.berkeley.edu> (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??
-------
reply other threads:[~1986-03-24 20:42 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox