摘要
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 be derived by a system of solving and simplifying rules,and algebraic laws of programs.The paper discusses the methods to simplify and solve equations and gives some examples.
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 be derived by a system of solving and simplifying rules,and algebraic laws of programs.The paper discusses the methods to simplify and solve equations and gives some examples.
