article

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

Authors:

Martin Bravenboer,

Karl Trygve Kalleberg,

Eelco VisserAuthors Info & Claims

Science of Computer Programming, Volume 72, Issue 1-2

Pages 52 - 70

https://doi.org/10.1016/j.scico.2007.11.003

Published: 01 June 2008 Publication History

Abstract

Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development of transformation components at a high level of abstraction. The XT toolset offers a collection of flexible, reusable transformation components, and tools for generating such components from declarative specifications. Complete program transformation systems are composed from these components. This paper gives an overview of Stratego/XT 0.17, including a description of the Stratego language and XT transformation tools; a discussion of the implementation techniques and software engineering process; and a description of applications built with Stratego/XT.

References

[1]

Appel, A.W., Modern Compiler Implementation in ML. 1998. Cambridge University Press.]]

Digital Library

[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., Tonella, P. (Eds.), 3rd IEEE Itl Workshop on Source Code Analysis and Manipulation, IEEE Comp. Soc. Press, Amsterdam, The Netherlands. pp. 65-74.]]

[3]

Balland, E., Brauner, P., Kopetz, R., Moreau, P.-E. and Reilles, A., Tom: Piggybacking rewriting on java. In: Lecture Notes in Computer Science, Springer-Verlag.]]

Digital Library

[4]

Baxter, I.D., Design maintenance systems. Communications of the ACM. v35 i4. 73-89.]]

Digital Library

[5]

Baxter, I.D., Pidgeon, C. and Mehlich, M., DMS: Program transformations for practical scalable software evolution. In: ICSE ¿04: Proceedings of the 26th International Conference on Software Engineering, IEEE Computer Society, Washington, DC, USA. pp. 625-634.]]

Digital Library

[6]

Borovanský, P., Kirchner, C. and Kirchner, H., Controlling rewriting by rewriting. In: Meseguer, J. (Ed.), Electronic Notes in Theoretical Computer Science, vol. 4. 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. In: Information Processing, vol. 74. North-Holland, Amsterdam. pp. 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., Langtangen, H.P. (Eds.), Modern Software Tools for Scientific Computing, Birkhäuser Boston Inc., Cambridge, MA, USA. pp. 353-372.]]

Digital Library

[9]

van den Brand, M.G.J., de Jong, H., Klint, P. and Olivier, P., Efficient annotated terms. Software, Practice & Experience. v30 i3. 259-291.]]

Digital Library

[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., Saraiva, J. (Eds.), Lecture Notes in Computer Science, vol. 4143. Springer Verlag, Braga, Portugal. pp. 297-311.]]

Digital Library

[12]

Bravenboer, M., Kalleberg, K.T., Vermaas, R. and Visser, E., Stratego/XT 0.16. Components for transformation systems. In: ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, ACM SIGPLAN, Charleston, South Carolina.]]

Digital Library

[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, ACM Press. pp. 209-228.]]

Digital Library

[14]

Bravenboer, M., van Dam, A., Olmos, K. and Visser, E., Program transformation with scoped dynamic rewrite rules. Fundamenta Informaticae. v69. 1-56.]]

Digital Library

[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., Lowry, M. (Eds.), Lecture Notes in Computer Science, vol. 3676. Springer, Tallinn, Estonia. pp. 157-172.]]

Digital Library

[16]

Bravenboer, M. and Visser, E., Rewriting strategies for instruction selection. In: Tison, S. (Ed.), LNCS, vol. 2378. Springer, Copenhagen, Denmark. pp. 237-251.]]

Digital Library

[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, ACM Press, Vancouver, Canada. pp. 365-383.]]

Digital Library

[18]

Cordy, J.R., TXL - A language for programming language tools and applications. Electronic Notes in Theoretical Computer Science. v110. 3-31.]]

[19]

de~Jonge, M., A pretty-printer for every occasion. In: Ferguson, I., Gray, J., Scott, L. (Eds.), Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools, 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, USENIX, Atlanta, GA, USA. pp. 79-92.]]

Digital Library

[21]

Dolstra, E. and Visser, E., Building interpreters with rewriting strategies. In: van den Brand, M., Laemmel, R. (Eds.), Electronic Notes in Theoretical Computer Science, vol. 65/3. 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. (Ed.), LNCS, vol. 3016. Spinger-Verlag. pp. 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. v35 i2. 121-130.]]

Digital Library

[25]

