← Back to context

Comment by grahamlee

8 days ago

Dijkstra also advocated for proving the correctness of imperative code using the composition of a set of simple rules, and most programmers ignore that aspect of his work too.

3 comments

grahamlee

Reply

seumars 7 days ago

Any specific paper or article of his you would recommend?

sitkack 7 days ago

https://en.wikipedia.org/wiki/Predicate_transformer_semantic...
Found in about 9 seconds.
grahamlee 7 days ago

_A Discipline of Programming_