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