机译:ada编译器验证摘要报告。证书编号:920805s1.11264 DDC-I,Inc。DaCs DECstation / ULTRIX到mIp R3000 Bare ada交叉编译器系统,版本2.1-16 DECstation 3100 =>集成器件技术IDT7Rs301 R3000 / R3010板。
Compilers; Ada programming language; Standards; Validation summary reports; Computer program verification;