@article{BirdJM97,
  title = {More Haste, Less Speed: Lazy Versus Eager Evaluation},
  author = {Richard S. Bird and Geraint Jones and Oege de Moor},
  year = {1997},
  tags = {laziness},
  researchr = {https://researchr.org/publication/BirdJM97},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {7},
  number = {5},
  pages = {541-547},
}

@inproceedings{HajiyevVM06,
  title = {{codeQuest}: Scalable Source Code Queries with {Datalog}},
  author = {Elnar Hajiyev and Mathieu Verbaere and Oege de Moor},
  year = {2006},
  doi = {10.1007/11785477_2},
  url = {http://dx.doi.org/10.1007/11785477_2},
  tags = {programming languages, Prolog, rule-based, translation, relational database, SQL, source-to-source, logic programming, programming, database, logic, Datalog, open-source, query language},
  researchr = {https://researchr.org/publication/HajiyevVM06},
  cites = {43},
  citedby = {1},
  pages = {2-27},
  booktitle = {ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings},
  editor = {Dave Thomas},
  volume = {4067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35726-2},
}

@inproceedings{AvgustinovBHMOSST06,
  title = {Aspects and Data Refinement},
  author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2006},
  doi = {10.1007/11783596_3},
  url = {http://dx.doi.org/10.1007/11783596_3},
  tags = {refinement, data-flow},
  researchr = {https://researchr.org/publication/AvgustinovBHMOSST06},
  cites = {0},
  citedby = {0},
  pages = {5-9},
  booktitle = {Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  editor = {Tarmo Uustalu},
  volume = {4014},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35631-2},
}

@inproceedings{AllanACHKLMSST05,
  title = {Adding trace matching with free variables to AspectJ},
  author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2005},
  doi = {10.1145/1094811.1094839},
  url = {http://doi.acm.org/10.1145/1094811.1094839},
  tags = {AspectJ},
  researchr = {https://researchr.org/publication/AllanACHKLMSST05},
  cites = {0},
  citedby = {0},
  pages = {345-364},
  booktitle = {Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  editor = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {1-59593-031-0},
}

@article{BarryM04,
  title = {Preface},
  author = {Brian M. Barry and Oege de Moor},
  year = {2004},
  doi = {10.1016/j.entcs.2004.02.043},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.02.043},
  researchr = {https://researchr.org/publication/BarryM04},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {107},
  pages = {1-5},
}

@inproceedings{Moor95,
  title = {A Generic Program for Sequential Decision Processes},
  author = {Oege de Moor},
  year = {1995},
  tags = {generic programming},
  researchr = {https://researchr.org/publication/Moor95},
  cites = {0},
  citedby = {0},
  pages = {1-23},
  booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings},
  editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra},
  volume = {982},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60359-X},
}

@inproceedings{SchaferMOOPSLA2010,
  title = {Specifying and implementing refactorings},
  author = {Max Schäfer and Oege de Moor},
  year = {2010},
  doi = {10.1145/1869459.1869485},
  url = {http://doi.acm.org/10.1145/1869459.1869485},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/SchaferMOOPSLA2010},
  cites = {0},
  citedby = {0},
  pages = {286-301},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@inproceedings{Cartey2012,
  title = {Synthesising graphics card programs from DSLs},
  author = {Luke Cartey and Rune Lyngso and Oege de Moor},
  year = {2012},
  doi = {10.1145/2254064.2254080},
  url = {http://doi.acm.org/10.1145/2254064.2254080},
  tags = {programming languages, program partitioning, program analysis, case study, architecture, analysis, static analysis, code generation, DSL, partitioning},
  researchr = {https://researchr.org/publication/Cartey2012},
  cites = {0},
  citedby = {0},
  pages = {121-132},
  booktitle = {Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation},
  series = {PLDI '12},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-4503-1205-9},
}

@inproceedings{WykMBK02,
  title = {Forwarding in Attribute Grammars for Modular Language Design},
  author = {Eric {Van Wyk} and Oege de Moor and Kevin Backhouse and Paul Kwiatkowski},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2304/23040128.htm},
  tags = {attribute grammars, language design, design, grammar},
  researchr = {https://researchr.org/publication/WykMBK02},
  cites = {0},
  citedby = {4},
  pages = {128-142},
  booktitle = {Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings},
  editor = {R. Nigel Horspool},
  volume = {2304},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43369-4},
}

@inproceedings{SwierstraM93,
  title = {Virtual Data Structures},
  author = {S. Doaitse Swierstra and Oege de Moor},
  year = {1993},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/SwierstraM93},
  cites = {0},
  citedby = {0},
  pages = {355-371},
  booktitle = {Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report},
  editor = {Bernhard Möller and Helmuth Partsch and Stephen A. Schuman},
  volume = {755},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57499-9},
}

@inproceedings{SchaferVEM09,
  title = {Stepping Stones over the Refactoring Rubicon},
  author = {Max Schäfer and Mathieu Verbaere and Torbjörn Ekman and Oege de Moor},
  year = {2009},
  doi = {10.1007/978-3-642-03013-0_17},
  url = {http://dx.doi.org/10.1007/978-3-642-03013-0_17},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/SchaferVEM09},
  cites = {0},
  citedby = {0},
  pages = {369-393},
  booktitle = {ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings},
  editor = {Sophia Drossopoulou},
  volume = {5653},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03012-3},
}

@inproceedings{SchaferEM08,
  title = {Sound and extensible renaming for {Java}},
  author = {Max Schäfer and Torbjörn Ekman and Oege de Moor},
  year = {2008},
  doi = {10.1145/1449764.1449787},
  url = {http://doi.acm.org/10.1145/1449764.1449787},
  tags = {programming languages, AspectJ, rule-based, Java, Eclipse, meta programming, type soundness, refactoring, maintenance, rules, rule-based refactoring, compiler, context-aware, Meta-Environment, JastAdd, extensible language, systematic-approach},
  researchr = {https://researchr.org/publication/SchaferEM08},
  cites = {33},
  citedby = {0},
  pages = {277-294},
  booktitle = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-215-3},
}

@inproceedings{SchaferEM09,
  title = {Formalising and Verifying Reference Attribute Grammars in Coq},
  author = {Max Schäfer and Torbjörn Ekman and Oege de Moor},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_11},
  url = {http://dx.doi.org/10.1007/978-3-642-00590-9_11},
  tags = {attribute grammars, reference attribute grammars, grammar},
  researchr = {https://researchr.org/publication/SchaferEM09},
  cites = {0},
  citedby = {0},
  pages = {143-159},
  booktitle = {Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Giuseppe Castagna},
  volume = {5502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00589-3},
}

@article{DanvyMPT06,
  title = {Editorial},
  author = {Olivier Danvy and Oege de Moor and Julian A. Padget and Peter Thiemann},
  year = {2006},
  doi = {10.1007/s10990-006-8607-3},
  url = {http://dx.doi.org/10.1007/s10990-006-8607-3},
  researchr = {https://researchr.org/publication/DanvyMPT06},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {19},
  number = {1},
  pages = {5},
}

@inproceedings{BirdM93,
  title = {From Dynamic Programming to Greedy Algorithms},
  author = {Richard S. Bird and Oege de Moor},
  year = {1993},
  tags = {programming},
  researchr = {https://researchr.org/publication/BirdM93},
  cites = {0},
  citedby = {0},
  pages = {43-61},
  booktitle = {Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report},
  editor = {Bernhard Möller and Helmuth Partsch and Stephen A. Schuman},
  volume = {755},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57499-9},
}

@inproceedings{SereniAM08,
  title = {Adding magic to an optimising datalog compiler},
  author = {Damien Sereni and Pavel Avgustinov and Oege de Moor},
  year = {2008},
  doi = {10.1145/1376616.1376673},
  url = {http://doi.acm.org/10.1145/1376616.1376673},
  tags = {rule-based, SQL, compiler, database, context-aware, magic sets, Datalog, transformation, program transformation},
  researchr = {https://researchr.org/publication/SereniAM08},
  cites = {0},
  citedby = {0},
  pages = {553-566},
  booktitle = {Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008},
  editor = {Jason Tsong-Li Wang},
  publisher = {ACM},
  isbn = {978-1-60558-102-6},
}

@inproceedings{SchaferM10,
  title = {Type inference for datalog with complex type hierarchies},
  author = {Max Schäfer and Oege de Moor},
  year = {2010},
  doi = {10.1145/1706299.1706317},
  url = {http://doi.acm.org/10.1145/1706299.1706317},
  tags = {type inference, Datalog},
  researchr = {https://researchr.org/publication/SchaferM10},
  cites = {0},
  citedby = {0},
  pages = {145-156},
  booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010},
  editor = {Manuel V. Hermenegildo and Jens Palsberg},
  publisher = {ACM},
  isbn = {978-1-60558-479-9},
}

@inproceedings{SittampalamML04,
  title = {Incremental execution of transformation specifications},
  author = {Ganesh Sittampalam and Oege de Moor and Ken Friis Larsen},
  year = {2004},
  doi = {10.1145/964001.964004},
  url = {http://doi.acm.org/10.1145/964001.964004},
  tags = {incremental execution, incremental, transformation},
  researchr = {https://researchr.org/publication/SittampalamML04},
  cites = {0},
  citedby = {0},
  pages = {26-38},
  booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004},
  editor = {Neil D. Jones and Xavier Leroy},
  publisher = {ACM},
  isbn = {1-58113-729-X},
}

@inproceedings{BellamyAMS08,
  title = {Efficient local type inference},
  author = {Ben Bellamy and Pavel Avgustinov and Oege de Moor and Damien Sereni},
  year = {2008},
  doi = {10.1145/1449764.1449802},
  url = {http://doi.acm.org/10.1145/1449764.1449802},
  tags = {model-to-model transformation, type inference, rule-based, Java, data-flow language, model checking, type soundness, transformation language, points-to analysis, analysis, static analysis, constraints, data-flow, source-to-source, rules, type checking, model transformation, decompilation, data-flow analysis, local type inference, open-source, transformation},
  researchr = {https://researchr.org/publication/BellamyAMS08},
  cites = {0},
  citedby = {0},
  pages = {475-492},
  booktitle = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-215-3},
}

@inproceedings{LaceyM01,
  title = {Imperative Program Transformation by Rewriting},
  author = {David Lacey and Oege de Moor},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2027/20270052.htm},
  tags = {control systems, graph transformation, data-flow programming, data-flow, graph-rewriting, pattern matching, logic programming, transformation system, compiler, logic, higher-order transformations, rewriting logic, rewriting, transformation, program transformation},
  researchr = {https://researchr.org/publication/LaceyM01},
  cites = {0},
  citedby = {0},
  pages = {52-68},
  booktitle = {Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings},
  editor = {Reinhard Wilhelm},
  volume = {2027},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41861-X},
}

@inproceedings{DrapeMS02,
  title = {Transforming the .NET intermediate language using path logic programming},
  author = {Stephen Drape and Oege de Moor and Ganesh Sittampalam},
  year = {2002},
  doi = {10.1145/571157.571171},
  url = {http://doi.acm.org/10.1145/571157.571171},
  tags = {programming languages, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/DrapeMS02},
  cites = {1},
  citedby = {0},
  pages = {133-144},
  booktitle = {Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)},
  publisher = {ACM},
}

@article{10.1109-SCAM.2007.31,
  title = {Keynote Address: .QL for Source Code Analysis},
  author = {Oege de Moor and Mathieu Verbaere and Elnar Hajiyev and Pavel Avgustinov and Torbjorn Ekman and Neil Ongkingco and Damien Sereni and Julian Tibble},
  year = {2007},
  doi = {10.1109/SCAM.2007.31},
  url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2007.31},
  tags = {points-to analysis, analysis, source-to-source, peer-to-peer, open-source},
  researchr = {https://researchr.org/publication/10.1109-SCAM.2007.31},
  cites = {0},
  citedby = {0},
  journal = {Source Code Analysis and Manipulation, IEEE International Workshop on},
  volume = {0},
}

@inproceedings{HajiyevOAMSTV06,
  title = {Datalog as a pointcut language in aspect-oriented programming},
  author = {Elnar Hajiyev and Neil Ongkingco and Pavel Avgustinov and Oege de Moor and Damien Sereni and Julian Tibble and Mathieu Verbaere},
  year = {2006},
  doi = {10.1145/1176617.1176664},
  url = {http://doi.acm.org/10.1145/1176617.1176664},
  tags = {programming languages, object-oriented programming, aspect oriented programming, programming, subject-oriented programming, Datalog, feature-oriented programming},
  researchr = {https://researchr.org/publication/HajiyevOAMSTV06},
  cites = {0},
  citedby = {0},
  pages = {667-668},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{SereniM03,
  title = {Static analysis of aspects},
  author = {Damien Sereni and Oege de Moor},
  year = {2003},
  doi = {10.1145/643603.643607},
  url = {http://doi.acm.org/10.1145/643603.643607},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/SereniM03},
  cites = {0},
  citedby = {0},
  pages = {30-39},
  booktitle = {AOSD},
}

@inproceedings{AvgustinovHOMSTV07,
  title = {Semantics of static pointcuts in aspectJ},
  author = {Pavel Avgustinov and Elnar Hajiyev and Neil Ongkingco and Oege de Moor and Damien Sereni and Julian Tibble and Mathieu Verbaere},
  year = {2007},
  doi = {10.1145/1190216.1190221},
  url = {http://doi.acm.org/10.1145/1190216.1190221},
  tags = {programming languages, AspectJ, object-oriented programming, semantics, Prolog, rule-based, translation, data-flow language, pattern language, graph query, data-flow programming, data-flow, graph-rewriting, rules, writing, logic programming, aspect oriented programming, programming, subject-oriented programming, logic, rewriting logic, rewriting, Datalog, feature-oriented programming, Stratego, query language},
  researchr = {https://researchr.org/publication/AvgustinovHOMSTV07},
  cites = {1},
  citedby = {0},
  pages = {11-23},
  booktitle = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007},
  editor = {Martin Hofmann and Matthias Felleisen},
  publisher = {ACM},
  isbn = {1-59593-575-4},
}

@article{Moor94,
  title = {Categories, Relations and Dynamic Programming},
  author = {Oege de Moor},
  year = {1994},
  tags = {programming},
  researchr = {https://researchr.org/publication/Moor94},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {4},
  number = {1},
  pages = {33-69},
}

@inproceedings{AvgustinovBHHLMOSSTV06,
  title = {Aspects for Trace Monitoring},
  author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Laurie J. Hendren and Ondřej Lhoták and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble and Mathieu Verbaere},
  year = {2006},
  doi = {10.1007/11940197_2},
  url = {http://dx.doi.org/10.1007/11940197_2},
  researchr = {https://researchr.org/publication/AvgustinovBHHLMOSSTV06},
  cites = {0},
  citedby = {0},
  pages = {20-39},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers},
  editor = {Klaus Havelund and Manuel Núñez and Grigore Rosu and Burkhart Wolff},
  volume = {4262},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-49699-8},
}

@inproceedings{MoorS99,
  title = {Higher Order Matching for Program Transformation},
  author = {Oege de Moor and Ganesh Sittampalam},
  year = {1999},
  tags = {higher-order transformations, transformation, program transformation},
  researchr = {https://researchr.org/publication/MoorS99},
  cites = {0},
  citedby = {0},
  pages = {209-224},
  booktitle = {Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  editor = {Aart Middeldorp and Taisuke Sato},
  volume = {1722},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66677-X},
}

@inproceedings{AvgustinovCHKLLMSST05,
  title = {abc: an extensible AspectJ compiler},
  author = {Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2005},
  doi = {10.1145/1052898.1052906},
  url = {http://doi.acm.org/10.1145/1052898.1052906},
  tags = {AspectJ, compiler},
  researchr = {https://researchr.org/publication/AvgustinovCHKLLMSST05},
  cites = {0},
  citedby = {0},
  pages = {87-98},
  booktitle = {Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005},
  editor = {Mira Mezini and Peri L. Tarr},
  publisher = {ACM},
  isbn = {1-59593-042-6},
}

@inproceedings{AvgustinovTM07:0,
  title = {On the Semantics of Matching Trace Monitoring Patterns},
  author = {Pavel Avgustinov and Julian Tibble and Oege de Moor},
  year = {2007},
  doi = {10.1007/978-3-540-77395-5_2},
  url = {http://dx.doi.org/10.1007/978-3-540-77395-5_2},
  tags = {semantics, pattern matching},
  researchr = {https://researchr.org/publication/AvgustinovTM07%3A0},
  cites = {0},
  citedby = {0},
  pages = {9-21},
  booktitle = {Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers},
  editor = {Oleg Sokolsky and Serdar Tasiran},
  volume = {4839},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77394-8},
}

@inproceedings{HajiyevVMV05,
  title = {CodeQuest: querying source code with datalog},
  author = {Elnar Hajiyev and Mathieu Verbaere and Oege de Moor and Kris De Volder},
  year = {2005},
  doi = {10.1145/1094855.1094884},
  url = {http://doi.acm.org/10.1145/1094855.1094884},
  tags = {source-to-source, Datalog, open-source},
  researchr = {https://researchr.org/publication/HajiyevVMV05},
  cites = {0},
  citedby = {0},
  pages = {102-103},
  booktitle = {Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  editor = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {1-59593-193-7},
}

@inproceedings{MoorSVHAEOT07,
  title = {.QL: Object-Oriented Queries Made Easy},
  author = {Oege de Moor and Damien Sereni and Mathieu Verbaere and Elnar Hajiyev and Pavel Avgustinov and Torbjörn Ekman and Neil Ongkingco and Julian Tibble},
  year = {2007},
  doi = {10.1007/978-3-540-88643-3_3},
  url = {http://dx.doi.org/10.1007/978-3-540-88643-3_3},
  tags = {data-flow language, reuse, data-flow, Meta-Environment, meta-objects, query language},
  researchr = {https://researchr.org/publication/MoorSVHAEOT07},
  cites = {1},
  citedby = {0},
  pages = {78-133},
  booktitle = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007},
  editor = {Ralf Lämmel and Joost Visser and João Saraiva},
  volume = {5235},
  series = {Lecture Notes in Computer Science},
  address = {Braga, Portugal},
  publisher = {Springer},
  isbn = {978-3-540-88642-6},
}

@article{Moor92,
  title = {Inductive Data Types for Predicate Transformers},
  author = {Oege de Moor},
  year = {1992},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Moor92},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {43},
  number = {3},
  pages = {113-117},
}

@inproceedings{OngkingcoATHMS06,
  title = {Adding open modules to AspectJ},
  author = {Neil Ongkingco and Pavel Avgustinov and Julian Tibble and Laurie J. Hendren and Oege de Moor and Ganesh Sittampalam},
  year = {2006},
  doi = {10.1145/1119655.1119664},
  url = {http://doi.acm.org/10.1145/1119655.1119664},
  tags = {AspectJ, source-to-source, open-source},
  researchr = {https://researchr.org/publication/OngkingcoATHMS06},
  cites = {0},
  citedby = {1},
  pages = {39-50},
  booktitle = {Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006},
  editor = {Robert E. Filman},
  publisher = {ACM},
  isbn = {1-59593-300-X},
}

@inproceedings{SchaferEM-PLPV-2009,
  title = {Challenge proposal: verification of refactorings},
  author = {Max Schäfer and Torbjörn Ekman and Oege de Moor},
  year = {2009},
  doi = {10.1145/1481848.1481859},
  url = {http://doi.acm.org/10.1145/1481848.1481859},
  tags = {program verification, refactoring, testing, transformation, program transformation},
  researchr = {https://researchr.org/publication/SchaferEM-PLPV-2009},
  cites = {26},
  citedby = {0},
  pages = {67-72},
  booktitle = {Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009},
  editor = {Thorsten Altenkirch and Todd D. Millstein},
  publisher = {ACM},
  isbn = {978-1-60558-330-3},
}

@inproceedings{GardinerMM92,
  title = {An Algebraic Construction of Predicate Transformers},
  author = {Paul H. B. Gardiner and Clare E. Martin and Oege de Moor},
  year = {1992},
  tags = {e-science,  algebra},
  researchr = {https://researchr.org/publication/GardinerMM92},
  cites = {0},
  citedby = {0},
  pages = {100-121},
  booktitle = {Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings},
  editor = {Richard S. Bird and Carroll Morgan and Jim Woodcock},
  volume = {669},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56625-2},
}

@inproceedings{DufourGHMSV04,
  title = {Measuring the dynamic behaviour of AspectJ programs},
  author = {Bruno Dufour and Christopher Goard and Laurie J. Hendren and Oege de Moor and Ganesh Sittampalam and Clark Verbrugge},
  year = {2004},
  doi = {10.1145/1028976.1028990},
  url = {http://doi.acm.org/10.1145/1028976.1028990},
  tags = {AspectJ},
  researchr = {https://researchr.org/publication/DufourGHMSV04},
  cites = {0},
  citedby = {0},
  pages = {150-169},
  booktitle = {Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004},
  editor = {John M. Vlissides and Douglas C. Schmidt},
  address = {Vancouver, BC, Canada},
  publisher = {ACM},
  isbn = {1-58113-831-8},
}

@article{ElliottFM03,
  title = {Compiling embedded languages},
  author = {Conal Elliott and Sigbjorn Finne and Oege de Moor},
  year = {2003},
  doi = {10.1017/S0956796802004574},
  url = {http://dx.doi.org/10.1017/S0956796802004574},
  tags = {embedded languages, programming languages, optimization, rule-based, syntax definition, data-flow language, graph transformation, interpreter, transformation language, functional programming, data-flow programming, data-flow, graph-rewriting, code generation, compiler, DSL, program optimization, internal languages, rewriting, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/ElliottFM03},
  cites = {17},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {3},
  pages = {455-481},
}

@inproceedings{AllanACHKLLMSST05,
  title = {\emph{abc}: The AspectBench Compiler for AspectJ},
  author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2005},
  doi = {10.1007/11561347_2},
  url = {http://dx.doi.org/10.1007/11561347_2},
  tags = {AspectJ, compiler},
  researchr = {https://researchr.org/publication/AllanACHKLLMSST05},
  cites = {0},
  citedby = {0},
  pages = {10-16},
  booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
  editor = {Robert Glück and Michael R. Lowry},
  volume = {3676},
  series = {Lecture Notes in Computer Science},
  address = {Tallinn, Estonia},
  publisher = {Springer},
  isbn = {3-540-29138-5},
}

@inproceedings{MoorPW99,
  title = {Aspect-Oriented Compilers},
  author = {Oege de Moor and Simon L. Peyton Jones and Eric {Van Wyk}},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1799/17990121.htm},
  tags = {compiler},
  researchr = {https://researchr.org/publication/MoorPW99},
  cites = {0},
  citedby = {0},
  pages = {121-133},
  booktitle = {Generative and Component-Based Software Engineering, First International Symposium, GCSE 99, Erfurt, Germany, September 28-30, 1999, Revised Papers},
  editor = {Krzysztof Czarnecki and Ulrich W. Eisenecker},
  volume = {1799},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41172-0},
}

@inproceedings{BirdM96,
  title = {The algebra of programming},
  author = {Richard S. Bird and Oege de Moor},
  year = {1996},
  tags = { algebra, programming},
  researchr = {https://researchr.org/publication/BirdM96},
  cites = {0},
  citedby = {0},
  pages = {167-203},
  booktitle = {Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany},
  editor = {Manfred Broy},
  isbn = {3-540-60947-4},
}

@inproceedings{MoorHV07,
  title = {Object-oriented queries over software systems: (abstract of invited talk)},
  author = {Oege de Moor and Elnar Hajiyev and Mathieu Verbaere},
  year = {2007},
  doi = {10.1145/1244381.1244396},
  url = {http://doi.acm.org/10.1145/1244381.1244396},
  researchr = {https://researchr.org/publication/MoorHV07},
  cites = {0},
  citedby = {0},
  pages = {91},
  booktitle = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007},
  editor = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@inproceedings{SittampalamM01,
  title = {Higher-Order Pattern Matching for Automatically Applying Fusion Transformations},
  author = {Ganesh Sittampalam and Oege de Moor},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2053/20530218.htm},
  tags = {pattern matching, higher-order transformations, transformation},
  researchr = {https://researchr.org/publication/SittampalamM01},
  cites = {0},
  citedby = {0},
  pages = {218-237},
  booktitle = {Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings},
  editor = {Olivier Danvy and Andrzej Filinski},
  volume = {2053},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42068-1},
}

@inproceedings{AvgustinovCHKLLMSST05:0,
  title = {Optimising aspectJ},
  author = {Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2005},
  doi = {10.1145/1065010.1065026},
  url = {http://doi.acm.org/10.1145/1065010.1065026},
  tags = {AspectJ},
  researchr = {https://researchr.org/publication/AvgustinovCHKLLMSST05%3A0},
  cites = {0},
  citedby = {0},
  pages = {117-128},
  booktitle = {Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005},
  editor = {Vivek Sarkar and Mary W. Hall},
  publisher = {ACM},
  isbn = {1-59593-056-6},
}

@inproceedings{AvgustinovTM07,
  title = {Making trace monitors feasible},
  author = {Pavel Avgustinov and Julian Tibble and Oege de Moor},
  year = {2007},
  doi = {10.1145/1297027.1297070},
  url = {http://doi.acm.org/10.1145/1297027.1297070},
  researchr = {https://researchr.org/publication/AvgustinovTM07},
  cites = {0},
  citedby = {0},
  pages = {589-608},
  booktitle = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-786-5},
}

@inproceedings{AvgustinovTBHLMOS06,
  title = {Efficient trace monitoring},
  author = {Pavel Avgustinov and Julian Tibble and Eric Bodden and Laurie J. Hendren and Ondřej Lhoták and Oege de Moor and Neil Ongkingco and Ganesh Sittampalam},
  year = {2006},
  doi = {10.1145/1176617.1176673},
  url = {http://doi.acm.org/10.1145/1176617.1176673},
  researchr = {https://researchr.org/publication/AvgustinovTBHLMOS06},
  cites = {0},
  citedby = {0},
  pages = {685-686},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{VerbaerePM06,
  title = {Scripting refactorings with JunGL},
  author = {Mathieu Verbaere and Arnaud Payement and Oege de Moor},
  year = {2006},
  doi = {10.1145/1176617.1176656},
  url = {http://doi.acm.org/10.1145/1176617.1176656},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/VerbaerePM06},
  cites = {0},
  citedby = {0},
  pages = {651-652},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{VerbaereEM06,
  title = {{JunGL}: a scripting language for refactoring},
  author = {Mathieu Verbaere and Ran Ettinger and Oege de Moor},
  year = {2006},
  doi = {10.1145/1134311},
  url = {http://doi.acm.org/10.1145/1134311},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/VerbaereEM06},
  cites = {0},
  citedby = {0},
  pages = {172-181},
  booktitle = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
  editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
  publisher = {ACM},
  isbn = {1-59593-375-1},
}

@article{BirdM93:0,
  title = {List Partitions},
  author = {Richard S. Bird and Oege de Moor},
  year = {1993},
  tags = {partitioning},
  researchr = {https://researchr.org/publication/BirdM93%3A0},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {5},
  number = {1},
  pages = {61-78},
}

@article{GardinerMM94,
  title = {An Algebraic Construction of Predicate Transformers},
  author = {Paul H. B. Gardiner and Clare E. Martin and Oege de Moor},
  year = {1994},
  tags = {e-science,  algebra},
  researchr = {https://researchr.org/publication/GardinerMM94},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {22},
  number = {1-2},
  pages = {21-44},
}

@article{MoorG99,
  title = {Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting},
  author = {Oege de Moor and Jeremy Gibbons},
  year = {1999},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/MoorG99},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {35},
  number = {1},
  pages = {3-27},
}

@inproceedings{BirdM92,
  title = {Solving Optimisation Problems with Catamorphism},
  author = {Richard S. Bird and Oege de Moor},
  year = {1992},
  researchr = {https://researchr.org/publication/BirdM92},
  cites = {0},
  citedby = {0},
  pages = {45-66},
  booktitle = {Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings},
  editor = {Richard S. Bird and Carroll Morgan and Jim Woodcock},
  volume = {669},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56625-2},
}

@inproceedings{MoorVHAEOST07,
  title = {Keynote Address: .QL for Source Code Analysis},
  author = {Oege de Moor and Mathieu Verbaere and Elnar Hajiyev and Pavel Avgustinov and Torbjörn Ekman and Neil Ongkingco and Damien Sereni and Julian Tibble},
  year = {2007},
  doi = {10.1109/SCAM.2007.31},
  url = {http://dx.doi.org/10.1109/SCAM.2007.31},
  tags = {points-to analysis, analysis, source-to-source, Meta-Environment, open-source, meta-objects, query language},
  researchr = {https://researchr.org/publication/MoorVHAEOST07},
  cites = {0},
  citedby = {0},
  pages = {3-16},
  booktitle = {Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France},
  publisher = {IEEE},
}

@inproceedings{MoorSAV08,
  title = {Type inference for datalog and its application to query optimisation},
  author = {Oege de Moor and Damien Sereni and Pavel Avgustinov and Mathieu Verbaere},
  year = {2008},
  doi = {10.1145/1376916.1376957},
  url = {http://doi.acm.org/10.1145/1376916.1376957},
  tags = {programming languages, object-oriented programming, type inference, rule-based, Java, meta programming, type soundness, type system, compiler, subject-oriented programming, abstraction, Meta-Environment, Datalog, feature-oriented programming, meta-objects, query language},
  researchr = {https://researchr.org/publication/MoorSAV08},
  cites = {0},
  citedby = {0},
  pages = {291-300},
  booktitle = {Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada},
  editor = {Maurizio Lenzerini and Domenico Lembo},
  publisher = {ACM},
  isbn = {978-1-60558-108-8},
}

@article{HoogendijkM00,
  title = {Container types categorically},
  author = {Paul F. Hoogendijk and Oege de Moor},
  year = {2000},
  researchr = {https://researchr.org/publication/HoogendijkM00},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {10},
  number = {2},
  pages = {191-225},
}

@article{MoorLW03,
  title = {Universal Regular Path Queries},
  author = {Oege de Moor and David Lacey and Eric {Van Wyk}},
  year = {2003},
  doi = {10.1023/A:1023063919574},
  url = {http://dx.doi.org/10.1023/A:1023063919574},
  researchr = {https://researchr.org/publication/MoorLW03},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {16},
  number = {1-2},
  pages = {15-35},
}

@article{AvgustinovCHKLLMSST06,
  title = {\emph{abc}: An Extensible {AspectJ} Compiler},
  author = {Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2006},
  doi = {10.1007/11687061_9},
  url = {http://dx.doi.org/10.1007/11687061_9},
  tags = {programming languages, workbench, AspectJ, object-oriented programming, rule-based, Java, data-flow language, design research, language design, data-flow programming, data-flow, code generation, type checking, reviewing, aspect oriented programming, compiler, programming, subject-oriented programming, language workbench, design, extensible language, feature-oriented programming},
  researchr = {https://researchr.org/publication/AvgustinovCHKLLMSST06},
  cites = {0},
  citedby = {1},
  journal = {Transactions on Aspect-Oriented Software Development},
  pages = {293-334},
}

@inproceedings{AllanACDGHKLLMSSTV05,
  title = {abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research},
  author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Bruno Dufour and Christopher Goard and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble and Clark Verbrugge},
  year = {2005},
  doi = {10.1145/1094855.1094877},
  url = {http://doi.acm.org/10.1145/1094855.1094877},
  tags = {programming languages, workbench, AspectJ, object-oriented programming, aspect oriented programming, compiler, programming, subject-oriented programming, language workbench, feature-oriented programming},
  researchr = {https://researchr.org/publication/AllanACDGHKLLMSSTV05},
  cites = {0},
  citedby = {0},
  pages = {88-89},
  booktitle = {Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  editor = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {1-59593-193-7},
}

@inproceedings{DigJTMBGK07,
  title = {Refactoring Tools},
  author = {Danny Dig and Ralph E. Johnson and Frank Tip and Oege de Moor and Jan Becicka and William G. Griswold and Markus Keller},
  year = {2007},
  doi = {10.1007/978-3-540-78195-0_19},
  url = {http://dx.doi.org/10.1007/978-3-540-78195-0_19},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/DigJTMBGK07},
  cites = {0},
  citedby = {0},
  pages = {193-202},
  booktitle = {Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports},
  editor = {Michael Cebulla},
  volume = {4906},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78194-3},
}

@techreport{Wyk01intentionalprogramming:,
  title = {Intentional Programming: a Host of Language Features},
  author = {Eric {Van Wyk} and Oege de Moor and Ganesh Sittampalam and Ivan Sanabria Piretti and Kevin Backhouse and Paul Kwiatkowski},
  year = {2001},
  url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5286},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Wyk01intentionalprogramming%3A},
  cites = {0},
  citedby = {0},
  institution = {Oxford University Computing Laboratory
},
  address = {Wolfson Building, Parks Road, Oxford OX1 3QD},
}

@article{MoorBS00,
  title = {First-class Attribute Grammars},
  author = {Oege de Moor and Kevin Backhouse and S. Doaitse Swierstra},
  year = {2000},
  tags = {attribute grammars, grammar},
  researchr = {https://researchr.org/publication/MoorBS00},
  cites = {0},
  citedby = {0},
  journal = {Informatica (Slovenia)},
  volume = {24},
  number = {3},
}

@inproceedings{AvgustinovTM07a,
  title = {A comparison of compilation techniques for trace monitors with free variables},
  author = {Pavel Avgustinov and Julian Tibble and Oege de Moor},
  year = {2007},
  doi = {10.1145/1297846.1297905},
  url = {http://doi.acm.org/10.1145/1297846.1297905},
  researchr = {https://researchr.org/publication/AvgustinovTM07a},
  cites = {0},
  citedby = {0},
  pages = {821-822},
  booktitle = {Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-865-7},
}

@inproceedings{MoorS98,
  title = {Generic Program Transformation},
  author = {Oege de Moor and Ganesh Sittampalam},
  year = {1998},
  tags = {generic programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/MoorS98},
  cites = {0},
  citedby = {0},
  pages = {116-149},
  booktitle = {Advanced Functional Programming},
}

@article{MoorS01,
  title = {Higher-order matching for program transformation},
  author = {Oege de Moor and Ganesh Sittampalam},
  year = {2001},
  doi = {10.1016/S0304-3975(00)00402-3},
  url = {http://dx.doi.org/10.1016/S0304-3975(00)00402-3},
  tags = {higher-order transformations, transformation, program transformation},
  researchr = {https://researchr.org/publication/MoorS01},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {269},
  number = {1-2},
  pages = {135-162},
}

@article{BirdMH96,
  title = {Generic Functional Programming with Types and Relations},
  author = {Richard S. Bird and Oege de Moor and Paul F. Hoogendijk},
  year = {1996},
  tags = {generic programming, functional programming, programming},
  researchr = {https://researchr.org/publication/BirdMH96},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {6},
  number = {1},
  pages = {1-28},
}

@inproceedings{VerbaereHM07,
  title = {Improve software quality with SemmleCode: an eclipse plugin for semantic code search},
  author = {Mathieu Verbaere and Elnar Hajiyev and Oege de Moor},
  year = {2007},
  doi = {10.1145/1297846.1297936},
  url = {http://doi.acm.org/10.1145/1297846.1297936},
  tags = {Eclipse, search},
  researchr = {https://researchr.org/publication/VerbaereHM07},
  cites = {0},
  citedby = {0},
  pages = {880-881},
  booktitle = {Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-865-7},
}

@inproceedings{ecoop09refactoring,
  title = {Stepping Stones over the Refactoring Rubicon -- Lightweight Language Extensions to Easily Realise Refactorings},
  author = {Max Sch{\"a}fer and Mathieu Verbaere and Torbj{\"o}rn Ekman and Oege de Moor},
  year = {2009},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/ecoop09refactoring},
  cites = {0},
  citedby = {0},
  booktitle = {23rd European Conference on Object-Oriented Programming (ECOOP '09)},
}

@inproceedings{MoorG00,
  title = {Invited Talk: Pointwise Relational Programming},
  author = {Oege de Moor and Jeremy Gibbons},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1816/18160371.htm},
  tags = {programming},
  researchr = {https://researchr.org/publication/MoorG00},
  cites = {0},
  citedby = {0},
  pages = {371-390},
  booktitle = {Algebraic Methodology and Software Technology.  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  editor = {Teodor Rus},
  volume = {1816},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67530-2},
}

@inproceedings{ElliottFM00,
  title = {Compiling Embedded Languages},
  author = {Conal Elliott and Sigbjorn Finne and Oege de Moor},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1924/19240009.htm},
  tags = {compiler},
  researchr = {https://researchr.org/publication/ElliottFM00},
  cites = {0},
  citedby = {0},
  pages = {9-27},
  booktitle = {Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings},
  editor = {Walid Taha},
  volume = {1924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41054-6},
}
@proceedings{cc:2009,
  title = {Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  year = {2009},
  doi = {10.1007/978-3-642-00722-4},
  url = {http://dx.doi.org/10.1007/978-3-642-00722-4},
  tags = {compiler},
  researchr = {https://researchr.org/publication/cc%3A2009},
  cites = {0},
  citedby = {0},
  booktitle = {Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  conference = {CC},
  editor = {Oege de Moor and Michael I. Schwartzbach},
  volume = {5501},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00721-7},
}

@proceedings{pepm:2008,
  title = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008},
  year = {2008},
  tags = {semantics, partial evaluation},
  researchr = {https://researchr.org/publication/pepm%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008},
  conference = {PEPM},
  editor = {Robert Glück and Oege de Moor},
  publisher = {ACM},
  isbn = {978-1-59593-977-7},
}

@proceedings{aosd:2007,
  title = {Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007},
  year = {2007},
  researchr = {https://researchr.org/publication/aosd%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007},
  conference = {AOSD},
  editor = {Brian M. Barry and Oege de Moor},
  volume = {208},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {1-59593-615-7},
}