An integrated tool environment for Ada compiler validations

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An integrated tool environment for Ada compiler validations

Full text

Pdf (684 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '93 table of contents

Seattle, Washington, United States

Pages: 268 - 276

Year of Publication: 1993

ISBN:0-89791-621-2

Author

Michael Tonndorf

Ada Validation Facility, Industrieanlagen-Betriebsgesellschaft mbH (IABG), Department Software-Technology ITE, Einsteinstraβe 20, D-85521 Ottobrunn, Germany

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 4, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/170657.170739 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ARM 83	Reference Manual for the A da Programming Language, ANSi/-MiL-STD 1816A, Washington D.C., 1983.
	Pro 92	,4 da Compiler Validation Procedures, Version 3.1. Aria Joint Program Office, US Department of Defense, 1992.
	Tonndorf 93	Michael Tonndorf, An Efficient Compiler Validation Method for Ada 9X, Proceedings of the 12th Ada-Europe International Conference, p.95-107, June 14-18, 1993