Stratego/XT 0.17. A language and toolset for program transformation

Science of Computer Programming

Volumn 72, Issue 1-2, 2008, Pages 52-70

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

^a Delft University of Technology   (Netherlands)

^b UNIVERSITY OF BERGEN   (Norway)

^c Machina   (Netherlands)

Author keywords

Concrete syntax; Dynamic rewrite rules; Program transformation; Rewrite rules; Rewriting strategies; Stratego; Stratego XT

Indexed keywords

BASIC (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE REUSABILITY; DYNAMICAL SYSTEMS; LINGUISTICS; MATHEMATICAL TRANSFORMATIONS; PLANNING; PROCESS ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATIONS; STRATEGIC PLANNING; SYNTACTICS; SYSTEMS ANALYSIS; TECHNOLOGY; XML;

CONTEXT-SENSITIVE; ELSEVIER (CO); HIGH LEVEL OF ABSTRACTION; IMPLEMENTATION TECHNIQUES; PROGRAM TRANSFORMATION SYSTEMS; PROGRAM TRANSFORMATIONS; REWRITE RULES; REWRITING STRATEGIES; SOFTWARE ENGINEERING PROCESS; STRATEGO; TOOL SETS; TRANSFORMATION COMPONENTS; TRANSFORMATION TOOLS;

CONTEXT SENSITIVE LANGUAGES;

EID: 45849120967     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.11.003     Document Type: Article

References (56)

1. Appel A.W. Modern Compiler Implementation in ML (1998), Cambridge University Press
2. Bagge O.S., Kalleberg K.T., Haveraaen M., and Visser E. Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs. In: Binkley D., and Tonella P. (Eds). 3rd IEEE Itl Workshop on Source Code Analysis and Manipulation. SCAM'03 (Sep 2003), IEEE Comp. Soc. Press, Amsterdam, The Netherlands 65-74
3. Balland E., Brauner P., Kopetz R., Moreau P.-E., and Reilles A. Tom: Piggybacking rewriting on java. Proceedings of the 18th Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science (2007), Springer-Verlag
4. Baxter I.D. Design maintenance systems. Communications of the ACM 35 4 (1992) 73-89
5. Baxter I.D., Pidgeon C., and Mehlich M. DMS: Program transformations for practical scalable software evolution. ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), IEEE Computer Society, Washington, DC, USA 625-634
6. Borovanský P., Kirchner C., and Kirchner H. Controlling rewriting by rewriting. In: Meseguer J. (Ed). Proceedings of the First International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science vol. 4 (1996), Elsevier Science Publishers, Asilomar, Pacific Grove, CA
7. Boyle J.M., and Dritz K.W. An automated programming system to facilitate the development of quality mathematical software. Information Processing vol. 74 (1974), North-Holland, Amsterdam 542-546
8. Boyle J.M., Harmer T.J., and Winter V.L. The TAMPR program transformation system: Simplifying the development of numerical software. In: Arge E., Bruaset A.M., and Langtangen H.P. (Eds). Modern Software Tools for Scientific Computing (1997), Birkhäuser Boston Inc., Cambridge, MA, USA 353-372
9. van den Brand M.G.J., de Jong H., Klint P., and Olivier P. Efficient annotated terms. Software, Practice & Experience 30 3 (2000) 259-291
10. M. Bravenboer, Connecting XML processing and term rewriting with tree grammars, Master's Thesis, Utrecht University, Utrecht, The Netherlands, November 2003
11. Bravenboer M., de Groot R., and Visser E. MetaBorg in action: Examples of domain-specific language embedding and assimilation using Stratego/XT. In: Lämmel R., and Saraiva J. (Eds). Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering. GTTSE'05. Lecture Notes in Computer Science vol. 4143 (2006), Springer Verlag, Braga, Portugal 297-311
12. Bravenboer M., Kalleberg K.T., Vermaas R., and Visser E. Stratego/XT 0.16. Components for transformation systems. ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation. PEPM'06 (January 2006), ACM SIGPLAN, Charleston, South Carolina
13. Bravenboer M., Tanter E., and Visser E. Declarative, formal, and extensible syntax definition for AspectJ. A case for scannerless generalized-lr parsing. In: Cook W.R. (Ed). Proceedings of the 21st ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. OOPSLA'06 (2006), ACM Press 209-228
14. Bravenboer M., van Dam A., Olmos K., and Visser E. Program transformation with scoped dynamic rewrite rules. Fundamenta Informaticae 69 (2005) 1-56
15. Bravenboer M., Vermaas R., Vinju J., and Visser E. Generalized type-based disambiguation of meta programs with concrete object syntax. In: Glück R., and Lowry M. (Eds). Proceedings of the Fourth International Conference on Generative Programming and Component Engineering. GPCE'05. Lecture Notes in Computer Science vol. 3676 (2005), Springer, Tallinn, Estonia 157-172
16. Bravenboer M., and Visser E. Rewriting strategies for instruction selection. In: Tison S. (Ed). Rewriting Techniques and Applications. RTA'02. LNCS vol. 2378 (2002), Springer, Copenhagen, Denmark 237-251
17. Bravenboer M., and Visser E. Concrete syntax for objects. Domain-specific language embedding and assimilation without restrictions. In: Schmidt D.C. (Ed). Proc. the 19th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. OOPSLA'04 (2004), ACM Press, Vancouver, Canada 365-383
18. Cordy J.R. TXL - A language for programming language tools and applications. Electronic Notes in Theoretical Computer Science 110 (2004) 3-31
19. de Jonge M. A pretty-printer for every occasion. In: Ferguson I., Gray J., and Scott L. (Eds). Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools. CoSET2000 (2000), University of Wollongong, Australia
20. Dolstra E., de Jonge M., and Visser E. Nix: A safe and policy-free system for software deployment. In: Damon L. (Ed). 18th Large Installation System Administration Conference. LISA'04 (2004), USENIX, Atlanta, GA, USA 79-92
21. Dolstra E., and Visser E. Building interpreters with rewriting strategies. In: van den Brand M., and Laemmel R. (Eds). Workshop on Language Descriptions, Tools and Applications. LDTA'02. Electronic Notes in Theoretical Computer Science vol. 65/3 (2002), Elsevier Science Publishers, Grenoble, France
22. T. Ekman, Rewritable reference attributed grammars - design, implementation and applications. Licentiate thesis, Lund University, 2004
23. Fischer B., and Visser E. Retrofitting the AutoBayes program synthesis system with concrete object syntax. In: Lengauer C., et al. (Ed). Domain-Specific Program Generation. LNCS vol. 3016 (2004), Spinger-Verlag 239-253
24. Gray R.W., Levi S.P., Heuring V.P., Sloane A.M., and Waite W.M. Eli: A complete, flexible compiler construction system. Communications of the ACM 35 2 (1992) 121-130
25. Johann P., and Visser E. Fusing logic and control with local transformations: An example optimization. In: Gramlich B., and Lucas S. (Eds). Workshop on Reduction Strategies in Rewriting and Programming (WRS'01). Electronic Notes in Theoretical Computer Science vol. 57 (May 2001), Elsevier Science Publishers, Utrecht, The Netherlands
26. P. Johann, E. Visser, Strategies for fusing logic and control via local, application-specific transformations, Technical Report UU-CS-2003-050, Institute of Information and Computing Sciences, Utrecht University, February 2003
27. de Jonge M., Visser E., and Visser J. XT: A bundle of program transformation tools. In: van den Brand M.G.J., and Perigot D. (Eds). Workshop on Language Descriptions, Tools and Applications. LDTA'01. ENTCS vol. 44 (April 2001), Elsevier
28. K.T. Kalleberg, http://www.spoofax.org
29. Kalleberg K.T., and Visser E. Combining aspect-oriented and strategic programming. In: Horatiu Cirstea N.M.-O. (Ed). Proceedings of the 6th International Workshop of Rule-Based Programming (RULE) Nara, Japan. ENTCS (2005), Elsevier
30. Lämmel R., and Peyton Jones S. Scrap your boilerplate: A practical design pattern for generic programming. Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation. TLDI 2003. ACM SIGPLAN Notices 38 3 (2003) 26-37
31. Lämmel R., and Visser J. Typed Combinators for Generic Traversal. Proc. Practical Aspects of Declarative Programming PADL 2002. LNCS vol. 2257 (Jan. 2002), Springer-Verlag 137-154
32. Luttik B., and Visser E. Specification of rewriting strategies. In: Sellink M.P.A. (Ed). 2nd International Workshop on the Theory and Practice of Algebraic Specifications. ASF+SDF'97. Electronic Workshops in Computing (November 1997), Springer-Verlag, Berlin
33. Olmos K., and Visser E. Turning dynamic typing into static typing by program specialization. In: Binkley D., and Tonella P. (Eds). Third IEEE International Workshop on Source Code Analysis and Manipulation. SCAM'03 (September 2003), IEEE Computer Society Press, Amsterdam, The Netherlands 141-150
34. Olmos K., and Visser E. Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules. In: Bodik R. (Ed). 14th International Conference on Compiler Construction. CC'05. LNCS vol. 3443 (April 2005), Springer-Verlag 204-220
35. Parr T.J., and Quong R.W. Antlr: A predicated-ll(k) parser generator. Software, Practice and Experience 25 7 (1995) 789-810
36. van den Brand M.G.J., de Jong H., Klint P., and Olivier P. Efficient annotated terms. Software, Practice and Experience 30 3 (2000) 259-291
37. van den Brand M.G.J., Klint P., and Vinju J.J. Term rewriting with traversal functions. ACM Transactions on Software Engineering and Methodology 12 2 (2003) 152-190
38. van den Brand M.G.J., Moreau P.-E., and Vinju J.J. Environments for term rewriting engines for free!. Rewriting Techniques and Applications (RTA'03). Lecture Notes in Computer Science vol. 2706 (2003) 424-435
39. van den Brand M.G.J., Scheerder J., Vinju J., and Visser E. Disambiguation filters for scannerless generalized LR parsers. In: Horspool N. (Ed). Compiler Construction (CC'02). Lecture Notes in Computer Science vol. 2304 (April 2002), Springer-Verlag, Grenoble, France 143-158
40. van den Brand M.G.J., van Deursen A., Heering J., de Jong H.A., de Jonge M., Kuipers T., Klint P., Moonen L., Olivier P.A., Scheerder J., Vinju J.J., Visser E., and Visser J. The ASF+SDF meta-environment: A component-based language development environment. CC '01: Proceedings of the 10th International Conference on Compiler Construction (2001), Springer-Verlag, London, UK 365-370
41. R.B. Vermaas, xDoc. An extensible documentation generator, Master's Thesis, Utrecht University, Utrecht, The Netherlands, February 2004. INF/SCR-03-41
42. E. Visser, Syntax Definition for language prototyping, Ph.D. Thesis, University of Amsterdam, September 1997
43. Visser E. Strategic pattern matching. In: Narendran P., and Rusinowitch M. (Eds). Rewriting Techniques and Applications (RTA'99). Lecture Notes in Computer Science vol. 1631 (July 1999), Springer-Verlag, Trento, Italy 30-44
44. Visser E. Scoped dynamic rewrite rules. In: van den Brand M., and Verma R. (Eds). Rule Based Programming (RULE'01). Electronic Notes in Theoretical Computer Science vol. 59/4 (September 2001), Elsevier Science Publishers
45. Visser E. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In: Middeldorp A. (Ed). Rewriting Techniques and Applications (RTA'01). LNCS vol. 2051 (May 2001), Springer 357-361
46. Visser E. Meta-programming with concrete object syntax. In: Batory D., Consel C., and Taha W. (Eds). Generative Programming and Component Engineering (GPCE'02). LNCS vol. 2487 (October 2002), Springer-Verlag, Pittsburgh, PA, USA 299-315
47. Visser E. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In: Lengauer C., et al. (Ed). Domain-Specific Program Generation. LNCS vol. 3016 (2004), Spinger-Verlag 216-238
48. E. Visser, The Stratego/XT BibTeX tools, Tool documentation, Dept. Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, 0.2pre12491 edition, Aug 2005 (Draft)
49. Visser E. A survey of strategies in rule-based program transformation systems. Reduction Strategies in Rewriting and Programming. Journal of Symbolic Computation 40 1 (2005) 831-873 (special issue)
50. Visser E. WebDSL: A case study in domain-specific language engineering. Generative and Transformational Techniques in Software Engineering, GTTSE 2007. Lecture Notes in Computer Science (2008), Springer Tutorial for International Summer School GTTSE 2007
51. Visser E., Benaissa Z.-e.-A., and Tolmach A. Building program optimizers with rewriting strategies. Proceedings of the third ACM SIGPLAN International Conference on Functional Programming. ICFP'98 (1998), ACM Press 13-26
52. E. Visser, et al., http://www.strategoxt.org
53. Visser J. Visitor combination and traversal control. OOPSLA 2001 Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications. ACM SIGPLAN Notices 36 11 (2001) 270-282
54. Waddington D.G., and Yao B. High fidelity C++ code transformation. Proceedings of the 5th workshop on Language Descriptions, Tools and Applications (April 2005), ENTCS. Elsevier
55. Ward M., and Zedan H. MetaWSL and meta-transformations in the FermaT transformation system. COMPSAC 2005: Proceedings of the 29th Annual International Computer Software and Applications Conference COMPSAC 2005 (July 2005)
56. Ward M.P., and Bennett K.H. A practical program transformation system for reverse engineering. WCRE'93: Proceedings of the 1993 Working Conference on Reverse Engineering. Baltimore, MA, May 21-23, 1993 (May 1993), IEEE Computer Society Press 212-221 (Order Number 3780-02)