Software Engineering, Programming Languages, Programming, Saga.
compensation ¬a is equivalent to not executing a in the first place — again something our SOS does not express. a • ¬a ≈ ε However, if any compensation fails, all is lost 💀 Conclusion Small-step operational semantics give meaning to definitions by providing a precise specification of their