首页> 美国政府科技报告 >Ada Compiler Validation Summary Report. Certificate Number: 940223W1.11328 Green Hills Software, Inc., Green Hills Optimizing Ada Compiler, 1.8.7 SPARCstation 10 under SunOS, Release 4.1.3.

【24h】

Ada Compiler Validation Summary Report. Certificate Number: 940223W1.11328 Green Hills Software, Inc., Green Hills Optimizing Ada Compiler, 1.8.7 SPARCstation 10 under SunOS, Release 4.1.3.

机译：ada编译器验证摘要报告。证书编号：940223W1.11328 Green Hills software，Inc.，Green Hills优化ada编译器，1.8.7 spaRCstation 10，sunOs，版本4.1.3。

获取原文

页面导航

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

摘要

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-30
总页数 30
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Compilers; Ada programming language; Standards; Validation summary reports; Computer program verification;

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

相似文献

外文文献
中文文献

1. Green Hills Software Releases MULTI v6 and Green Hills Compiler v2012 [J] . Electronics world . 2011,第1907期

机译：Green Hills Software发布MULTI v6和Green Hills Compiler v2012
2. REHABILITATION LITERATURE, 1950-1955. A bibliographic review of the medical care, education, employment, welfare, and psychology of handicapped children and adults. Compiled by Earl C. Graham, Librarian, and Marjorie M. Mullen, Assistant Librarian, National Society for Crippled Children and Adults. 10x7? in. Pp. xi+621. 1956. New York, Toronto, London: The Blakiston Division, McGraw-Hill Book Company Inc. Price $13.00 [J] . C. Davenport The Journal of Bone and Joint Surgery. British VolumecBritish Orthopaedic Association , Australian Orthopaedic Association , Canadian Orthopaedic Association . . . [et al] . 1957,第2期

机译：康复文学，1950-1955年。对残障儿童和成人的医疗，教育，就业，福利和心理的书目评论。由全国残障儿童和成人协会图书管理员伯爵（Earl C. Graham）和助理图书管理员Marjorie M. Mullen编写。 10x7？ in。Pp。 xi + 621。 1956年。纽约，多伦多，伦敦：布拉基斯顿分部，麦格劳-希尔图书公司，价格$ 13.00
3. Green Hills Software Obtains Eal 6+ Operating System Security Certification [J] . JOHN MCHALE Military & Aerospace Electronics . 2008,第12期

机译：Green Hills软件获得Eal 6+操作系统安全认证
4. REHABILITATION LITERATURE, 1950-1955. A bibliographic review of the medical care, education, employment, welfare, and psychology of handicapped children and adults. Compiled by Earl C. Graham, Librarian, and Marjorie M. Mullen, Assistant Librarian, National Society for Crippled Children and Adults. 10x7½ in. Pp. xi+621. 1956. New York, Toronto, London: The Blakiston Division, McGraw-Hill Book Company Inc. Price $13.00 [O] . C. Davenport 1957

机译：康复文学，1950-1955。对残疾儿童和成人的医疗，教育，就业，福利和心理学的书目综述。由Earl C. Graham，图书管理员和Marjorie M. Mullen，助理图书管理员，民族社会，瘫痪儿童和成人组成。 10x7½.PP。 XI + 621。 1956年。纽约，多伦多，伦敦：Blakiston部门，McGraw-Hill Book Company Inc.的价格$ 13.00
5. Ada Compiler Validation Summary Report: Certificate Number: 940223W1.11338 Green Hills Software, Inc. Green Hills Optimizing Ada Compiler, 1.8.7 SPARCstation 10 under SunOS, Release 4.1.3. [R] . 1994

机译：ada编译器验证摘要报告：证书编号：940223W1.11338 Green Hills software，Inc。Green Hills优化ada编译器，1.8.7 spaRCstation 10，sunOs，版本4.1.3。

Ada Compiler Validation Summary Report. Certificate Number: 940223W1.11328 Green Hills Software, Inc., Green Hills Optimizing Ada Compiler, 1.8.7 SPARCstation 10 under SunOS, Release 4.1.3.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