This poster showing the grammar of Pascal in colourful railroad diagrams is rather glorious! Found in “50 Years of Pascal”: cacm.acm.org/magazines/2021
read image description
ALT
6
19
87
Conversation
How about Oberon? :O
3
Also, can somebody come up with 'railroad diagrams' for inference rules?
1
3
2
how do they look?
1
The idea is that you each inference rule is kind of a 'branch node' and the axioms are 'leaf nodes' and you slot them together to build a proof tree.
2
1
oh yes! these look very diagrammable!
1
1
Show replies