Program Transformation by Solving Equations

Based on the theory of orthogonal program expansion,the paper proposes a method to trans- form programs by solving program equations.By the method,transformation goals are expressed in program equations,and achieved by solving these equations.Although such equations are usually too complicated to be solved directly,the orthogonal expansion of programs makes it possible to reduce such equations into systems of equations only containing simple constructors of programs.Then,the solutions of such equations can …