4 ms·
> He really was the first to get serious about formalizing concurrency. P and V, and all that. The computer science of concurrency began with Dijkstra, not Wir
by tkhattra 3y ago
> He really was the first to get serious about formalizing concurrency. P and V, and all that.
The computer science of concurrency began with Dijkstra, not Wirth. And it was Dijkstra who introduced the P and V semaphore operations [1].
[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD123.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/E...
- Animats 3y agoOops, right.
- vanderZwan 3y agoGeez, he did that too? I'm on a concatenative language chat server (you know, Forth, Joy, Factor, Kitten and the like), and someone recently realized one of his earliest papers from 1962 is one of the first to highlight the generality of stack-based languages. Like it's already halfway there towards a proper Forth. [0] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD00xx/EWD28.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD00xx/E...