机译:ada编译器验证摘要报告:证书号910314N1.11134 sD-sCICON UK LImITED,XD ada mC68000版本1.2本地VaX群集(包括VaXserver 3600,2 microVaX 2000和1 microVaX II)主机和mC68000处理器在mVmE117-3上
Standardization; Test and evaluation; Compilers; Ada programming language; Validatiaon summary reports; Standards; Computer program verification;