首页> 美国政府科技报告 >Ada Complier Validation Summary Report: Certificate Number: 940929S1.11378.Digital Equipment Corporation DEC Ada for DEC OSF/1 AXP Systems, Version 3.2; DEC 3000 Model 400 AXP Workstation => DEC 3000 Model 400 AXP Workstation

【24h】

Ada Complier Validation Summary Report: Certificate Number: 940929S1.11378.Digital Equipment Corporation DEC Ada for DEC OSF/1 AXP Systems, Version 3.2; DEC 3000 Model 400 AXP Workstation => DEC 3000 Model 400 AXP Workstation

机译：ada Complier验证摘要报告：证书编号：940929s1.11378。数字设备公司DEC ada用于DEC OsF / 1 aXp系统，版本3.2; DEC 3000 400型aXp工作站=> DEC 3000型400 aXp工作站

获取原文

页面导航

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

摘要

The Ada implementation described above was tested according to the Ada ValidationProcedures 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.

著录项

作者

展开▼
作者单位

展开▼
年度 1994
页码
总页数 77
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Validation; Compilers; Ada programming language; Facilities; Standards;

机译：验证;编译器; ada编程语言;设施;标准;

相似文献

外文文献
中文文献
专利

1. ENSO and Pacific Decadal Variability in the Community Climate SystemTI ENSO and Pacific Decadal Variability in the Community Climate System Model Version 4 [J] . Deser C, Phillips AS, Tomas RA, Journal of Climate . 2012,第8期

机译：ENSO和社区气候系统中的太平洋年代际变化TI ENSO和社区气候系统模型中的太平洋年代际变化第4版
2. Strategic Decision Models Cross-Validation by Use of Decision Reports Information Extraction [J] . Lucian Hancu International journal of computers, communications and control . 2014,第5期

机译：利用决策报告信息提取进行战略决策模型交叉验证
3. Strategic Decision Models Cross-Validation by Use of Decision Reports Information Extraction [J] . Lucian Hancu IAENG Internaitonal journal of computer science . 2014,第5期

机译：利用决策报告信息提取进行战略决策模型交叉验证
4. The design of the DEC 3000 Model 500 AXP workstation [C] . Dutton, T.A. . 1993

机译：DEC 3000 500型AXP工作站的设计
5. Toward a Model of Intercultural Warrant: A Case of the Korean Decimal Classification's Cross-cultural Adaptation of the Dewey Decimal Classification [D] . Choi, Inkyung. 2018

机译：建立一种跨文化权证模型：以韩国十进制分类法对杜威十进制分类法的跨文化适应为例
6. Degradation of Aroclor 1242 Dechlorination Products in Sediments by Burkholderia xenovorans LB400(ohb) and Rhodococcus sp. Strain RHA1(fcb) [O] . Jorge L. M. Rodrigues, C. Alan Kachel, Michael R. Aiello, 2006

机译：伯克霍尔德菌xenovorans LB400（ohb）和红球菌（Rhodococcus sp。）对沉积物中Aroclor 1242脱氯产物的降解。菌株RHA1（fcb）
7. High-performance TCP/IP and UDP/IP Networking in DEC OSF/1 for Alpha AXP [O] . Chran-ham Chang, Richard Flower, John Forecast, 1994

机译：用于alpha aXp的DEC OsF / 1中的高性能TCp / Ip和UDp / Ip网络

Ada Complier Validation Summary Report: Certificate Number: 940929S1.11378.Digital Equipment Corporation DEC Ada for DEC OSF/1 AXP Systems, Version 3.2; DEC 3000 Model 400 AXP Workstation => DEC 3000 Model 400 AXP Workstation

摘要

著录项

相似文献

相关主题

期刊订阅