E. Visser et al. The online survey of program transformation. www. program-transformation.org, 2000.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....parser for SDL 2000 using ANTLR [21] as parser generator is described in [25] Another approach using recursive descent parsing with backtracking is described in [5] In addition to XT, many environments and tools exist for program transformation. The online survey of program transformation [30] strives to give a comprehensive overview of program transformation and transformation systems. Hypertext for software documentation is discussed in several papers [4, 22, 20, 23] Our SDL documentation generator was inspired by DOCGEN [8] a generator for interactive, hyperlinked documentation ....

E. Visser et al. The online survey of program transformation. http://www.program-transformation. org/survey.html.

....rules and strategies it should be possible to make the inheritance of origin information transparent to strategies. 6. 4 Online Survey This survey is part of a larger e#ort to create an overview of the theory and practice of program transformation in the online survey of program transformation [56]. Acknowledgments I would like to thank Bernhard Gramlich and Salvador Lucas for inviting me to write this paper for the Workshop on Rewriting Strategies. Jan Heering, Patricia Johann, Paul Klint, and Jurgen Vinju commented on a previous version of this paper. ....

E. Visser et al. The online survey of program transformation. www. program-transformation.org, 2000.

....languages, and offers an extendible set of components that can combined in various ways. Many tools and frameworks for program transformation, or for some of its subscenarios, already exist. Among these are attribute grammar systems, algebraic rewriting systems, and object oriented systems (see [15] for an overview of transformation frameworks) Generally, these systems are closed in the sense that they provide a fixed set of tightly coupled components (parser, pretty printer, transformation language) they have no support for exchange or interoperation with other (competing) systems, and ....

E. Visser et al. The online survey of program transformation. http://www. program-transformation.org/survey.html.

....P.O. Box 80089, 3508 TB Utrecht, The Netherlands visser acm.org, http: www.cs.uu.nl visser 1 Introduction Program transformation is used in many areas of software engineering. Examples include compilation, optimization, synthesis, refactoring, migration, normalization and improvement [15]. Rewrite rules are a natural formalism for expressing single program transformations. However, using a standard strategy for normalizing a program with a set of rewrite rules is not adequate for implementing program transformation systems. It may be necessary to apply a rule only in some phase of ....

.... [7] The design of the strategy operators was inspired by the strategy language of ELAN [3] a speci cation language based on the paradigm of rewriting logic [5] For a comparison of Stratego with other systems see [13, 14] A survey of program transformation systems in general can be found in [15]. The contributions of Stratego include: generic traversal primitives 4 that allow de nition of generic strategies; break down of rules into primitives match and build giving rise to rst class pattern matching; many programming idioms for strategic rewriting; bootstrapped compilation of ....

E. Visser et al. The online survey of program transformation. http://www.program-transformation.org/survey.html. 5

....of packages into an open framework for component based transformation tool development. Many tools and frameworks for program transformation, or for some of its (sub )scenarios, already exist. Among these are attribute grammar systems, algebraic rewriting systems, and object oriented systems (see [15] for an overview of transformation frameworks) Generally, these systems are closed in the sense that they provide a fixed set of tightly coupled components (parser, pretty printer, transformation language) they have no support for exchange or interoperation with other (competing) systems, and ....

E. Visser et al. The online survey of program transformation. http://www.program-transformation.org/ survey.html.

....include generating code from a specification, and compilation. Rephrasing A program is transformed into another program, where the source and target language coincide. Examples include normalization and renovation. For a more elaborate taxonomy of program transformation scenarios, we refer to [24]. The distinction between analysis and translation is not clear cut. When the value of an analysis is highly structured, especially when it is an expression in another language, the label translation is also appropriate. The traversal examples discussed above are all tree analyses with simple ....

E. Visser et al. The online survey of program transformation. http://www.program-transformation.org/ survey.html.

....of packages into an open framework for component based transformation tool development. Many tools and frameworks for program transformation, or for some of its (sub )scenarios, already exist. Among these are attribute grammar systems, algebraic rewriting systems and object oriented systems (see [10] for an overview of transformation frameworks) Generally, these systems are closed in the sense that they provide a fixed set of tightly coupled components (parser, pretty printer, transformation language) they have 4 XT: program transformation tools no support for exchange or interoperation ....

E. Visser. The online survey of program transformation. http://www.program-transformation.org/survey. html.

....include generating code from a specification, and compilation. Rephrasing A program is transformed into another program, where the source and target language coincide. Examples include normalization and renovation. For a more elaborate taxonomy of program transformation scenarios, we refer to [24]. The distinction between analysis and translation is not clear cut. When the value of an analysis is highly structured, especially when it is an expression in another language, the label translation is also appropriate. 7 Kuipers Visser The traversal examples discussed above are all tree ....

E. Visser et al. The online survey of program transformation. http://www.program-transformation.org/ survey.html.

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