| ▲ | grahamlee 15 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. | ||||||||||||||
| ▲ | seumars 15 days ago | parent [-] | |||||||||||||
Any specific paper or article of his you would recommend? | ||||||||||||||
| ||||||||||||||