| http://www.w3.org/ns/prov#value | - er set to the succeeding block, and including the step of tracing through each block of said flow graph in a reverse direction, and for each said block passing the input-register set to a predecessor block, and in each predecessor block updating the input-register set to include registers in the input-register set passed to this predecessor block by a successor block and not in the written-registe
|
