This blog post was inspired by our work at the Dagstuhl seminar “Notional Machines and Programming Language Semantics in Education“. We spent wonderful five days discussing the definition, roles and, design of Notional Machines. I would like to thank the organizers of the event, Mark Guzdial, Shriram Krishnamurthi, Juha Sorva and Jan Vahrenhold for this great opportunity… Read more