Local Reasoning for the POSIX File System

DOI10.1007/978-3-642-54833-8_10zbMath1405.68080OpenAlexW185822725MaRDI QIDQ5410699

Philippa Gardner, Adam Wright, Gian Ntzik

Publication date: 16 April 2014

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_10

zbMATH Keywords

separation logicfile systemsPOSIXlocal reasoning

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Abstract local reasoning for concurrent libraries: mind the gap ⋮ Constructing infinitary quotient-inductive types

This page was built for publication: Local Reasoning for the POSIX File System