机译:ada编译器验证摘要报告:证书编号:901108W1.11061 meridian software systems,Inc。meridian ada,版本4.1 stardent / Unix 3.0下的stardent Titan p3 = stardent / Unix 3.0下的stardent Titan p3。
Ada programming language; Compilers; Standardization; Test and evaluation; Validation summary reports;