TXL (programming language): Difference between revisions

Revision as of 23:37, 29 August 2018

Latest revision as of 01:13, 24 July 2022

(6 intermediate revisions by 4 users not shown)

Line 3:

|logo =

|paradigm = [[Pattern-matching]] and [[Term-rewriting]]

|designer = Charles Halpern-Hamu <br /> [[James Cordy]]

|developer = [[James Cordy]] <br /> Charles Halpern-Hamu <br /> Ian Carmichael <br /> Eric Promislow

}}

'''TXL''' is a special-purpose [[programming language]] originally designed by [[Charles Halpern-Hamu]] and [[James Cordy]] at the [[University of Toronto]] in 1985. The acronym "TXL" originally stood for "Turing eXtender Language" after the language's original purpose, the specification and [[rapid prototyping]] of variants and extensions of the [[Turing (programming language)|Turing]] programming language, but no longer has any meaningful interpretation.

Line 18:

==Examples==

===BubbleSort<ref>{{Cite [web |url=http://star.itc.it/ricca/swat/SORT/Sort.Txl] |title=Archived copy |access-date=2008-03-19 |archive-date=2005-05-21 |archive-url=https://web.archive.org/web/20050521085457/http://star.itc.it/ricca/swat/SORT/Sort.Txl |url-status=dead }}</ref>===

%Syntax specification

define program

Line 34:

end rule

===Factorial<ref>{{Cite [web |url=http://star.itc.it/ricca/swatII/Esercizi/factorial.txl] |title=Archived copy |access-date=2008-03-19 |archive-date=2005-08-26 |archive-url=https://web.archive.org/web/20050826015927/http://star.itc.it/ricca/swatII/Esercizi/factorial.txl |url-status=dead }}</ref>===

%Syntax specification

define program

Line 72:

* [[Refal | Refal (programming language)]]

* [[DMS Software Reengineering Toolkit]]

* [[Program transformation|Program Transformation]]

== References ==

{{Reflist}}

*[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.]

*[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.]