机译:ada编译器验证摘要报告。证书编号:890924s1.10231,Bull HN Information systems,Inc。GCOs 8 ada编译系统,版本2.3 Dps 8000主机和Dps 8000目标。完成现场测试:1989年9月24日。
Ada programming language; Compilers; Information systems; Standardization; Test and evaluation; Validation summary reports;