http://www.w3.org/ns/prov#value | - ectable if each computational path to (a)reads at some point (say ) where is ready at , and(b)does not read between and .The semiexpectation analysis is a backward analysis that takes as an input a set of statements and memory locations (the semiexpectable set of the last program point).
|