| http://www.w3.org/ns/prov#value | - A processor-readable medium as claimed in claim 37, wherein said collation unit checks said result of analysis as to whether or not a destructor is defined properly when there is a class including a pointer-type data member, and wherein said normalization unit creates, upon confirmation of intent of a user of said processor, said modified program, when said result is no, such that said destructor
|
