August 2026
Intermediate
144 pages
4h 23m
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 ...
Read now
Unlock full access