Accession Number:

ADA280145

Title:

Ada Compiler Validation Summary Report: Certificate Number 940325S1. 11345 DDC-I. DACS Sun SPARC/SunOS to 680x0 Bare Ada Cross Compiler System, Version 4.6.9 Sun SPARCstation IPX => Motorola MVME143 68030/68882 (Bare Machine)

Descriptive Note:

Summary rept., 18 Mar-11 Apr 1994

Corporate Author:

NATIONAL INST OF STANDARDS AND TECHNOLOGY GAITHERSBURG MD

Personal Author(s):

Report Date:

1994-04-11

Pagination or Media Count:

100.0

Abstract:

Descriptors:

• *COMPILERS
• *ADA PROGRAMMING LANGUAGE
• TEST AND EVALUATION
• SOFTWARE ENGINEERING
• OPTIMIZATION
• VALIDATION
• STANDARDS
• FUNCTIONAL ANALYSIS
• COMPUTER PROGRAM VERIFICATION

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE