| http://www.w3.org/ns/prov#value | - This can be done statically by alias analysis or dynamically by various other means. [0174] The statically analyzable case is a common one, and the protector 40 may be designed to take full advantage of this fact for the sake of performance. [0175] The general aliasing problem for sufficiently powerful programming languages, such as C, C++, and their allies, is undecidable; i.e. it is known on the
|
