Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
grahamlee
8 months ago
|
parent
|
context
|
favorite
| on:
Dijkstra On the foolishness of "natural language p...
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.
ale
8 months ago
[–]
Any specific paper or article of his you would recommend?
sitkack
8 months ago
|
parent
|
next
[–]
https://en.wikipedia.org/wiki/Predicate_transformer_semantic...
Found in about 9 seconds.
grahamlee
8 months ago
|
parent
|
prev
[–]
_A Discipline of Programming_
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
