Decision Procedures over Sophisticated Fractional Permissions

@inproceedings{Le2012DecisionPO,
  title={Decision Procedures over Sophisticated Fractional Permissions},
  author={Xuan Bach Le and Cristian Gherghina and Aquinas Hobor},
  booktitle={APLAS},
  year={2012}
}
Fractional permissions enable sophisticated management of resource accesses in both sequential and concurrent programs. Entailment checkers for formulae that contain fractional permissions must be able to reason about said permissions to verify the entailments. We show how entailment checkers for separation logic with fractional permissions can extract equation systems over fractional shares. We develop a set decision procedures over equations drawn from the sophisticated boolean binary tree… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…