Modular rollback through control logging: a pair of twin functional pearls

DOI10.1145/2034773.2034783MaRDI QIDQ5176963zbMATH OpenOpenAlexFDO

Authors Olin Shivers, Aaron Turon

Publication date 5 March 2015

Published in Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2034773.2034783

zbMATH Keywords

checkpointdelimited controlerror repair

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Controlling Reversibility in Higher-Order Pi
• Checkpoint/rollback vs causally-consistent reversibility
• Concurrent flexible reversibility
• Backtracking, interleaving, and terminating monad transformers (functional pearl)
• Controlled Reversibility and Compensations

Cited in

(2)

• Doo bee doo bee doo
• On system rollback and totalized fields: an algebraic approach to system change

This page was built for publication: Modular rollback through control logging: a pair of twin functional pearls

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176963)