A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Abstract Read Permissions: Fractional Permissions without the Fractions
[chapter]
2013
Lecture Notes in Computer Science
Fractional Permissions are a popular approach to reasoning about programs that use shared-memory concurrency, because they provide a way of proving data race freedom while permitting concurrent read access. However, specification using fractional permissions typically requires the user to pick concrete mathematical values for partial permissions, making specifications overly low-level, tedious to write, and harder to adapt and re-use. This paper introduces abstract read permissions: a flexible
doi:10.1007/978-3-642-35873-9_20
fatcat:hrh7jvlitffuramsqo7q55rl6q