论文部分内容阅读
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 inprogram equations,and achieved by solving these equations.Although such equations are usually toocomplicated to be solved directly,the orthogonal expansion of programs makes it possible to reduce suchequations into systems of equations only containing simple constructors of programs.Then,the solutionsof such equations can be derived by a system of solving and simplifying rules,and algebraic laws ofprograms.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 inprogram equations, and achieved by solving these equations.Although such equations are usually toocomplicated to be solved directly, the orthogonal expansion of programs makes it possible to reduce suchequations into systems of equations only containing simple constructors of programs.Then, the solutionsof such equations can be derived by a system of solving and simplifying rules, and algebraic laws ofprograms.The paper discusses the methods to simplify and solve equations and gives some examples.