@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},
  doi = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=69&issue=1&spage=123},
  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 = {http://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 = {http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050141abs.htm},
  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 = {http://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 = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=204},
  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 = {http://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 = {http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#009},
  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 = {http://researchr.org/publication/OlmosV02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {70},
  number = {6},
}