| http://www.w3.org/ns/prov#value | - We suggest some high-level programming-language mechanisms, and sketch their implementation in terms of lower-level operations on current rights. (A more detailed blueprint for C# is given below.) We extend the grammar of statements with two constructs, ???Grant (P) {B}??? and ???Accept (P) {B}???, where P is a subset of the static permissions to be amplified and {B} is a block of code containing
|
