Generic programming and its idea is the pivotal technology to the software reuse. Especially recently its rapid development is paid on attention highly. With a view to study on generic programming methods, this paper discusses a few idea and methods for applying category theory in generic programming.It is differentiated from most other specification/refinement systems in that its specification and refinement operations are based on a rigorous mathematical foundation, category theory, which promotes a high degree of confidence in their correctness. In particular, the semantics of refinement are such that provability is preserved.Parametricity is one of the most effective Ways to achieve reuse in software development. This paper addresses the problem of how to Construct refinements of parameterized algebraic specifications formally, An abstract design concept is applied by constructing specification morphisms and factor .The author have done some study on the idea of generic programming combining with category theory , built up category theory concept model for generic programming. On the base of these applied to designed and implemented the program.
|