August 2026
Intermediate
138 pages
2h 57m
English

This chapter explains how to create an algorithm outline—a sequence of invariant outcomes. Imagine that you run a large wedding-planning business and you want a grand algorithm that your planners can use. How do you arrive at suitable intermediate outcomes for the algorithm? A good way is to picture a successful, completed wedding (the postconditions). You would see a venue, guests, flowers, an officiator, and so on. Those elements would strongly suggest outcomes for your planning algorithm, such as “Guest list determined” and “Venue booked.” In short, algorithm outcomes are derived by working backward ...
Read now
Unlock full access