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, but no longer has any meaningful interpretation.
4-531: TXL may refer to: TXL (programming language) Berlin Tegel Airport , defunct German airport (by IATA code) Fictional computer in the Today's Special animated series Topics referred to by the same term [REDACTED] This disambiguation page lists articles associated with the title TXL . If an internal link led you here, you may wish to change
8-405: Is a hybrid functional / rule-based language using first order functional programming at the higher level and term rewriting at the lower level. The formal semantics and implementation of TXL are based on formal term rewriting , but the term structures are largely hidden from the user due to the example-like style of pattern specification. Each TXL program has two components: a description of
12-544: The link to point directly to the intended article. Retrieved from " https://en.wikipedia.org/w/index.php?title=TXL&oldid=1144383631 " Category : Disambiguation pages Hidden categories: Short description is different from Wikidata All article disambiguation pages All disambiguation pages TXL (programming language) Modern TXL is specifically designed for creating, manipulating and rapidly prototyping language-based descriptions, tools and applications using source transformation. It
16-451: The source structures to be transformed, specified as a (possibly ambiguous) context-free grammar using an extended Backus–Naur Form ; and a set of tree transformation rules, specified using pattern / replacement pairs combined using first order functional programming. TXL is designed to allow explicit programmer control over the interpretation, application, order and backtracking of both parsing and rewriting rules, allowing for expression of
#771228