机译:ada编译器验证摘要报告:证书编号:891116s1.10233,InteraCT Corporation,InteraCT ada mips交叉编译器系统1.0版,microVaX 3100群集主机和集成解决方案中的mIps R2000,INC advantage 2000 Board(裸机mac)
Ada programming language; Compilers; Integrated systems; Standardization; Test and evaluation; Validation summary reports;