Lightweight checkpointing for concurrent ML

DOI10.1017/S0956796810000067zbMath1214.68122MaRDI QIDQ3564920

Suresh Jagannathan, Lukasz Ziarek

Publication date: 26 May 2010

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

stabilizerstransient faults

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

Related Items (2)

Causal-consistent rollback in a tuple-based language ⋮ Controlling Reversibility in Higher-Order Pi

Uses Software

• MLton

Cites Work

• Partial memoization of concurrency and communication
• Transactional events
• Transactional events for ML

This page was built for publication: Lightweight checkpointing for concurrent ML