Affiliation:
1. SofTech, Inc., Waltham, Mass.
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference7 articles.
1. Experiences in building and using compiler validation systems
2. ALGOL 68 Test Set Mathematisch Centrum 2e Boerhaavestraat 49 Amsterdam 1979. ALGOL 68 Test Set Mathematisch Centrum 2e Boerhaavestraat 49 Amsterdam 1979.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrated language definition testing;ACM SIGPLAN Notices;2011-10-18
2. Certification of software for real-time safety-critical systems: state of the art;Innovations in Systems and Software Engineering;2009-06
3. Ada Programming Language;Encyclopedia of Software Engineering;2002-01-15
4. ADA---the project;History of programming languages---II;1996-01
5. Testing of Ada compiler diagnostics;ACM SIGAda Ada Letters;1993-07