| http://www.w3.org/ns/prov#value | - It is apparent to many system architects however, that programs that employ such encodings (e.g., encodings to distinguish between pointers and integer values) are not verifiable when executed on a managed execution environment such as a Common Language Runtime or a Java Virtual Machine.
|
