| http://www.w3.org/ns/prov#value | - 2. The computer system of claim 1 wherein said code optimizer is further configured to determine said set of live variables by using a backward dataflow analysis in which said variable is an argument in said phi function node and said variable
|
