WingNews logo WingNews
top | item 38864717

(no title)

tkhattra | 2 years 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/E...

discuss

order

vanderZwan|2 years ago

Geez, 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/E...