(www.cs.utexas.edu)

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

1. 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 #

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

>>43565932 (TP) #

Any specific paper or article of his you would recommend?

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

3. sitkack ◴[03 Apr 25 16:28 UTC] No.43572067[source]▶

>>43566581 #

https://en.wikipedia.org/wiki/Predicate_transformer_semantic...

Found in about 9 seconds.

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

>>43566581 #

_A Discipline of Programming_

↑

Dijkstra On the foolishness of "natural language programming"