Reasoning about the POSIX file system: local update and global pathnames-Reference-Cited by-同舟云学术

Reasoning about the POSIX file system: local update and global pathnames

Published:2015-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
language:
Short-container-title:

Author:

Ntzik Gian¹,Gardner Philippa¹

Affiliation:

1. Imperial College London, UK

Funder

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2814270.2814306

Reference24 articles.

1. POSIX.1-2008 IEEE 1003.1-2008 The Open Group Base Specifications Issue 7. URL http://pubs.opengroup. org/onlinepubs/9699919799/. POSIX.1-2008 IEEE 1003.1-2008 The Open Group Base Specifications Issue 7. URL http://pubs.opengroup. org/onlinepubs/9699919799/.

2. Verifying a File System Implementation

3. Models and Separation Logics for Resource Trees

4. Permission accounting in separation logic

5. Variables as Resource in Separation Logic

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The CoLiS platform for the analysis of maintainer scripts in Debian software packages;International Journal on Software Tools for Technology Transfer;2022-09-23

2. PerSeVerE: persistency semantics for verification under ext4;Proceedings of the ACM on Programming Languages;2021-01-04

3. Analysing installation scenarios of Debian packages;Tools and Algorithms for the Construction and Analysis of Systems;2020

4. Program Verification in the Presence of I/O;Lecture Notes in Computer Science;2018

5. Co-Design and Verification of an Available File System;Lecture Notes in Computer Science;2017-12-29