Accession Number : ADA296799

Title :   Ada Compiler Validation Summary Report. Certificate Number: 950615W1.11384. Green Hills Software, Inc., Green Hills Optimizing Ada Compiler, Version 1.8.7B. SPARCstation 10 Under SunOS, Release 4.1.3 -> AST Bravo 386 Under VxWorks, 5.1.

Descriptive Note : Final rept.,

Corporate Author : INFORMATION SYSTEMS AND TECHNOLOGY CENTER WRIGHT-PATTERSON AFB OH ADA VALIDAT ION FACILITY

PDF Url : ADA296799

Report Date : 23 JUN 1995

Pagination or Media Count : 31

Abstract : This Ada implementation was tested and determined to pass ACVC 1.11. Testing was completed on 15June 1995. Host Computer System: SPARCstation 10 (under SunOS, Release 4.1.3) Target Computer System: AST Bravo 386 (under VxWorks, 5.1) (KAR) P. 2

Descriptors :   *OPTIMIZATION, *COMPILERS, *ADA PROGRAMMING LANGUAGE, VALIDATION, COMPUTERS, TARGETS, STANDARDS, COMPUTER PROGRAM VERIFICATION.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE