The Ada Compiler Validation Capability

  title={The Ada Compiler Validation Capability},
  author={John B. Goodenough},
The Ada Compiler Validation Capability consists of tests, tools, procedures, and documentation designed to enforce (and encourage) development of compilers that conform to the Ada language Standard. In this paper, we discuss our approach to solving the principal problems faced in developing and using such a capability. 
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
15 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…