Symbol IC-Evaluation as an Aid to Program Synthesis (opens in new tab)

Symbol IC-Evaluation as an Aid to Program Synthesis Yonezawa, Akinori Symbolic-evaluation is the process which abstractly evaluates an actor program and checks to see whether the program fulfills its contract (specification). In this paper, a formalism based on the conceptual representation is proposed as a specification language and a proof system for programs which may include change of behavior (side-effects). The relation between algebraic specifications and the specifications based on th...