Ways to Refine P into Subproblems

• A program pattern

  • Do whatever n times
  • Process input values up until (but not including) a stopping value.

• A sequential refinement

• A case analysis

• An iterative refinement