Ada Compiler Validation Summary Report: Certificate Number 921008N1. 11293 International Computers Limited VME Ada Computer VA3.10 ICL Series 39 Level 80

reportActive / Technical Report | Accession Number: ADA259311 | Open PDF

Abstract:

The Ada implementation described above was tested according to the Ada Validation Procedures Pro92 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 Pro92. 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 COMPUTING CENTRE LTD MANCHESTER (UNITED KINGDOM)
Descriptive Note:
Final rept.
Pagination:
0053

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Monitor Series:
AJPO
 Subject Terms
Joint Capability Areas:
JCA_1_Force Support; JCA_5_Command and Control; JCA_1.3_Human Capital Management; JCA_1.3.2_Personnel Management; JCA_1.2_Force Preparation; JCA_6_Net Centric; JCA_6.4.1_Secure Information Exchange; JCA_5.5.2_Task; JCA_5.5_Direct; JCA_1.2.3_Educating; JCA_5.3_Planning; JCA_6.4_Information Assurance; JCA_5.6.1_Assess Compliance with Guidance; JCA_5.6_Monitor; JCA_6.1_Information Transport
Communities of Interest:
Materials and Manufacturing Processes
Descriptor(s):
*COMPUTER PROGRAM VERIFICATION, *ADA PROGRAMMING LANGUAGE, COMPUTER PROGRAMS, COMPUTER PROGRAM RELIABILITY, COMPILERS
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
ADA VALIDATION PROCEDURE
Report Date:
1992 Oct 08