Stabilizers: a modular checkpointing abstraction for concurrent functional programs.

Lukasz Ziarek Philip Schatz Suresh Jagannathan

Published in: ICFP (2006)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
distributed databases
logic programs
concurrent processes
functional language
main memory databases
stochastic grammar
distributed database systems
distributed systems
knowledge base
high level
logic programming