(www.cs.utexas.edu)

448 points nimbleplum40 | 1 comments | 03 Apr 25 03:30 UTC | HN request time: 0.209s | source

Show context

grahamlee ◴[03 Apr 25 07:12 UTC] No.43565932[source]▶

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.

replies(1): >>43566581 #

seumars ◴[03 Apr 25 08:26 UTC] No.43566581[source]▶

>>43565932 #

Any specific paper or article of his you would recommend?

replies(2): >>43572067 #>>43575725 #

1. grahamlee ◴[03 Apr 25 21:32 UTC] No.43575725[source]▶

>>43566581 #

_A Discipline of Programming_

↑

Dijkstra On the foolishness of "natural language programming"