% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/smp2012-reading-list/compact

@inproceedings{HoferORM08,
  title = {Polymorphic embedding of {DSLs}},
  author = {Christian Hofer and Klaus Ostermann and Tillmann Rendel and Adriaan Moors},
  year = {2008},
  doi = {10.1145/1449913.1449935},
  url = {http://doi.acm.org/10.1145/1449913.1449935},
  tags = {programming languages, optimization, semantics, reusable components, Scala, reuse, DSL, programming, program optimization, domain-specific language},
  researchr = {https://researchr.org/publication/HoferORM08},
  cites = {31},
  citedby = {0},
  pages = {137-148},
  booktitle = {GPCE},
}

@article{Mosses-JLAP-2004,
  title = {Modular structural operational semantics},
  author = {Peter D. Mosses},
  year = {2004},
  doi = {10.1016/j.jlap.2004.03.008},
  url = {http://dx.doi.org/10.1016/j.jlap.2004.03.008},
  tags = {programming languages, semantics, rule-based,  structural operational semantics, SOS, rules, reviewing, programming, operational semantics, incremental},
  researchr = {https://researchr.org/publication/Mosses-JLAP-2004},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {60-61},
  pages = {195-228},
}

@inproceedings{BrachaU04,
  title = {Mirrors: design principles for meta-level facilities of object-oriented programming languages},
  author = {Gilad Bracha and David Ungar},
  year = {2004},
  doi = {10.1145/1028976.1029004},
  url = {http://doi.acm.org/10.1145/1028976.1029004},
  tags = {programming languages, object-oriented programming, ontologies, rule-based, deployment, meta programming, ontology, meta-model, architecture, functional programming, language design, principles, programming, subject-oriented programming, Meta-Environment, reflection, design, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/BrachaU04},
  cites = {0},
  citedby = {0},
  pages = {331-344},
  booktitle = {OOPSLA},
}

@inproceedings{SeefriedCK04,
  title = {Optimising Embedded DSLs Using Template Haskell},
  author = {Sean Seefried and Manuel M. T. Chakravarty and Gabriele Keller},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=186},
  tags = {Haskell, DSL},
  researchr = {https://researchr.org/publication/SeefriedCK04},
  cites = {0},
  citedby = {0},
  pages = {186-205},
  booktitle = {GPCE},
}

@inproceedings{RompfO10,
  title = {Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs},
  author = {Tiark Rompf and Martin Odersky},
  year = {2010},
  doi = {10.1145/1868294.1868314},
  url = {http://doi.acm.org/10.1145/1868294.1868314},
  tags = {code generation, compiler, DSL, systematic-approach},
  researchr = {https://researchr.org/publication/RompfO10},
  cites = {0},
  citedby = {0},
  pages = {127-136},
  booktitle = {GPCE},
}

@article{MossesN09,
  title = {Implicit Propagation in Structural Operational Semantics},
  author = {Peter D. Mosses and Mark J. New},
  year = {2009},
  doi = {10.1016/j.entcs.2009.07.073},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.07.073},
  tags = {programming languages, semantics, rule-based, translation, meta programming, formal semantics,  structural operational semantics, process algebra, SOS, reuse, rules, algebraic specification,  algebra, programming, operational semantics, modular SOS, Meta-Environment},
  researchr = {https://researchr.org/publication/MossesN09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {229},
  number = {4},
  pages = {49-66},
}

@article{SheardJ02,
  title = {Template meta-programming for Haskell},
  author = {Tim  Sheard and Simon L. Peyton Jones},
  year = {2002},
  doi = {10.1145/636517.636528},
  url = {http://doi.acm.org/10.1145/636517.636528},
  tags = {programming languages, optimization, meta programming, data-flow language, meta-model, functional programming, polytypic programming, template meta-programming, language design, Haskell, macros, data-flow programming, data-flow, code generation, compiler, programming, program optimization, Meta-Environment, polytypic, design, meta-objects},
  researchr = {https://researchr.org/publication/SheardJ02},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {37},
  number = {12},
  pages = {60-75},
}

@book{Parr:2010,
  title = {Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages},
  author = {Terence John Parr},
  year = {2010},
  url = {http://pragprog.com/titles/tpdsl/language-implementation-patterns},
  tags = {programming languages, design science, meta programming, data-flow language, pattern language, meta-model, interpreter, modeling language, language modeling, language design, data-flow programming, data-flow, source-to-source, e-science, ANTLR, DSL, programming, software languages, Meta-Environment, compilers, design, interpreters, open-source, domain-specific language},
  researchr = {https://researchr.org/publication/Parr%3A2010},
  cites = {0},
  citedby = {0},
  publisher = {The Pragmatic Bookshelf},
}

@inproceedings{KatsBV08,
  title = {Mixing source and bytecode: a case for compilation by normalization},
  author = {Lennart C. L. Kats and Martin  Bravenboer and Eelco Visser},
  year = {2008},
  doi = {10.1145/1449764.1449772},
  url = {http://doi.acm.org/10.1145/1449764.1449772},
  tags = {compilation by normalization, rule-based, Java, synchronization, translation, meta-model, modeling language, Stratego/XT, language modeling, composition, constraints, source-to-source, C++, Dryad, security, compiler, Meta-Environment, extensible language, systematic-approach, open-source, Stratego, JavaFront, domain-specific language},
  researchr = {https://researchr.org/publication/KatsBV08},
  cites = {44},
  citedby = {3},
  pages = {91-108},
  booktitle = {OOPSLA},
}

@inproceedings{BravenboerV04,
  title = {Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions},
  author = {Martin  Bravenboer and Eelco Visser},
  year = {2004},
  doi = {10.1145/1028976.1029007},
  url = {http://doi.acm.org/10.1145/1028976.1029007},
  tags = {programming languages, object-oriented programming, concrete object syntax, syntax definition, meta programming, assimilation, SDF, XML, XML Schema, Stratego/XT, transformation language, composition, MetaBorg, language design, reuse, code generation, subject-oriented programming, abstraction, Meta-Environment, extensible language, ASF+SDF, feature-oriented programming, concrete syntax, meta-objects, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/BravenboerV04},
  cites = {51},
  citedby = {8},
  pages = {365-383},
  booktitle = {OOPSLA},
}

@techreport{Coppel2008,
  title = {Reflecting {Scala}},
  author = {Yohann Coppel},
  year = {2008},
  month = {January},
  tags = {programming languages, object-oriented programming, ontologies, rule-based, Scala, Java, completeness, meta programming, data-flow language, ontology, meta-model, functional programming, language design, data-flow programming, data-flow, C++, compiler, subject-oriented programming, Meta-Environment, data encapsulation, systematic-approach, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/Coppel2008},
  cites = {0},
  citedby = {0},
  institution = {Laboratory for Programming Methods. Ecole Polytechnique Federale de Lausanne},
  type = {Semester Project Report},
  address = {Lausanne, Switzerland},
}

@inproceedings{Rompf2013,
  title = {Optimizing Data Structures in High-Level Programs},
  author = {Tiark Rompf and Arvind K. Sujeeth and  Nada Amin and Kevin J. Brown and Vojin Jovanovic and HyoukJoong Lee and Manohar Jonnalagedda and Kunle Olukotun and Martin Odersky},
  year = {2013},
  month = {January},
  tags = {data validation, optimization, object-oriented programming, intermediate representation, case study, graph transformation, interpreter, parallel programming, type system, macros, data-flow programming, graph-rewriting, code generation, transformation system, compiler, partial evaluation, subject-oriented programming, abstraction, program optimization, higher-order transformations, rewriting, systematic-approach, feature-oriented programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/Rompf2013},
  cites = {0},
  citedby = {0},
  booktitle = {POPL 2013},
}