← Back to context

Comment by grahamlee

3 months 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