A metalanguage to express human guidance for program transformation

The researches on transformational program ming and transformation system have an important impact on the improvements of both software quality and productivity. Among various approaches, metalanguage one has advantages of automating the transformation process and widening application area at the same time. It is achieved by systematic management of design decisions according to the knowledge and intuition of human being expressed in metaprograms. This paper reports a metalanguage TrapML and an abstract transformation system NDTPS, and some experiments with them.