4.15 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-int: Interrupting Execution
• ref-ere-sum: Summary of Predicates