Declarations and Specifications

  • Wilhelm Gehrke


Specification statements are nonexecutable statements. They are used, for example, to specify properties of data entities and subprograms or to specify the accessibility of certain entities in modules. Every data entity has a type, a rank and, if necessary, other properties. Most of these properties are called attributes. If a data entity has a name, that is, if it is a named variable, a named constant, or a function result, then these attributes may be specified in a type declaration statement, by separate specification statements, or they are given implicitly.


Save Statement Data Entity Length Specification Variable List Save Attribute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1996

Authors and Affiliations

  • Wilhelm Gehrke
    • 1
  1. 1.Regional Computing CentreUniversity of HannoverHannoverGermany

Personalised recommendations