Local Reasoning for the POSIX File System
No abstract available.
Related papers
- Reasoning about the POSIX file system: local update and global pathnames OOPSLA 2015
- A Concurrent Specification of POSIX File Systems ECOOP 2018
- The Design of a Self-Compiling C Transpiler Targeting POSIX Shell SLE 2024
- Executable formal semantics for the POSIX shell POPL 2020
- Morbig: a static parser for POSIX shell SLE 2018
- Stayin' alert: : moulding failure and exceptions to your needs GPCE 2006
- Speeding up the Local C++ Development Cycle with Header Substitution CGO 2025
- Synthesizing configuration file specifications with association rule learning OOPSLA 2017