Errors and Exceptions

• ref-ere-ove: Overview
• ref-ere-rex: Raising Exceptions
• ref-ere-hex: Handling Exceptions
• ref-ere-err: Error Classes
• ref-ere-exa: An Example
• ref-ere-ecr: Exceptions and Critical Regions
• ref-ere-sum: Summary of Predicates and Functions
• ref-ere-sli: Summary of Relevant Libraries