INCITS/ISO/IEC 10206 : 1991

Introduction
1 Scope
2 Normative reference
3 Definitions
  3.1 Dynamic-violation
  3.2 Error
  3.3 Extension
  3.4 Implementation-defined
  3.5 Implementation-dependent
  3.6 Processor
4 Definitional conventions
5 Compliance
  5.1 Processors
  5.2 Programs
6 Requirements
  6.1 Lexical tokens
       6.1.1 General
       6.1.2 Special-symbols
       6.1.3 Identifiers
       6.1.4 Remote-directives
       6.1.5 Interface-directives
       6.1.6 Implementation-directives
       6.1.7 Numbers
       6.1.8 Labels
       6.1.9 Character-strings
       6.1.10 Token separators
       6.1.11 Lexical alternatives
  6.2 Blocks, scopes, activations, and states
       6.2.1 Blocks
       6.2.2 Scopes
       6.2.3 Activations
       6.2.4 States
  6.3 Constants
       6.3.1 General
       6.3.2 Example of a constant-definition-part
  6.4 Types and schemata
       6.4.1 Type-definitions
       6.4.2 Simple-types
       6.4.3 Structured-types
       6.4.4 Pointer-types
       6.4.5 Compatible types
       6.4.6 Assignment-compatibility
       6.4.7 Schema-definitions
       6.4.8 Discriminated-schemata
       6.4.9 Type-inquiry
       6.4.10 Example of a type-definition-part
  6.5 Declarations and denotations of variables
       6.5.1 Variable-declarations
       6.5.2 Entire-variables
       6.5.3 Component-variables
       6.5.4 Identified-variables
       6.5.5 Buffer-variables
       6.5.6 Substring-variables
  6.6 Initial states
  6.7 Procedure and function declarations
       6.7.1 Procedure-declarations
       6.7.2 Function-declarations
       6.7.3 Parameters
       6.7.4 Required procedures and functions
       6.7.5 Required procedures
       6.7.6 Required functions
  6.8 Expressions
       6.8.1 General
       6.8.2 Constant-expressions
       6.8.3 Operators
       6.8.4 Schema-discriminants
       6.8.5 Function-designators
       6.8.6 Function-accesses
       6.8.7 Structured-value-constructors
       6.8.8 Constant-accesses
  6.9 Statements
       6.9.1 General
       6.9.2 Simple-statements
       6.9.3 Structured-statements
       6.9.4 Threats
  6.10 Input and output
       6.10.1 The procedure read
       6.10.2 The procedure readln
       6.10.3 The procedure write
       6.10.4 The procedure writeln
       6.10.5 The procedure page
  6.11 Modules
       6.11.1 Module-declarations
       6.11.2 Export-part
       6.11.3 Import-specifications
       6.11.4 Required interfaces
       6.11.5 Example of a module
       6.11.6 Examples of program-components that are
              module-declarations
       6.11.7 Example of exporting a range of
              enumerated-type values
  6.12 Main-program-declarations
  6.13 Programs
Annexes
Annex A Collected syntax
Annex B Incompatibilities with Pascal standards
Annex C Required identifiers
Annex D Errors and dynamic-violations
Annex E Implementation-defined features
Annex F Implementation-dependent features
Annex G Bibliography
Index