TXL

TXL may refer to:

  • IATA airport code for Berlin Tegel Airport
  • Name of a character in Today's Special
  • TXL programming language


  • TXL (programming language)

    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.

    Modern TXL is specifically designed for creating, manipulating and rapidly prototyping language-based descriptions, tools and applications using source transformation. It 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 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 a wide range of grammar-based techniques such as agile parsing.

    Podcasts:

    PLAYLIST TIME:

    Taxlo$$

    by: Mansun

    He'll be your taxloss lover from Liverpool
    Taxloss lover if the truth be told
    Taxloss lover still lives in the war
    Taxloss lover touching 74
    Ah, come back to me
    We want your money, taxloss
    Ah, come back to me
    We want your money, taxloss
    We think you are stupid
    We give you money 'cos our assets are fluid yeah
    We'll sell you down the river
    Just remember that we said we'd deliver you
    Sign on the line and we'll give you the money
    And then you'll be mine and we'll fly somewhere sunny
    And you'll quibble that our drivel seems unsatifactory
    You're a taxloss, come back to me
    We want your money, taxloss
    He'll be your taxloss lover and his name is Bert
    Your taxloss lover and he's always a flirt
    Your taxloss lover's into kinky sex
    Your taxloss lover wears a cracking dress
    Sign on the line and we'll give you the money
    And then you'll be mine and we'll fly somewhere sunny
    You'll quibble that our drivel seems unsatifactory
    We're a taxloss, come back to me
    We want your money, taxloss
    Sign on the line and we'll give you the money
    And then you'll be mine and we'll fly somewhere sunny
    And you'll quibble that our drivel seems unsatifactory
    A taxloss, come back to me
    We want your money, taxloss
    Taxloss, mod rock
    Junk pop, chart hop
    Mop top, swap shop
    Who'd you nick your cliche off?




    ×