Definition.   Explanation

Let C be an input sequence (input tape) giving an output tape O as a simulation result. An explanation is then a filtered flow to transform O into a logical graph containing both the program flow and the side effects.


Obs. If the nodes of the figure are not clear to be seen, they can be imagined to be any nodes reverse engineered from Java or other source code. They create explanation with each other, if necessary side effects can also be seen (redundancy).

A specialized explanation is a flow-dependent set of Symbolic clauses connected with each other. The types of explanations are:

  • Data flow
  • Program flow
  • Call tree
  • Object flow
  • Control flow
  • Operation flow