Transformation language

A transformation language is a computer language designed to transform some input text in a certain formal language into a modified output text that meets some specific goal.

Program transformation systems such as Stratego/XT, TXL, DMS, and ASF+SDF all have transformation languages as a major component. The transformation languages for these systems are driven by declarative descriptions of the structure of the input text (typically a grammar), allowing them to be applied to wide variety of formal languages and documents.

Macro languages are a kind of transformation languages to transform a meta language into specific higher programming language like Java, C++, Fortran

In the Model Driven Engineering Technical Space, there are model transformation languages (MTLs), that take as input models conforming to a given metamodel and produce as output models conforming to a different metamodel. An example of such a language is the QVT OMG standard. There are also low-level languages such as the Lx family (see [http://lx.mii.lu.lv/] ) implemented by the bootstrapping method (see Bootstrapping (compilers)). The L0 language may be considered as assembler for transformation languages. There is also a high-level graphical language built on upon Lx called MOLA (see [http://mola.mii.lu.lv/] ).

There are a number of XML transformation languages. These include XSLT, XQuery, STX, FXT, XDuce, CDuce, HaXml, XMLambda, and FleXML.

External links

* [http://www.program-transformation.org The Program transformation Wiki]