| http://www.w3.org/ns/prov#value | - However, the problem remains: it seems like this is the sort of thing we should be able to statically preclude (using a type system), or at least warn programmers about ahead of time (using a static analysis).Typestate-oriented programmingBoth of these appro
|
