An Implementation of an Applicative File System
No abstract available.
Related papers
- Extensible File Systems (ELFS): An Object-Oriented Approach to High Performance File I/O OOPSLA 1994
- Specializing Data Access in a Distributed File System (Generative Pearl) GPCE 2024
- Incremental forest: a DSL for efficiently managing filestores OOPSLA 2016
- Error propagation analysis for file systems PLDI 2009
- Axiomatic Bootstrapping: A Guide for Compiler Hackers TOPLAS 1994
- New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair SAS 2018
- Encapsulation Constructs in Systems Programming Languages TOPLAS 1984
- Forest: a language and toolkit for programming with filestores ICFP 2011