| http://www.w3.org/ns/prov#value | - The method of claim 1 wherein symbolically recorded symbolic objects and encapsulated fields are recorded with an update function including input parameters comprising a first parameter of a previous state of a heap, a second parameter of a symbolic instantiation of a class, a third parameter of an identifier of a field in the symbolic instantiation, and a fourth parameter of a symbolic value assi
|
