首页> 美国政府科技报告 >Ada Compiler Validation Summary Report: Certificate Number: 940305W1.11335 TLD Systems, Ltd. TLD Comanche VAX/i960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1.

【24h】

Ada Compiler Validation Summary Report: Certificate Number: 940305W1.11335 TLD Systems, Ltd. TLD Comanche VAX/i960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1.

机译：ada编译器验证摘要报告：证书编号：940305W1.11335 TLD系统有限公司TLD Comanche VaX / i960 ada编译器系统，版本4.1.1 Vms 5.5下的VaX集群=> TLD实时执行下的Tronix JIaWG执行工具（i960mX），版本4.1.1。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The Ada implementation described 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.

著录项

作者

展开▼
作者单位

展开▼
年度 1994
页码 1-96
总页数 96
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Compilers; Ada programming language; Standards; Validation summary reports; Computer program verification;

机译：编译器; ada编程语言;标准;验证摘要报告;计算机程序验证;

相似文献

外文文献

1. Ada Compiler Validation Summary Report: Certificate Number: 940305W1.11335 TLD Systems, Ltd. TLD Comanche VAX/1960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1. [R] . 1994

机译：ada编译器验证摘要报告：证书编号：940305W1.11335 TLD systems，Ltd。TLD Comanche VaX / 1960 ada编译器系统，版本4.1.1 Vms 5.5下的VaX集群=＆gt; TLD实时执行，版本4.1.1下的Tronix JIaWG执行车辆（i960mX）。

Ada Compiler Validation Summary Report: Certificate Number: 940305W1.11335 TLD Systems, Ltd. TLD Comanche VAX/i960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1.

摘要

著录项

相似文献

相关主题

期刊订阅