Implementing permission analysis

Authors:
John Boyland;William S. Retert
Affiliations:
The University of Wisconsin - Milwaukee;The University of Wisconsin - Milwaukee
Venue:
Implementing permission analysis
Year:
2009

Citing 0
Cited 4

Comprehending annotations on object-oriented programs using fractional permissions

International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Semantics of fractional permissions with nesting

ACM Transactions on Programming Languages and Systems (TOPLAS)
Alternate annotation checkers using fractional permissions

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Fractional permissions

Aliasing in Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Annotations allow programmers to express design intent. A system of quasi-linear fractional permissions can support a wide range of program annotations; however, checking the fractional permissions is nontrivial. Permission checking can be approximated, with formal rules and a fully implemented control flow analysis, well enough to accurately check uniqueness and effects annotations.