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