Ten years of tool based Ada compiler validations an experience report

  • Michael Tonndorf
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1411)


This paper summarizes IABG's experience as an Ada Validation Facility from the last decade. The paper puts an emphasis on the improvement of the validation process by evolving tool support.


Ada Compiler Validation Ada Standardization Ada Policy Ada Language Maintenance 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    The Ada Compiler Validation Capability (ACVC) Version 2.1 User's Guide, CTA Incorporated, Dayton, OH 45431, March 1997 ( Google Scholar
  2. [2]
    An Efficient Compiler Validation Method for Ada 9X, Michael Tonndorf, Proceedings of the Ada Europe '93 Conference, Springer Verlag LNCS 688, Berlin Heidelberg, 1993.Google Scholar
  3. [3]
    An Integrated Tool Environment for Ada Compiler Validations, Michael Tonndorf, Proceedings of the TRI-Ada '93 Conference, ACM SIGAda, New York, 1993.Google Scholar
  4. [4]
    Reference Manual for the Ada Programming Language, ANSI/ISO/IEC 8652:1995, FIPS PUB 119-1.Google Scholar
  5. [5]
    Ada Compiler Validation Procedures, Version 5.0, 18 November 1997, Ada Joint Program Office, Center for Computer Systems Engineering, Defense Information Systems Agency ( /AdaIC/compilers/val-proc/val5_0fin.shtml)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Michael Tonndorf
    • 1
  1. 1.Ada Validation FacilityIABGOttobrunnGermany

Personalised recommendations