6 Loops, Exception Handling, and Threads

We now discuss loops in some more detail. We then introduce two new control concepts: exception handling and threads. Exception handling can be used to quit loops or recursive procedures. It is also important for error handling. Threads are the most important ingrediant for concurrent processes. Concurrency is ubiquitiously useful: for functional, internet, and constraint programming. Concurrent threads are fully supported by Oz in contrast to many other programming languages, including high-level languages such as SML and Lisp.

• 6.1 Loops
  • 6.1.1 Basic Loops
  • 6.1.2 Loops by Recursion
  • 6.1.3 Parallel Iteration
  • 6.1.4 Quit a Loop
  • 6.1.5 Loops and State

• 6.2 Example: Finite Automata
  • 6.2.1 Membership
  • 6.2.2 Emptyness

• 6.3 Exception Handling
  • 6.3.1 Basic Statements
  • 6.3.2 Quit Recursion
  • 6.3.3 Quit Loops

• 6.4 Concurrent Threads and Logic Variables

• 6.5 Debugger

• 6.6 Exercises

• 6.7 Program Collection