Have a look at these diagrams for PL concepts, but done formally and with execution rules: https://tnttodda.github.io/Spartan-Visualiser/ https://tnttodda.gith

Have a look at these diagrams for PL concepts, but done formally and with execution rules: https://tnttodda.github.io/Spartan-Visualiser/ https://tnttodda.github.io/Spartan-Visualiser/