A Calculus of Transformation
This paper presents the concepts and the semantics of a transformation calculus TC that is generic w.r.t. concrete object languages (see also [WS 94]). Built upon an object language description given by an algebraic specification, TC provides context-sensitive rules in which requirements can be imposed on the context of a redex, and integrates a restricted form of extended rewriting (see [DJ 90], [SW 94]) to express schematic rules. Furthermore, rules may be higher-order in order to represent "parametric transformations" and to focus on particular redeces. This work provides a specification of transformation systems and a foundation for correctness proofs of transformations in TC following the lines of [CIPּ85] and [HK 93].