机译:ada编译器验证摘要报告:证书编号:890825I1.10176 sYsTEam KG。 sYsTEam ada编译器VaX / Vms x mC68020 / BaRE VaX 8530主机和motorola mC68020目标。
Compilers; Ada programming language; Standards; Test and evaluation; Foreign technology; Validation summary reports; ACVC(ADA Compiler Validation Capability);
机译:十年基于工具的Ada编译器验证经验报告