|
|
- Why Certify?
A short explanation from Randy Brukardt on why Ada tool developers submit their
compilers and environments to the rigorous testing demanded to be certified as a
conforming compiler.
- What is Conformity?
The full article of the above excerpt, in which Randy Brukardt details the
processes by which Ada compilers are accepted as conforming to standard Ada; Ada
is the first object-oriented-design language to become an ISO standard.
- Ada Compilers and Tools
A general list of hosts, targets, and operating systems supported by various Ada
compiler vendors.
- Ada 95 Conforming Processors List (CPL)
Search a list of certified (validated) Ada 95 compilers by vendor, compiler name,
host, or target.
- Conformity Assessment
Ada compiler conformity assessment overviews, procedures, test suites, and
facilities.
- Evaluation Tools
Ada compiler evaluation tools and tests.
- Ada 83 Conforming Processors List (CPL)
Search a list of validated Ada 83 compilers by vendor, compiler name, host, or target.
- Free Software
Links to freely available Ada compiler tools.
|
Sponsored by the following ARA member companies:
|  |