机译:ada(商标)编译器验证摘要报告:证书编号871209s1.09015,Digital Equipment Corporation VaX ada,版本1.5。主机:VaX / Vms版本4.7下的VaX 8800。目标:VaXELN工具包下的microVaX II,Versio
Compilers; Standardization; Identification; Length; Numbers; Test and evaluation; Validation; Value; High level languages;