| http://www.w3.org/ns/prov#value | - And since there is an awful lot of investments these days both for Microsoft and other people but certainly our research division around static type verifiers, which offer a lot more guarantees that you would otherwise get simply by being another compiler in your statically typed language.
|