Software Engineering, Programming Languages, Programming, Saga.
Photo by Luca Bravo on Unsplash  A formal model of Sagas Small-step operational semantics (SOS) are often used for the specification and verification of programming languages — although SOS can be used for the specification and verification of entire systems. In this post, I will design SagaLang, a