From: stt@ada-uts
Subject: Re: compiler validation
Date: Thu, 6-Nov-86 10:52:00 EST [thread overview]
Date: Thu Nov 6 10:52:00 1986
Message-ID: <4700084@ada-uts> (raw)
In-Reply-To: 1029@ucbvax.berkeley.edu
Ada compilers must be revalidated periodically (it used to be
every year; now it is every two years). This is because the
validation suite becomes more stringent as time goes on,
and the language review board "refines" the official
interpretation of the language reference manual. This
is not directly due to the size of the compilers (though they
are admittedly big), but rather both are due to the
size of the language and the extraordinary concern for precision
in the language definition.
Yes, there is an implementor's guide (available on the ArpaNet
somewhere), but it is not exactly a compiler-writer's cookbook.
Rather it is a series of tips about what to watch out for,
as well as motivation and explanation for parts of the validation
suite.
next parent reply other threads:[~1986-11-06 15:52 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <1029@ucbvax.berkeley.edu>
1986-11-06 15:52 ` stt [this message]
1986-11-01 13:55 compiler validation Kenneth Ng
-- strict thread matches above, loose matches on Subject: below --
1986-11-01 13:55 Kenneth Ng
1986-03-28 3:52 COMPILER VALIDATION Malcolm Petcher - 466-4146
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox