Reference. TxForest: A DSL for Concurrent Filestores
Cite
Cites 11 works (1 here)
With notes (1)
PADS: a domain-specific language for processing ad hoc data fisher-2005-pads
External (10)
- Incremental forest: a DSL for efficiently managing filestores (2016)
- The Design and Implementation of the Warp Transactional Filesystem (2016)
- Forest: a language and toolkit for programming with filestores (2011)
- High-level small-step operational semantics for transactions (2008)
- Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem (2007)
- Tool demonstration: A zipper based file/operating system (2005)
- Transactional file systems can be fast (2004)
- The PerDiS FS: a transactional file system for a distributed persistent store (1998)
- The Zipper (1997)
- Experience with transactions in QuickSilver (1991)