Snapshottable Stores | Proceedings of the ACM on Programming Languages

We say that an imperative data structure is snapshottable or supports snapshots if we can efficiently capture its current state, and restore a previously captured state to become the current state again. This is useful, for example, to implement ...