O'Reilly logo
  • You Wang thinks this is interesting:

write some simple code to do a few simple actions, that change the state of the computation so that the i + 1st assertion holds.


Cover of How to Think About Algorithms


action is to maintain assertion from i to i+1