Johann, P. and Visser, E., Fusing logic and control with local transformations: An example optimization. In: Gramlich, B., Lucas, S. (Eds.), Electronic Notes in Theoretical Computer Science, vol. 57. 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., Perigot, D. (Eds.), ENTCS, vol. 44. 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.), ENTCS, Elsevier.]]

Digital Library

[30]

Lämmel, R. and Peyton Jones, S., Scrap your boilerplate: A practical design pattern for generic programming. ACM SIGPLAN Notices. v38 i3. 26-37.]]

Digital Library

[31]

Lämmel, R. and Visser, J., Typed Combinators for Generic Traversal. In: LNCS, vol. 2257. Springer-Verlag. pp. 137-154.]]

Digital Library

[32]

Luttik, B. and Visser, E., Specification of rewriting strategies. In: Sellink, M.P.A. (Ed.), Electronic Workshops in Computing, Springer-Verlag, Berlin.]]

Digital Library

[33]

Olmos, K. and Visser, E., Turning dynamic typing into static typing by program specialization. In: Binkley, D., Tonella, P. (Eds.), Third IEEE International Workshop on Source Code Analysis and Manipulation, IEEE Computer Society Press, Amsterdam, The Netherlands. pp. 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.), LNCS, vol. 3443. Springer-Verlag. pp. 204-220.]]

Digital Library

[35]

Parr, T.J. and Quong, R.W., Antlr: A predicated-ll(k) parser generator. Software, Practice and Experience. v25 i7. 789-810.]]

Digital Library

[36]

van~den Brand, M.G.J., de~Jong, H., Klint, P. and Olivier, P., Efficient annotated terms. Software, Practice and Experience. v30 i3. 259-291.]]

Digital Library

[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. v12 i2. 152-190.]]

Digital Library

[38]

van~den Brand, M.G.J., Moreau, P.-E. and Vinju, J.J., Environments for term rewriting engines for free!. In: Lecture Notes in Computer Science, vol. 2706. pp. 424-435.]]

Digital Library

[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.), Lecture Notes in Computer Science, vol. 2304. Springer-Verlag, Grenoble, France. pp. 143-158.]]

Digital Library

[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. In: CC ¿01: Proceedings of the 10th International Conference on Compiler Construction, Springer-Verlag, London, UK. pp. 365-370.]]

Digital Library

[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., Rusinowitch, M. (Eds.), Lecture Notes in Computer Science, vol. 1631. Springer-Verlag, Trento, Italy. pp. 30-44.]]

Digital Library

[44]

Visser, E., Scoped dynamic rewrite rules. In: van~den Brand, M., Verma, R. (Eds.), Electronic Notes in Theoretical Computer Science, vol. 59/4. 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.), LNCS, vol. 2051. Springer. pp. 357-361.]]

Digital Library

[46]

Visser, E., Meta-programming with concrete object syntax. In: Batory, D., Consel, C., Taha, W. (Eds.), LNCS, vol. 2487. Springer-Verlag, Pittsburgh, PA, USA. pp. 299-315.]]

Digital Library

[47]

Visser, E., Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In: Lengauer, C. (Ed.), LNCS, vol. 3016. Spinger-Verlag. pp. 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. Journal of Symbolic Computation. v40 i1. 831-873.]]

Digital Library

[50]

Visser, E., WebDSL: A case study in domain-specific language engineering. In: Lecture Notes in Computer Science, Springer.]]

Digital Library

[51]

Visser, E., Benaissa, Z.-e.-A. and Tolmach, A., Building program optimizers with rewriting strategies. In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming, ACM Press. pp. 13-26.]]

Digital Library

[52]

E. Visser, et al., http://www.strategoxt.org]]

[53]

Visser, J., Visitor combination and traversal control. ACM SIGPLAN Notices. v36 i11. 270-282.]]

Digital Library

[54]

Waddington, D.G. and Yao, B., High fidelity C++ code transformation. In: Proceedings of the 5th workshop on Language Descriptions, Tools and Applications, ENTCS. Elsevier.]]

Digital Library

[55]

Ward, M. and Zedan, H., MetaWSL and meta-transformations in the FermaT transformation system. In: COMPSAC 2005: Proceedings of the 29th Annual International Computer Software and Applications Conference COMPSAC 2005,]]

Digital Library

[56]

