机译:ada编译器验证摘要报告。证书编号:950615W1.11384。 GreenHills software,Inc.,Green Hills优化ada编译器,版本1.8.7B。 spaRCstation 10在sunOs下,版本4.1.3 - > asT Bravo 386在VxWorks下,5.1
Optimization; Compilers; Ada programming language; Validation; Computers; Targets; Standards; Computer program verification;