% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/25a1a247-2393-4332-8436-a6fb68bc4aea-optimization-through-rewrite-rules/compact

@article{SvenningssonA15,
  title = {Combining deep and shallow embedding of domain-specific languages},
  author = {Josef Svenningsson and Emil Axelsson},
  year = {2015},
  doi = {10.1016/j.cl.2015.07.003},
  url = {http://dx.doi.org/10.1016/j.cl.2015.07.003},
  researchr = {https://researchr.org/publication/SvenningssonA15},
  cites = {0},
  citedby = {0},
  journal = {Comp. Lang., Syst. \& Struct.},
  volume = {44},
  pages = {143-165},
}

@inproceedings{jones2001playing,
  title = {Playing by the rules: rewriting as a practical optimisation technique in GHC},
  author = {Jones, Simon Peyton and Tolmach, Andrew and Hoare, Tony},
  year = {2001},
  researchr = {https://researchr.org/publication/jones2001playing},
  cites = {0},
  citedby = {0},
  pages = {203-233},
}

@article{zaliva2015formal,
  title = {Formal Verification of HCOL Rewriting},
  author = {Zaliva, Vadim and Franchetti, Franz},
  year = {2015},
  researchr = {https://researchr.org/publication/zaliva2015formal},
  cites = {0},
  citedby = {0},
}

@article{BravenboerDOV06,
  title = {Program Transformation with Scoped Dynamic Rewrite Rules},
  author = {Martin  Bravenboer and Arthur van Dam and Karina Olmos and Eelco Visser},
  year = {2006},
  url = {https://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-06},
  tags = {programming languages, semantics, rule-based, formal semantics, graph transformation, dynamic rewrite rules, Stratego/XT, transformation language, term rewriting, language design, graph-rewriting, rules, operational semantics, context-aware, access control, rewriting, design, role-based access control, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerDOV06},
  cites = {0},
  citedby = {4},
  journal = {FUIN},
  volume = {69},
  number = {1-2},
  pages = {123-178},
}

@article{BravenboerKVV08,
  title = {{Stratego/XT 0.17}. {A} language and toolset for program transformation},
  author = {Martin  Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser},
  year = {2008},
  doi = {10.1016/j.scico.2007.11.003},
  url = {http://dx.doi.org/10.1016/j.scico.2007.11.003},
  tags = {control systems, programming languages, object-oriented programming, concrete object syntax, reusable components, rule-based, completeness, meta programming, pattern language, graph transformation, Stratego/XT, transformation language, reuse, graph-rewriting, rules, transformation system, DSL, programming, subject-oriented programming, context-aware, abstraction, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, meta-objects, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerKVV08},
  cites = {0},
  citedby = {7},
  journal = {SCP},
  volume = {72},
  number = {1-2},
  pages = {52-70},
}

@inproceedings{VisserBT98,
  title = {Building Program Optimizers with Rewriting Strategies},
  author = {Eelco Visser and Zine-El-Abidine Benaissa and Andrew P. Tolmach},
  year = {1998},
  doi = {10.1145/289423.289425},
  url = {http://doi.acm.org/10.1145/289423.289425},
  tags = {programming languages, optimization, semantics, rule-based, meta programming, graph transformation, variable binding, Stratego/XT, transformation language, term rewriting, composition, graph-rewriting, rules, C++, program optimization, Meta-Environment, higher-order transformations, rewriting, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/VisserBT98},
  cites = {0},
  citedby = {5},
  pages = {13-26},
  booktitle = {ICFP},
}