Ada Compiler Validation Summary Report:
Compiler Name: ICC Ada, Release 5.0
Certificate Number: 880708W1.09126
Host: Target:
ISI Optimum V under ISI Optimum V under
ISI 4.3 BSD, Release 4.0D ISI 4.3 BSD, Release 4.0D
Testing Completed 14 July 1988 Using ACVC 1.9
This report has been reviewed and is approved.
signed
Ada Validation Facility
Steven P. Wilson
Technical Director
ASD/SCEL
Wright-Patterson AFB OH 45433-6503
signed
Ada Validation Organization
Dr. John F. Kramer
Institute for Defense Analyses
Alexandria VA 22311
signed
Ada Joint Program Office
Virginia L. Castor
Director
Department of Defense
Washington DC 20301
|