Incremental approach to automatic algorithm design

This paper presents an incremental approach to automatic algorithm design, which can be described by algebraic specifications precisely and conveniently. The definitions of selection operator and extension operator which can be defined by strategy relations and transformations are given in order to model the process of finding the solution of a problem. Also discussed is its object-oriented implementation. The functional specification and the design specification for an algorithm are given in one framework so that the correctness of the algorithm can be easily proved.