Contents

• Overview
• Types
  • Basic Types
  • Relations on Basic Types
  
  
• User defined types
  • Type declarations
  • Type definitions
  
  
• Variables and constants
  • Variables
  • Constants
  
  
• References and Dereferences
  • Subscripting and Slicing
  • Specifying Record and Union Fields
  • More Complex Examples
  
  
• Assignment Operators
• Type Equivalence
• Type Conversions
  • Implicit Conversion
  • Explicit Conversion
  
  
• Sequential Control
  • The Skip Statement
  • The Stop Statements
  • The If Statement
  • The For Statement
  • The Exit and Next Statements
  
  
• Operations, Procedures and Processes
  • Operation declarations
  • Proc declarations
  • Operation Invocation
  • Operation Types
  • Operation Capabilities
  • Procedures
  
  
• Resources and Globals
  • Resources
  • Simple resources
  • Separate Spec and Body
  • Imports
  • Creating Resource Instances
  • Using resource capability variables
  • Initial and final code
  • Globals
  
  
• Basic Input and Output
  • Files and File Access
  • Simple I/O
  • Formatted I/O
  • Character I/O
  • Random Access
  • Command Line Arguments
  • External Operations