Some General Program Schemata

We have already introduced some list processing schemata. Now we discuss some further very general program schemata.

• Generate --- Test
• Finite and Infinite Generators
• Test --- Process
• Failure-Driven Loop
• Some Practical Problems
  • Commit
  • Satisfy Once Only
  • Fail Goal Now