Compilers; Ada programming language; Validation; Modification; Test and evaluation; Validation summary reports; Computer program verification;
机译:ada编译器验证摘要报告:证书编号:940630W1.11362,Rational software Corporation,VaDscross IBm RIsC system / 6000 aIX 3.2.3 => mIps R4000,版本6.2,IBm Explorer下的IBm RIsC system / 6000 model 530 => sGI Indigo Xs4000(用作