Stratego

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 70 articles , 1 standard article )

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

1 2 3 4 next

  1. Butterfield, Andrew: Utpcalc -- a calculator for UTP predicates (2017)
  2. Joosten, Sebastiaan J. C.: Parsing and printing of and with triples (2017)
  3. Mernik, Marjan: Domain-specific languages: a systematic mapping study (2017)
  4. Bettini, Lorenzo: Implementing type systems for the IDE with Xsemantics (2016)
  5. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason: Labelled graph rewriting meets social networks (2016)
  6. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  7. 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)
  8. Söderberg, Emma; Hedin, Görel: Declarative rewriting through circular nonterminal attributes (2015)
  9. Freudenthal, Margus: Simpl: a toolkit for domain-specific language development in enterprise information systems (2013)
  10. Keep, Andrew W.; Dybvig, R. Kent: A nanopass framework for commercial compiler development (2013) ioport
  11. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  12. Meseguer, José: Twenty years of rewriting logic (2012)
  13. Cunha, Alcino; Visser, Joost: Transformation of structure-shy programs with application to XPath queries and strategic functions (2011)
  14. Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C. L.; Visser, Eelco: Static consistency checking of web applications with WebDSL (2011)
  15. Padawitz, Peter: From grammars and automata to algebras and coalgebras (2011)
  16. Tate, Ross; Stepp, Michael; Tatlock, Zachary; Lerner, Sorin: Equality saturation: a new approach to optimization (2011)
  17. Autexier, Serge; Dietrich, Dominik: A tactic language for declarative proofs (2010)
  18. Bravenboer, Martin; Dolstra, Eelco; Visser, Eelco: Preventing injection attacks with syntax embeddings (2010)
  19. Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne: Anti-patterns for rule-based languages (2010)
  20. Dietrich, Dominik; Schulz, Ewaryst: Crystal: Integrating structured queries into a tactic language (2010)

1 2 3 4 next