Ada Compiler Validation Summary Report. Certificate Number: 910705S1. 11191, InterACT Corporation InterACT Ada 1750A Compiler System, Release 3.5, MicroVAX 3100 Cluster => InterACT MIL-STD-1750A Instruction Set Architecture Simulator, Release 2.3 (Bare Machine).

Ada Compiler Validation Summary Report. Certificate Number: 910705S1. 11191, InterACT Corporation InterACT Ada 1750A Compiler System, Release 3.5, MicroVAX 3100 Cluster => InterACT MIL-STD-1750A Instruction Set Architecture Simulator, Release 2.3 (Bare Machine).

Active / Technical Report | Accession Number: ADA240762 |

Abstract:

The Ada implementation described above was tested according to the Ada Validation Procedures Pro90 against the Ada Standard Ada83 using the current Ada Compiler Validation Capability ACVC. This Validation Summary Report VSR gives an account of the testing of this Ada implementation. For any technical terms used in this report, the reader is referred to Pro90. A detailed description of the ACVC may be found in the current ACVC Users Guide UG89.

Author(s):

No Author(s) Identified

Author Organization(s):

NATIONAL INST OF STANDARDS AND TECHNOLOGY GAITHERSBURG MD

Descriptive Note:

Final rept.

Pagination:

0074

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:

Approved For Public Release

Distribution Statement:

Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR

Identifying Numbers

Report Number(s):

NIST-90-ACT520-1-1.11

Monitor Series:

AJPO

Subject Terms

Joint Capability Areas:

JCA_5_Command and Control; JCA_5.5_Direct; JCA_5.5.1_Communicate Intent and Guidance; JCA_5.4_Decide; JCA_5.4.3_Establish Rule Sets; JCA_1_Force Support; JCA_5.5.2_Task; JCA_6_Net Centric; JCA_1.3_Human Capital Management; JCA_6.1.3_Switching and Routing; JCA_1.3.2_Personnel Management; JCA_6.1_Information Transport; JCA_1.2_Force Preparation; JCA_5.6.1_Assess Compliance with Guidance; JCA_5.6_Monitor; JCA_6.4.1_Secure Information Exchange; JCA_1.2.3_Educating; JCA_6.4_Information Assurance

Communities of Interest:

Energy and Power Technologies

Descriptor(s):

*COMPILERS, *ADA PROGRAMMING LANGUAGE, VALIDATION

Field(s)/Group(s):

Computer Programming and Software

Keyword(s):

*COMPILERS, *ADA PROGRAMMING LANGUAGE, *COMPUTER PROGRAM VERIFICATION

Report Date:

1991 Jul 31