A Concurrent Constraint Programming Interpretation of Access Permissions

Theory and Practice of Logic Programming, 2018.

Cited by: 3|Bibtex|Views6|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments