Y
Hacker News
new
|
ask
|
show
|
jobs
by
User23
2689 days 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.