| http://www.w3.org/ns/prov#value | - The software analysis tool 100 and invariant inference leveraging garbage collection techniques can be implemented in hardware circuitry, as well as in software 1080 executing within a computer or other computing environment, such as shown in FIG. 10.
|
