| http://www.w3.org/ns/prov#value | - We can see some additional machinery in the last C++ revision, which adds support for GC and allows to specify memory areas as guaranteed to not contain pointers".This is a key point.Languages such as C# or Java forbid modification of memory which is not associated to a type: they have intrinsic knowledge of what it is being allocated.
|
