Stratego/XT 0.16: Components for transformation systems

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2006, Pages 95-99

  Bravenboer, Martin ^a   Kalleberg, Karl Trygve ^b   Vermaas, Rob ^c   Visser, Eelco ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF BERGEN   (Norway)

^c Machina   (Netherlands)

Author keywords

Compilers; Parsers; Pretty printers; Program analysis; Program optimization; Program transformation; Rewriting strategies; Term rewriting; Transformation components; Transformation systems

Indexed keywords

ABSTRACTING; DATA PROCESSING; OBJECT ORIENTED PROGRAMMING; PROGRAM TRANSLATORS; SENSITIVITY ANALYSIS; SYNTACTICS;

PRETTY PRINTERS; PROGRAM ANALYSIS; PROGRAM OPTIMIZATION; PROGRAM TRANSFORMATION; REWRITING STRATEGIES; TERM REWRITING; TRANSFORMATION COMPONENTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34250663615     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1111542.1111558     Document Type: Conference Paper

References (22)

1. O. S. Bagge, K. T. Kalleberg, M. Haveraaen, and E. Visser. Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs. In D. Binkley and P. Tonella, editors, 3rd IEEE Inl Workshop on Source Code Analysis and Manipulation (SCAM'03), pages 65-74, Amsterdam, The Netherlands, Sep 2003. IEEE Comp. Soc. Press.
2. M. G. J. van den Brand, H. de Jong, P. Klint, and P. Olivier. Efficient annotated terms. Software, Practice & Experience, 30(3):259-291, 2000.
3. M. Bravenboer, R. de Groot, and E. Visser. Metaborg in action: Examples of domain-specific language embedding and assimilation using Stratego/XT. In Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'05), Braga, Portugal, July 2005.
4. M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program transformation with scoped dynamic rewrite rules. Fundamenta Infonnaticae, 69:1-56, 2005.
5. M. Bravenboer, R. Vermaas, J. Vinju, and E. Visser. Generalized type-based disambiguation of meta programs with concrete object syntax. In R. Glück and M. Lowry, editors, Proc. of Fourth III Conference on Generative Programming and Component Engineering (GPCE'05), volume 3676 of LNCS, pages 157-172, Tallin, Estonia, Sep 2005. Springer.
6. M. Bravenboer and E. Visser. Rewriting strategies for instruction selection. In S. Tison, editor, Rewriting Techniques and Applications (RTA'02), volume 2378 of LNCS, pages 237-251, Copenhagen, Denmark, July 2002. Springer.
7. M. Bravenboer and E. Visser. Concrete syntax for objects. Domain-specific language embedding and assimilation without restrictions. In D. C. Schmidt, editor, Proc. the 19th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA'04), pages 365-383, Vancouver, Canada, October 2004. ACM Press.
8. M. de Jonge. A pretty-printer for every occasion. In I. Ferguson, J. Gray, and L. Scott, editors, Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000). University of Wollongong, Australia, 2000.
9. B. Fischer and E. Visser. Retrofitting the AutoBayes program synthesis system with concrete object syntax. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of LNCS, pages 239-253. Spinger-Verlag, 2004.
10. M. de Jonge, E. Visser, and J. Visser. XT: A bundle of program transformation tools. In M. G. J. van den Brand and D. Perigot, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'01), volume 44 of ENTCS. Elsevier, April 2001.
11. K. T. Kalleberg. www.spoofax.org.
12. K. T. Kalleberg and E. Visser. Combining aspect-oriented and strategic programming. In N. M.-O. Horatiu Cirstea, editor, Proceedings of the 6th International Workshop of Rule-Based Programming (RULE), ENTCS, Nara, Japan, April 2005. Elsevier.
13. K. Olmos and E. Visser. Turning dynamic typing into static typing by program specialization. In D. Binkley and P. Tonella, editors, Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'03), pages 141-150, Amsterdam, The Netherlands, September 2003. IEEE Computer Society Press.
14. K. Olmos and E. Visser. Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules. In R. Bodik, editor, 14th International Conference on Compiler Construction (CC'05), volume 3443 of LNCS, pages 204-220. Springer-Verlag, April 2005.
15. E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997.
16. E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01), volume 2051 of LNCS, pages 357-361. Springer, May 2001.
17. 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 LNCS, pages 299-315, Pittsburgh, PA, USA, October2002. Springer-Verlag.
18. 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 LNCS, pages 216-238. Spinger-Verlag, June 2004.
19. E. Visser. A survey of strategies in rule-based program transformation systems. J. Sym. Camp., 40(1):831-873, 2005. Special issue on Reduction Strategies in Rewriting and Programming.
20. E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 13-26. ACM Press, September 1998.
21. E. Visser et al. www.stratego-language.org.
22. D. G. Waddington and B. Yao. High fidelity C++ code transformation. In Proceedings of the 5th workshop on Language Descriptions, Tools and Applications, ENTCS. Elsevier, April 2005.