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

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

1 2 3 next

  1. Bettini, Lorenzo: Implementing type systems for the IDE with Xsemantics (2016)
  2. Freudenthal, Margus: Simpl: a toolkit for domain-specific language development in enterprise information systems (2013)
  3. Keep, Andrew W.; Dybvig, R.Kent: A nanopass framework for commercial compiler development (2013)
  4. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  5. Meseguer, José: Twenty years of rewriting logic (2012)
  6. Cunha, Alcino; Visser, Joost: Transformation of structure-shy programs with application to XPath queries and strategic functions (2011)
  7. Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C.L.; Visser, Eelco: Static consistency checking of web applications with WebDSL (2011)
  8. Tate, Ross; Stepp, Michael; Tatlock, Zachary; Lerner, Sorin: Equality saturation: a new approach to optimization (2011)
  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. Ordóñez Camacho, Diego; Mens, Kim; van den Brand, Mark; Vinju, Jurgen: Automated generation of program translation and verification tools using annotated grammars (2010)
  16. Van Noort, Thomas; Yakushev, Alexey Rodriguez; Holdermans, Stefan; Jeuring, Johan; Heeren, Bastiaan; Magalhães, José Pedro: A lightweight approach to datatype-generic rewriting (2010)
  17. van Wyk, Eric; Bodin, Derek; Gao, Jimin; Krishnan, Lijesh: Silver: an extensible attribute grammar system (2010)
  18. Andrei, Oana; Kirchner, Hélène: A higher-order graph calculus for autonomic computing (2009)
  19. Andrei, Oana; Kirchner, Hélène: A port graph calculus for autonomic computing and invariant verification (2009)
  20. Andrei, Oana; Lucanu, Dorel: Strategy-based proof calculus for membrane systems (2009)

1 2 3 next