PL_TDF Definition

  1. 1. Introduction
  2. 2. Notation
    1. 2.1. Syntax description
    2. 2.2. Lexical Units
    3. 2.3. Pre-processing
  3. 3. The Language
    1. 3.1. Semantics
    2. 3.2. Program
    3. 3.3. Tokdec
    4. 3.4. Tokdef
    5. 3.5. Tagdec
    6. 3.6. Tagdef
    7. 3.7. Altagdef
    8. 3.8. Structdef
    9. 3.9. Procdef
  4. 4. First-class SORT expansions
    1. 4.1. Access
    2. 4.2. Al_tag
    3. 4.3. Alignment
    4. 4.4. Bitfield_variety
    5. 4.5. Bool
    6. 4.6. Error_treatment
    7. 4.7. Exp
    8. 4.8. ExpTerm
    9. 4.9. Floating_variety
    10. 4.10. Label
    11. 4.11. Nat
    12. 4.12. Ntest
    13. 4.13. Rounding_mode
    14. 4.14. Shape
    15. 4.15. Signed_Nat
    16. 4.16. String
    17. 4.17. Tag
    18. 4.18. Token
    19. 4.19. Transfer_mode
    20. 4.20. Variety
  5. 5. Control structure and local declarations
    1. 5.1. ConditionalExp and Assertion
    2. 5.2. RepeatExp
    3. 5.3. LabelledExp
    4. 5.4. Local_Defn