A Concurrent Constraint Programming Interpretation of Access Permissions
Theory and Practice of Logic Programming, 2018.
A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of AP source code annotations defines a protocol specifying how object references can access the mutable state of objects. Although the use of APs simplifies the t...More
Full Text (Upload PDF)
PPT (Upload PPT)