'''XML transformation languages''' are [[programming language]]s designed specifically to create an ''output XML document'' based on an ''input XML document''.
== LanguagesExisting languages ==
*; '''[[XSLT]]''' : XSLT is the best known XML transformation language. The XSLT 1.0 W3C recommendation was published in 1999 and it has been widely implemented since then. XSLT 2.0 is expected to be released soon as a W3C recommendation and early implementations of the specification like [http://saxon.sourceforge.net/ SAXON 7] are already available.
*; '''[[XML_query_language|XQuery]]''' : XQuery is also bound to become a W3C standard. XQuery is not an XML application, like XSLT. Consequently its syntax is much lighter. The language is based on XPath 2.0. XQuery programs cannot have [[side-effect]]s, just like XSLT and provides almost the same capabilities (for instance: declaring variables and functions, iterating over sequences, using W3C schema types), even though the program syntax are quite different. In addition to the syntax, the main difference between XSLT and XQuery is the XSLT push processing model, where certain conditions of the input document trigger the execution of templates, which is not shared with XQuery.
*; '''[http[STX]]''' ://stx.sourceforge.net/ STX] (Streaming Transformations for XML) is inspired by XSLT but has been designed to allow a one-pass transformation process that never prevents streaming. Implementations are available in Java ([http://joost.sourceforge.net/ Joost]) and Perl ([http://stx.gingerall.cz/stx/xml-stx/index.html XML::STX]).
*; '''[[http://www.informatik.uni-trier.de/~aberlea/Fxt/ FTX]]''' is aA Functional XML Transformation Tool, implementated in [[ML_programming_language|Standard ML]].
*; '''[[http://xduce.sourceforge.net/ XDuce]]''' is: aA typed language with a lightweight syntax (compared to XSLT). The implementation is written in [[ML_programming_language|ML]].
*; '''[[http://www.cs.york.ac.uk/fp/HaXml/ HaXml]]''' is: aA library and collection of tools to write XML transformations in Haskell. Its approach is very consistent and powerful. Also see [http://www.cs.york.ac.uk/fp/HaXml/ this paper about HaXml published in 1999] and [http://www-106.ibm.com/developerworks/xml/library/x-matters14.html this IBM developerWorks article].
*; '''[http[XMLLambda]]''' ://www.cse.ogi.edu/~mbs/pub/xmlambda/ XMLLambda] is described in a paper by Erik Meijer and Mark Shields. The paper was written in 1999 no implementation is available.
