| http://www.w3.org/ns/prov#value | - A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not a destructor is defined properly when there is a class including a pointer-type data member, and wherein said outputting process comprises creating, upon confirmation of intent of a user of said support system, said modified program, when said result of said collation proces
|
