菲利普·加德纳;Gian Ntzik;亚当·赖特 POSIX文件系统的本地推理。 （英语） Zbl 1405.68080号 Shao，Zhong（编辑），《程序设计语言和系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。计算机科学课堂讲稿8410，169-188（2014）。 摘要：我们提供了一个程序逻辑，用于指定顺序POSIX文件系统的核心子集，并抽象地推理与文件系统一起工作的客户端程序。关于整个系列，请参见[Zbl 1284.68032号]. 引用于2文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70号 计算机科学中的逻辑 关键词：文件系统;波斯;局部推理;分离逻辑 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}等人，Lect。票据计算。科学。8410、169--188（2014年；Zbl 1405.68080） 全文： 内政部