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
1
2
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.
Yeah I reckon so! I think the big issue I have with them though is scaling them to full language specs - the current inference rule notation works for small stuff, but can get unmanageable quickly.
1
1
Show replies
Yeah, seen that before - it's pretty neat!
1
1
Show replies