| http://www.w3.org/ns/prov#value | - In particular, we must inspect every part of the program that might possibly contain a goto statement that refers to this label in order to understand what conditions might hold at those goto statements, and how those conditions affect our understanding of what is happening at the label.Here is an example to make this complexity concrete.
|
