(Enter summary)
Abstract: TXL is a special-purpose programming language designed for creating, manipulating
and rapidly prototyping language descriptions, tools and applications. TXL is
designed to allow explicit programmer control over the interpretation, application,
order and backtracking of both parsing and rewriting rules. Using first order functional
programming at the higher level and term rewriting at the lower level, TXL
provides for flexible programming of traversals, guards, scope of application and... (Update)
Cited by: More
A Backtracking LR Algorithm for Parsing Ambiguous.. - Thurston, Cordy (2006)
(Correct)
STAC: Software Tuning Panels For Autonomic Control - Elizabeth Dancy And
(Correct)
Evolving TXL - Adrian Thurston James
(Correct)
Active bibliography (related documents): More All
5.2: TXL - A Language for Programming Language Tools and Applications - Cordy (2004)
(Correct)
1.1: Towards an Engineering Discipline for GRAMMARWARE - Klint, Lämmel, Verhoef (2003)
(Correct)
0.4: Architectural Modifications to Deployed Software - Lämmel, Verhoef (2004)
(Correct)
Similar documents based on text:
5.0: Unknown -
(Correct)
Related documents from co-citation: More All
2: Practice and Experience (context) - Parr, Quong et al. - 1995
2: Compiling Language Definitions: the ASF+SDF Compiler (context) - van den Brand, Heering et al. - 2002
2: Agile Parsing in TXL
- Dean, Cordy et al. - 2003
BibTeX entry: (Update)
Cordy, J.R. (2006) The TXL Source Transformation Language. Science of Computer Programming, 61 (3), August 2006, 190-210. http://citeseer.ist.psu.edu/cordy05txl.html More
@misc{ cordy06txl,
author = "J. Cordy",
title = "The TXL Source Transformation Language",
text = "Cordy, J.R. (2006) The TXL Source Transformation Language. Science of Computer
Programming, 61 (3), August 2006, 190-210.",
year = "2006",
url = "citeseer.ist.psu.edu/cordy05txl.html" }
Citations (may not include all citations):
585
Extensible Markup Language (context) - Bray, Paoli et al. - 1998
140
XSL Transformations (context) - Clark - 1999
135
Definite Clause Grammars for Language Analysis - A Survey of.. (context) - Pereira, Warren - 1980
134
Generative Communication in Linda (context) - Gelernter - 1985
119
Algebraic Specification (context) - Bergstra, Heering et al. - 1989
62
Programmer's Manual (context) - McCarthy - 1962
59
Stratego: A Language for Program Transformation based on Rew..
- Visser - 2001
54
TXL: A Rapid Prototyping System for Programming Language Dia.. (context) - Cordy, Halpern et al. - 1991
39
The Psychology of Computer Programming (context) - Weinberg - 1971
33
Building Documentation Generators
- van Deursen, Kuipers - 1999
30
Scannerless generalized-LR parsing
- Visser - 1997
23
The Turing Programming Language (context) - Holt, Cordy - 1988
23
Source Transformation in Software Engineering using the TXL .. (context) - Cordy, Dean et al. - 2002
22
Native Patterns
- Selink, Verhoef - 1998
20
An Algorithm for the Organization of the Information (context) - Adelson-Velskii, Landis - 1962
20
Generating Robust Parsers using Island Grammars
- Moonen - 2001
20
Term Rewriting with Traversal Functions
- van den Brand, Klint et al. - 2003
16
The TXL Programming Language (context) - Cordy, Carmichael et al. - 1988
16
Viewing a Program Transformation System at Work
- Paige - 1991
16
Disambiguation Filters for Scannerless Generalized LR Parser..
- van den Brand, Scheerder et al. - 2002
15
Towards Increased Productivity of Algorithm Implementation (context) - Cai, Paige - 1993
15
The Denotational Semantics of a Functional Tree Manipulation..
- Malton - 1993
13
Nonlinear Pattern Matching in Trees (context) - Ramesh, Ramakrishnan - 1992
13
Parse-Tree Annotations (context) - Purtilo, Callahan - 1989
11
Experience Using Design Recovery Techniques to Transform Leg.. (context) - Dean, Cordy et al. - 2001
11
An Overview of ELAN
- Borovansky, Kirchner et al. - 1998
8
Design Recovery for Maintenance and Reuse (context) - Biggersta - 1989
8
An Overview of SORCERER: A Simple Tree-parser Generator
- Parr - 1994
7
Recognizing Mathematical Expressions Using Tree Transformati..
- Zanibbi, Blostein et al. - 2002
7
The Turing Programming Language - Design and Definition (context) - Holt, Matthews et al. - 1987
6
Agile Parsing in TXL
- Dean, Cordy et al. - 2003
6
Architectural Design Recovery Using Source Transformation (context) - Cordy, Schneider - 1995
6
Processing Software Source Text in Automated Design Recovery.. (context) - Malton, Schneider et al. - 2001
5
Generalized Selective XML Markup of Source Code Using Agile .. (context) - Cordy - 2003
5
APTS External Specification Manual (context) - Paige - 1993
4
Specification and Automatic Prototype Implementation of Poly.. (context) - Cordy, Promislow - 1990
4
ANTLR: A Predicated LL(k) Parser Generator
- Parr, Quong - 1995
4
Parse-Tree Annotations Meet Re-Engineering Concerns
- Kort, Laemmel - 2003
4
Compiling Language Definitions: the ASF+SDF Compiler (context) - van den Brand, Heering et al. - 2002
3
Grammar Transformations for Optimizing Backtrack Parsers (context) - Sarbo - 1994
3
The GENTLE Compiler Construction System (context) - Schroer - 1997
3
RIGAL - A Programming Language for Compiler Writing (context) - Auguston - 1991
3
An E#cient Augmented Context-free Parsing Algorithm (context) - Tomita - 1987
3
Parallel Support for Source Code Analysis and Modification (context) - Baxter - 2002
2
Hierarchic Syntax Error Repair for LR Grammars (context) - Barnard, Holt - 1982
2
Using MkMac (context) - Kohlbecker - 1984
2
Applying Compiler Techniques to Diagram Recognition
- Blostein, Cordy et al. - 2002
2
Q'Nial: A Portable Interpreter for the Nested Interactive Ar.. (context) - Jenkins - 1989
1
Building Program Optimzers with Rewriting Strategies (context) - Visser, Benaissa et al. - 1998
1
Program Transformation in Stratego/XT: Rules, Strategies, To.. (context) - Visser - 2004
1
Grammar Adaptation (context) - Laemmel - 2001
1
Automatic Generation of Syntax-Repairing and Paragraphing Pa.. (context) - Barnard - 1975
1
Program Transformation with Dynamically Scoped Rewrite Rules (context) - Bravenboer, van Dam et al. - 2005
1
Polynomial Time Parsing of Combinatory Categorical Grammars (context) - Vijay-Shanker, Weir - 1990
1
TXL: A Rapid Prototyping Tool for Programming Language Desig.. (context) - Halpern - 1986
1
Evolving TXL (context) - Thurston - 2005
1
A Run-Time Model for Generating Semantic Transformations fro.. (context) - Promislow - 1990
1
TXL: Experiments with Pattern-Directed Tree Transformation a.. (context) - Carmichael - 1990
Documents on the same site (http://www.cs.queensu.ca/home/cordy/papers.html): More
Agile Parsing in TXL - Dean, Cordy, Malton, Schneider (2003)
(Correct)
A Survey of Table Recognition: Models, Observations.. - Zanibbi, Blostein, Cordy (2003)
(Correct)
Testing and Model Checking Implicit-Invocation.. - Bradbury, Zhang.. (2004)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC