Pages that link to "Item:Q3314973"
From MaRDI portal
The following pages link to Specification of the UNIX Filing System (Q3314973):
Displaying 10 items.
- Formalizing a hierarchical file system (Q432156) (← links)
- Mechanising a formal model of flash memory (Q1004295) (← links)
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- The programming language C and the operating system UNIX (Q1094863) (← links)
- Query languages for hierarchic databases (Q1201723) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- A mini challenge: build a verifiable filesystem (Q2643130) (← links)
- Formalizing a Hierarchical File System (Q2994491) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)
- Preface (Q5970649) (← links)
