机译:ada编译器验证摘要报告:证书编号:910612W1.11167 Telesoft,IB< m ada 370,版本1.2.0(带优化)IBm 4381,mVs / Esa Rel。 3.1(选择)(主持人和目标)。
Optimization; Standardization; Test and evaluation; Compilers; ADA Programming language; Validataion summary reports; Computer program verification;