Software Engineering, Programming Languages, Programming, Saga.
failure and no retry budget left, we have a chance to execute observably equivalent to not at all: trace(P) = a • b • b • ¬a • success But once again we need the cooperation of the developer: Backward recovery relies on the principle that the effect of executing a and later executing its