机译:ada编译器验证摘要报告:证书编号:940325s1.11352 DDC-I DaCs sun spaRC / solaries到pentium pm Bare ada交叉编译器系统,版本4.6.4 sun spaRCclassic => Intel pentium(作为裸机操作)基于Xpress Desktop(英特尔产品编号:XBasE6E4F-B)。
Ada programming language; Compilers; Operating systems(Computers); Software engineering; Validation summary reports; Standards; Computer program verification;