Ward, M.P. and Bennett, K.H., A practical program transformation system for reverse engineering. In: WCRE¿93: Proceedings of the 1993 Working Conference on Reverse Engineering, IEEE Computer Society Press. pp. 212-221.]]

Cited By

Huang ZChen JJiang JLiang YYou HLi F(2024)Mapping APIs in Dynamic-typed Programs by Leveraging Transfer LearningACM Transactions on Software Engineering and Methodology10.1145/364184833:4(1-29)Online publication date: 18-Apr-2024
https://dl.acm.org/doi/10.1145/3641848
Qin XO’Connor Lvan Glabbeek RHöfner PKammar OSteuwer M(2024)Shoggoth: A Formal Foundation for Strategic RewritingProceedings of the ACM on Programming Languages10.1145/36332118:POPL(61-89)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3633211
Rubio RMartí-Oliet NPita IVerdejo A(2024)Specifying Fairness Constraints and Model Checking with Non-intensional StrategiesRewriting Logic and Its Applications10.1007/978-3-031-65941-6_8(145-162)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-65941-6_8
Show More Cited By

Index Terms

Stratego/XT 0.17. A language and toolset for program transformation
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
  2. Software notations and tools
    1. General programming languages

Recommendations

Stratego/XT 0.16: components for transformation systems
PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for ...
TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing
SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing

Abstract Syntax Trees (ASTs) are commonly used to represent an input/output program in compilers and language processing tools. Many of the tasks of these tools consist in generating and rewriting ASTs. Such an approach can become tedious and hard to ...
Language extension and composition with language workbenches
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Domain-specific languages (DSLs) provide high expressive power focused on a particular problem domain. They provide linguistic abstractions and specialized syntax specifically designed for a domain, allowing developers to avoid boilerplate code and low-...

Comments

Information & Contributors

Information

Published In

cover image Science of Computer Programming

Science of Computer Programming Volume 72, Issue 1-2

June, 2008

71 pages

ISSN:0167-6423

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2008.

Publisher

Elsevier North-Holland, Inc.

United States

Publication History

Published: 01 June 2008

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

154
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Huang ZChen JJiang JLiang YYou HLi F(2024)Mapping APIs in Dynamic-typed Programs by Leveraging Transfer LearningACM Transactions on Software Engineering and Methodology10.1145/364184833:4(1-29)Online publication date: 18-Apr-2024
https://dl.acm.org/doi/10.1145/3641848
Qin XO’Connor Lvan Glabbeek RHöfner PKammar OSteuwer M(2024)Shoggoth: A Formal Foundation for Strategic RewritingProceedings of the ACM on Programming Languages10.1145/36332118:POPL(61-89)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3633211
Rubio RMartí-Oliet NPita IVerdejo A(2024)Specifying Fairness Constraints and Model Checking with Non-intensional StrategiesRewriting Logic and Its Applications10.1007/978-3-031-65941-6_8(145-162)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-65941-6_8
Olarte CÖlveczky P(2024)Timed Strategies for Real-Time Rewrite TheoriesRewriting Logic and Its Applications10.1007/978-3-031-65941-6_7(124-144)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-65941-6_7
Cardoso ERibeiro RReis LEmiliano M(2023)A Haskell Library for Adaptable Parsing Expression GrammarsProceedings of the XXVII Brazilian Symposium on Programming Languages10.1145/3624309.3624313(73-81)Online publication date: 25-Sep-2023
https://dl.acm.org/doi/10.1145/3624309.3624313
Lee DLee WOh HYi K(2023)Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive SearchACM Transactions on Programming Languages and Systems10.1145/359162245:3(1-37)Online publication date: 23-Sep-2023
https://dl.acm.org/doi/10.1145/3591622
Dilhara MDig DKetkar AGrundy JPollock LPenta M(2023)PyEvolve: Automating Frequent Code Changes in Python ML SystemsProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00091(995-1007)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE48619.2023.00091
Smits JHartman TCockx JFischer BBurgueño LCazzola W(2022)Optimising First-Class Pattern MatchingProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567519(74-83)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3567512.3567519
Fehr MNiu JRiddle RAmini MSu ZGrosser TJhala RDillig I(2022)IRDL: an IR definition language for SSA compilersProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523700(199-212)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523700
Dejanović I(2022)ParglareScience of Computer Programming10.1016/j.scico.2021.102734214:COnline publication date: 1-Feb-2022
https://dl.acm.org/doi/10.1016/j.scico.2021.102734
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents