変換言語

変換言語とは、ある形式言語で書かれた入力テキストを、ある特定の目的^{（説明が必要）}を満たすように修正された出力テキストに変換するように設計されたコンピュータ言語です。

Stratego/XT、 TXL、Tom、DMS 、ASF+SDFなどのプログラム変換システムはすべて、変換言語を主要コンポーネントとしています。これらのシステムの変換言語は、入力テキストの構造 (通常は文法) の宣言的記述によって駆動され、さまざまな形式言語やドキュメントに適用できます。

マクロ言語は、メタ言語をJava、C++、Fortranなどの特定の高等プログラミング言語、または低レベルのアセンブリ言語に変換する一種の変換言語です。

モデル駆動型エンジニアリングの技術分野には、特定のメタモデルに準拠するモデルを入力として受け取り、別のメタモデルに準拠するモデルを出力として生成するモデル変換言語(MTL)があります。このような言語の例として、QVT OMG標準があります。

ブートストラップ法で実装されたLxファミリー^[1]などの低水準言語もあります。L0言語は変換言語のアセンブラと考えることができます。また、Lx上に構築されたMOLAと呼ばれる高水準グラフィカル言語もあります。^[2]

XML 変換言語は数多くあります。これらには、Tritium、XSLT、XQuery、STX、FXT、XDuce、 CDuce 、HaXml、XMLambda、FleXMLなどがあります。