TXL är ett speciellt programmeringsspråk utformat för att skapa, manipulera och snabbt prototypera språkbeskrivningar, verktyg och tillämpningar. TXL är utformad för att möjliggöra explicit programmeringskontroll över tolkning, tillämpning, ordning och backtracking av både tolknings- och omskrivningsregler. Med hjälp av första ordningen funktionell programmering på högre nivå och term omskrivning på lägre nivå, TXL ger flexibel programmering av traversals, vakter, omfattning av tillämpning och parameteriserade sammanhang. Denna flexibilitet har gjort det möjligt för TXL-användare att uttrycka och experimentera med både nya idéer i tolkning, såsom robust, ö- och agil tolkning, och nya paradigm i skriva om, såsom XML-markup, skriva om strategier och kontextualiserade regler, utan någon förändring av TXL själv. Detta dokument beskriver TXL:s historia, utveckling och begrepp med tonvikt på dess distinkta stil och filosofi, och ger exempel på dess användning i att uttrycka och tillämpa nya paradigmer i språkbearbetning.
Turing eXtender Language TXL REF är ett kraftfullt, speciellt programmeringsspråk som ursprungligen utformats för snabb prototypering av språkdialekter.
The TXL Source Transformation Language
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}