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

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. Representation clauses and other machine-dependent features provide the capability to interact between an application program and the machine. For example, pragma PACK may be specified to minimize storage allocation for array and record types. There are also representation clauses for specifying the amount of storage to be used for a particular type, specifying the values associated with enumerated data types, and defining the precise storage layout of data within a record structure. Furthermore, there are representation clauses that allow a program to access a specific address and specify information concerning tasking.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1987
Accession Number
ADA200602

Entities

People

  • Andrea L. Cappellini
  • B. C. Meyers

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Application Software
  • Artificial Intelligence
  • Case Studies
  • Classification
  • Compilers
  • Computer Programming
  • Computer Programs
  • Data Analysis
  • Department Of Defense
  • Experimental Design
  • Expert Systems
  • Generators
  • High Level Languages
  • Instruction Set Architecture
  • Language
  • Law
  • Software Development

Fields of Study

  • Computer science

Readers

  • Computer Vision.
  • Software Verification and Validation.
  • Systems Analysis and Design