| http://www.w3.org/ns/prov#value | - Lazy specialization provides faster specialization, enables aggressive specialization that depends on interleaving execution and specialization, guarantees termination of certain aggressive forms of specialization, and reduces the amount of space occupied by the specialized code.
|
