7 ms·

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 o

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.

seumars 1y ago
Any specific paper or article of his you would recommend?
- sitkack 1y ago
  https://en.wikipedia.org/wiki/Predicate_transformer_semantics https://en.wikipedia.org/wiki/Predicate_transformer_semantic... Found in about 9 seconds.
- grahamlee 1y ago
  _A Discipline of Programming_