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

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

1 2 3 4 5 next

  1. Bettini, Lorenzo: Implementing type systems for the IDE with Xsemantics (2016)
  2. Keep, Andrew W.; Dybvig, R.Kent: A nanopass framework for commercial compiler development (2013)
  3. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  4. Meseguer, José: Twenty years of rewriting logic (2012)
  5. Cunha, Alcino; Visser, Joost: Transformation of structure-shy programs with application to XPath queries and strategic functions (2011)
  6. Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C.L.; Visser, Eelco: Static consistency checking of web applications with WebDSL (2011)
  7. Tate, Ross; Stepp, Michael; Tatlock, Zachary; Lerner, Sorin: Equality saturation: a new approach to optimization (2011)
  8. Andersen, Jacob; Brabrand, Claus: Syntactic language extension via an algebra of languages and transformations (2010)
  9. Autexier, Serge; Dietrich, Dominik: A tactic language for declarative proofs (2010)
  10. Bravenboer, Martin; Dolstra, Eelco; Visser, Eelco: Preventing injection attacks with syntax embeddings (2010)
  11. Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne: Anti-patterns for rule-based languages (2010)
  12. Dietrich, Dominik; Schulz, Ewaryst: Crystal: Integrating structured queries into a tactic language (2010)
  13. Durán, Francisco; Roldán, Manuel; Bach, Jean-Christophe; Balland, Emilie; van den Brand, Mark; Cordy, James R.; Eker, Steven; Engelen, Luc; de Jonge, Maartje; Kalleberg, Karl Trygve; Kats, Lennart C.L.; Moreau, Pierre-Etienne; Visser, Eelco: The third rewrite engines competition (2010)
  14. Frisby, Nicolas; Kimmell, Garrin; Weaver, Philip; Alexander, Perry: Constructing language processors with algebra combinators (2010)
  15. Kats, Lennart C.L.; Kalleberg, Karl Trygve; Visser, Eelco: Domain-specific languages for composable editor plugins (2010)
  16. Ordóñez Camacho, Diego; Mens, Kim; van den Brand, Mark; Vinju, Jurgen: Automated generation of program translation and verification tools using annotated grammars (2010)
  17. Scott, Elizabeth; Johnstone, Adrian: GLL parsing (2010)
  18. Van Noort, Thomas; Yakushev, Alexey Rodriguez; Holdermans, Stefan; Jeuring, Johan; Heeren, Bastiaan; Magalhães, José Pedro: A lightweight approach to datatype-generic rewriting (2010)
  19. van Wyk, Eric; Bodin, Derek; Gao, Jimin; Krishnan, Lijesh: Silver: an extensible attribute grammar system (2010)
  20. Andrei, Oana; Kirchner, Hélène: A port graph calculus for autonomic computing and invariant verification (2009)

1 2 3 4 5 next