John B. Goodenough
Abstract
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.
- Oliver P., Experiences in building and using compiler validation systems. Proc. NCC 1979. 1051--1057.Google Scholar
Cross Ref
- Hoyt, P. M., The Navy Fortran validation system. Proc. NCC 1977, 529--537.Google Scholar
- Wichmann, B. A. and Sale, A. H. J., A Pascal processor validation suite. National Physical Laboratories Report CSU 7/80, Teddington, England, March 1980.Google Scholar
- ALGOL 68 Test Set, Mathematisch Centrum, 2e Boerhaavestraat 49, Amsterdam, 1979.Google Scholar
- Reference Manual for the Ada Programming Language. Proposed Standard Document, Department of Defense, July 1980.Google Scholar
- Contract Deliverables List. DoD RFP MDA903-79-R-0277, 3 July 1979.Google Scholar
- Wichmann, B. A. and Jones, B. Testing Algol 60 compilers. Software -- Practice and Experience 6, 2 (April-June 1976), 261--270.Google Scholar
Index Terms
- The Ada compiler validation capability
Recommendations
The Ada compiler validation capability
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on Ada programming languageThe 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 ...
The Ada Compiler Validation Capability
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on The ADA programming languageThe 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 ...
Towards a compiler front-end for Ada
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on The ADA programming languageThis paper discusses the current development of a compiler front-end for Ada at the University of Karlsruhe. The front-end is independent of the target-machine and will compile Ada into an intermediate language AIDA, essentially an attributed structure ...
Comments