Transformation technique of algebraic specification

A formal transformation process to implement algebraic specification is introduced which relaxes the linear restriction of the algebraic axioms. The formal transformation process can process nonlinear algebraic specification, and it can make the expression of the algebraic specification more flexible and richer. From this formal process, different implementation systems can be derived formally based on different programming languages. A Pascal-based transformation system which transforms EAS (embedded algebraic specification) specification into a Pascal program is described. This Pascal-based transformation system has been developed on a Micro Vax-II GPX workstation running Ultrix.<
>