The Ada Resource Association
Ada95 Conforming Compilers and Tools  List
 Spotlighting an ARA member:
  • 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:
ARA Members AdaCore Praxis Critical Systems IBM Rational Sofcheck
 
Valid HTML 4.01! Valid CSS!