The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures

SEI Report
This report discusses experimental procedures for assessing Ada compiler support for representation clauses and implementation-dependent features.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-87-TR-018

Abstract

This report is one in a series dealing with the use of representation clauses and implementation-dependent features in Ada. The purpose of this report is to discuss detailed experimental procedures to assess compiler support. It is readily acknowledged that the domain of possible experimentation is large. To facilitate the experimentation, a methodology is proposed that relies on program generators and automated analysis tools. An example of the methodology is presented in some detail.

Cite This SEI Report

Meyers, B., & Cappelli, D. (1987, July 1). The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures. (SEI Report CMU/SEI-87-TR-018). Retrieved September 16, 2026, from https://www.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/.

@techreport{meyers_1987,
author={Meyers, B. and Cappelli, Dawn},
title={The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures},
month={Jul},
year={1987},
number={{CMU/SEI-87-TR-018},
institution={Software Engineering Institute, Carnegie Mellon University},
url={https://www.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/},
note={Accessed: 2026-Sep-16}
}

Meyers, B., and Dawn Cappelli. "The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures." (CMU/SEI-87-TR-018). Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, July 1, 1987. https://www.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/.

B. Meyers, and D. Cappelli, "The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures," Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, SEI Report CMU/SEI-87-TR-018, 1-Jul-1987 [Online]. Available: https://www.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/. [Accessed: 16-Sep-2026].

Meyers, B., and Dawn Cappelli. "The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures." (SEI Report CMU/SEI-87-TR-018). Software Engineering Institute, Carnegie Mellon University, Software Engineering Institute, 1 Jul. 1987. https://www.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/. Accessed 16 Sep. 2026.

Meyers, B.; & Cappelli, Dawn. The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures. CMU/SEI-87-TR-018. Software Engineering Institute. 1987. https://www.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/