@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 = {Fundamenta Informaticae},
  volume = {69},
  number = {1-2},
  pages = {123-178},
}

@inproceedings{OlmosV03,
  title = {Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for {Octave}},
  author = {Karina Olmos and Eelco Visser},
  year = {2003},
  doi = {10.1109/SCAM.2003.1238040},
  url = {https://doi.org/10.1109/SCAM.2003.1238040},
  tags = {programming languages, type inference, dynamic typing, interpreter, Stratego/XT, transformation language, Octave, language design, type system, type checking, transformation system, compiler, higher-order transformations, program specialization, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/OlmosV03},
  cites = {0},
  citedby = {0},
  pages = {141-150},
  booktitle = {3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2005-7},
}

@inproceedings{OlmosV05,
  title = {Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules},
  author = {Karina Olmos and Eelco Visser},
  year = {2005},
  doi = {10.1007/978-3-540-31985-6_14},
  url = {https://doi.org/10.1007/978-3-540-31985-6_14},
  tags = {programming languages, model-to-model transformation, optimization, rule-based, intermediate representation, program analysis, meta programming, data-flow language, graph transformation, meta-model, dynamic rewrite rules, modeling language, modeling, variable binding, Stratego/XT, model refactoring, refactoring, transformation language, language modeling, composition, dynamic rules, points-to analysis, domain analysis, dependent dynamic rewrite rules, analysis, data-flow programming, data-flow, source-to-source, graph-rewriting, rules, rule-based refactoring, compiler, model transformation, programming, program optimization, Meta-Environment, rewriting, data-flow analysis, systematic-approach, rewriting strategies, open-source, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/OlmosV05},
  cites = {0},
  citedby = {0},
  pages = {204-220},
  booktitle = {Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Rastislav Bodík},
  volume = {3443},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25411-0},
}

@article{OlmosV02,
  title = {Strategies for Source-to-Source Constant Progagation},
  author = {Karina Olmos and Eelco Visser},
  year = {2002},
  doi = {10.1016/S1571-0661(04)80605-4},
  url = {https://doi.org/10.1016/S1571-0661(04)80605-4},
  tags = {control systems, model-to-model transformation, optimization, rule-based, graph transformation, dynamic rewrite rules, abstract syntax, Stratego/XT, data-flow programming, data-flow, source-to-source, graph-rewriting, rules, transformation system, model transformation, program optimization, rewriting, constant propagation, rewriting strategies, open-source, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/OlmosV02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {70},
  number = {6},
  pages = {156-175},
}