3 ms·

SICP spends many pages on this.

• cosmez 8y ago
  right, actually one of the topics were i stopped on my first readings. https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-28.html https://mitpress.mit.edu/sites/default/files/sicp/full-text/...
  • User23 8y ago
    Contextualizing this with Hoare's work on pre and post conditions helped me to understand this chapter. Predication is fundamental to advanced computer science.