TXL (programming language)

<h2 id="examples">Examples</h2>
<h3>BubbleSort<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a></h3>
%Syntax specification
define program
   [repeat number]
end define

%Transformation rules
rule main
   replace $ [repeat number]
       N1 [number] N2 [number] Rest [repeat number]
   where 
       N1 [> N2]
   by
       N2 N1 Rest
end rule

<h3>Factorial<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a></h3>
%Syntax specification
define program
   [number]
end define

%Transformation rules
function main
   replace [program]
       p [number]
   by
       p [fact][fact0]
end function

function fact
   replace [number]
      n [number]
   construct nMinusOne [number]
      n [- 1]
   where 
      n [> 1]
   construct factMinusOne [number]
      nMinusOne [fact]
   by
      n [* factMinusOne]
end function 
      
function fact0
 replace [number]
      0
 by
      1
end function

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Turing_(programming_language)/Dskr312J">Turing (programming language)</a></li>
<li><a href="/facts/Refal/ICfbg9Yj"> Refal (programming language)</a></li>
<li><a href="/facts/DMS_Software_Reengineering_Toolkit/G3Xeppn0">DMS Software Reengineering Toolkit</a></li>
<li><a href="/facts/Program_transformation/lfNb25cd">Program transformation</a></li></ul>

<ul><li><a href="http://portal.acm.org/citation.cfm?id=114627.115074">J.R. Cordy, C.D. Halpern and E. Promislow, 1991. TXL: A Rapid Prototyping System for Programming Language Dialects. Computer Languages 16,1 (January 1991), 97-107.</a></li>
<li><a href="http://portal.acm.org/citation.cfm?id=1149672">J.R. Cordy, 2006.  The TXL Source Transformation Language.  Science of Computer Programming 61,3 (August 2006), 190-210.</a></li></ul>
<h2 id="external-links">External links</h2>
<ul><li><a href="http://www.txl.ca/">TXL website</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>"Archived copy". Archived from the original on 2005-05-21. Retrieved 2008-03-19.{{cite web}}:  CS1 maint: archived copy as title (link) <a href="https://web.archive.org/web/20050521085457/http://star.itc.it/ricca/swat/SORT/Sort.Txl" target="_blank">https://web.archive.org/web/20050521085457/http://star.itc.it/ricca/swat/SORT/Sort.Txl</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>"Archived copy". Archived from the original on 2005-08-26. Retrieved 2008-03-19.{{cite web}}:  CS1 maint: archived copy as title (link) <a href="https://web.archive.org/web/20050826015927/http://star.itc.it/ricca/swatII/Esercizi/factorial.txl" target="_blank">https://web.archive.org/web/20050826015927/http://star.itc.it/ricca/swatII/Esercizi/factorial.txl</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
</ol>

TXL (programming language) open-in-new

TXL (programming language)