TWEAST: A simple and effective technique to implement concrete-syntax AST rewriting using partial parsing

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 1924-1929

  Demaille, Akim ^a   Levillain, Roland ^a,b   Sigoure, Benoît ^a  

^a EPITA RESEARCH AND DEVELOPMENT LABORATORY LRDE   (France)

^b UNIVERSITÉ PARIS EST   (France)

Author keywords

C++; Compiler design; Concrete syntax; Parsing; Program transformation; Rewrite rules

Indexed keywords

ABSTRACT SYNTAX TREES; CODE INSTRUMENTATION; COMPILER DESIGN; COMPLEX OPERATIONS; CONCRETE SYNTAX; GENERAL PURPOSE LANGUAGES; INPUT/OUTPUT; LANGUAGE PROCESSING; PARTIAL PARSING; PROGRAM TRANSFORMATIONS; REWRITE RULES;

ABSTRACTING; COMPUTER SCIENCE; COMPUTER SOFTWARE; HAND TOOLS; INSTRUMENTS; LINGUISTICS; QUERY LANGUAGES; SYNTACTICS; XML;

PROGRAM COMPILERS;

EID: 72949105118     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529710     Document Type: Conference Paper

References (16)

1. A. W. Appel. Modern Compiler Implementation in C, Java, ML. Cambridge University Press, 1998.
2. E. Balland, P. Brauner, R. Kopetz, P.-E. Moreau, and A. Reilles. Tom: Piggybacking rewriting on Java. In Proceedings of the 18th Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science. Springer-Verlag, 2007.
3. M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT 0.16. Components for transformation systems. In ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM'06), Charleston, South Carolina, January 2006. ACM SIGPLAN.
4. R. Corbett, R. Stallman, and P. Hilfinger. Bison: GNU LALR(1) and GLR parser generator, 2003. http://www.gnu.org/software/bison/bison.html.
5. A. Demaille. Making compiler construction projects relevant to core curriculums. In Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05), pages 266-270, Universidade Nova de Lisboa, Monte da Pacarita, Portugal, June 2005.
6. A. Demaille. The Tiger Compiler Reference Manual. EPITA Research and Development Laboratory (LRDE), 14-16 rue Voltaire, FR-94270 Le Kremlin-Bicêtre, France, 2007. http://www.lrde.epita.fr/~akim/ccmp/tiger. pdf.
7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley Publishing Company, New York, NY, 1995.
8. T. Kuipers and J. Visser. Object-oriented tree traversal with JJForester. Science of Computer Programming, 47(1):59-87, 2003.
9. A. Leung. Prop: A C++-based pattern matching language. Technical report, Courant Institute of Mathematical Sciences, 1996.
10. T. J. Parr and R. W. Quong. ANTLR: A predicated-LL(k) parser generator. Software, Practice and Experience, 25(7):789-810, 1995.
11. V. Paxson, W. Estes, and J. Millaway. The Flex Manual. The Flex Project, September 2007. http://flex.sourceforge.net/manual/index.html.
12. E. Visser. A family of syntax definition formalisms. In M. G. J. van den Brand et al., editors, ASF+SDF'95. A Workshop on Generating Tools from Algebraic Specifications, pages 89-126. Technical Report P9504, Programming Research Group, University of Amsterdam, May 1995.
13. E. Visser. Scannerless generalized-LR parsing. Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997.
14. E. Visser. Meta-programming with concrete object syntax. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering (GPCE'02), volume 2487 of Lecture Notes in Computer Science, pages 299-315, Pittsburgh, PA, USA, October 2002. Springer-Verlag.
15. E. Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 216-238. Springer-Verlag, June 2004.
16. R. Weatherley. Treecc, the Tree Compiler-Compiler. http://www.southern- storm.com.au/treecc.html, 2002.