icon-carat-right menu search cmu-wordmark

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

Technical Report
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.
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 Technical Report

Meyers, B., & Cappelli, D. (1987, July 1). The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures. (Technical Report CMU/SEI-87-TR-018). Retrieved December 22, 2024, from https://insights.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},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/},
note={Accessed: 2024-Dec-22}
}

Meyers, B., and Dawn Cappelli. "The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures." (CMU/SEI-87-TR-018). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, July 1, 1987. https://insights.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," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-87-TR-018, 1-Jul-1987 [Online]. Available: https://insights.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/. [Accessed: 22-Dec-2024].

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

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://insights.sei.cmu.edu/library/the-use-of-representation-clauses-and-implementation-dependent-features-in-ada-iib-experimental-procedures/