The Ada (Trade Name) Compiler Validation Capability Implementers' Guide. Version 1,
John Bannister Goodenough · 1986
Abstract : The primary purpose of the Ada Compiler Validation Capability (ACVC ) is to help decide whether Ada translators conform to ANSI/MIL-STD-1815A-1983, 'The Reference Manual for the Ada Language' (the RM). The ACVC has three main components: An Implementers' Guide, which describes implementation implications of the RM and the conditions to be checked by validation tests, test programs to be submitted to a compiler, and validation support tools, which assist in preparing tests for execution and in analyzing the results of execution.