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.

References in zbMATH (referenced in 78 articles , 1 standard article )

Showing results 1 to 20 of 78.
Sorted by year (citations)

1 2 3 4 next

  1. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Metalevel transformation of strategies (2022)
  2. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Simulating and model checking membrane systems using strategies in Maude (2022)
  3. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Strategies, model checking and branching-time properties in Maude (2021)
  4. Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn: Programming and symbolic computation in Maude (2020)
  5. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Strategic port graph rewriting: an interactive modelling framework (2019)
  6. Butterfield, Andrew: UTPCalc -- a calculator for UTP predicates (2017)
  7. Joosten, Sebastiaan J. C.: Parsing and printing of and with triples (2017)
  8. Bettini, Lorenzo: Implementing type systems for the IDE with Xsemantics (2016)
  9. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason: Labelled graph rewriting meets social networks (2016)
  10. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  11. Reis, Leonardo V. S.; Di Iorio, Vladimir O.; Bigonha, Roberto S.: An on-the-fly grammar modification mechanism for composing and defining extensible languages (2015)
  12. Söderberg, Emma; Hedin, Görel: Declarative rewriting through circular nonterminal attributes (2015)
  13. Freudenthal, Margus: Simpl: a toolkit for domain-specific language development in enterprise information systems (2013)
  14. Keep, Andrew W.; Dybvig, R. Kent: A nanopass framework for commercial compiler development (2013) ioport
  15. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  16. Meseguer, José: Twenty years of rewriting logic (2012)
  17. Cunha, Alcino; Visser, Joost: Transformation of structure-shy programs with application to XPath queries and strategic functions (2011)
  18. Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C. L.; Visser, Eelco: Static consistency checking of web applications with WebDSL (2011)
  19. Padawitz, Peter: From grammars and automata to algebras and coalgebras (2011)
  20. Tate, Ross; Stepp, Michael; Tatlock, Zachary; Lerner, Sorin: Equality saturation: a new approach to optimization (2011)

1 2 3 4 next