@inproceedings{AbramovG00,
  title = {Principles of Inverse Computation in a Functional Language},
  author = {Sergei M. Abramov and Robert Glück},
  year = {2000},
  tags = {principles},
  researchr = {https://researchr.org/publication/AbramovG00},
  cites = {0},
  citedby = {0},
  pages = {141-152},
  booktitle = {aplas},
}

@inproceedings{CzarneckiEGVV98,
  title = {Generative Programming and Active Libraries},
  author = {Krzysztof Czarnecki and Ulrich W. Eisenecker and Robert Glück and David Vandevoorde and Todd L. Veldhuizen},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1766/17660025.htm},
  tags = {generative programming, programming},
  researchr = {https://researchr.org/publication/CzarneckiEGVV98},
  cites = {0},
  citedby = {0},
  pages = {25-39},
  booktitle = {Dagstuhl},
}

@article{ChristensenG04,
  title = {Offline partial evaluation can be as accurate as online partial evaluation},
  author = {Niels H. Christensen and Robert Glück},
  year = {2004},
  doi = {10.1145/963778.963784},
  url = {http://doi.acm.org/10.1145/963778.963784},
  tags = {rule-based, analysis, partial evaluation},
  researchr = {https://researchr.org/publication/ChristensenG04},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {26},
  number = {1},
  pages = {191-220},
}

@article{GluckK05:0,
  title = {Revisiting an automatic program inverter for Lisp},
  author = {Robert Glück and Masahiko Kawabe},
  year = {2005},
  doi = {10.1145/1071221.1071222},
  url = {http://doi.acm.org/10.1145/1071221.1071222},
  researchr = {https://researchr.org/publication/GluckK05%3A0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {40},
  number = {5},
  pages = {8-17},
}

@inproceedings{AbramovGK06,
  title = {An Universal Resolving Algorithm for Inverse Computation of Lazy Languages},
  author = {Sergei M. Abramov and Robert Glück and Yuri A. Klimov},
  year = {2006},
  doi = {10.1007/978-3-540-70881-0_6},
  url = {http://dx.doi.org/10.1007/978-3-540-70881-0_6},
  tags = {laziness},
  researchr = {https://researchr.org/publication/AbramovGK06},
  cites = {0},
  citedby = {0},
  pages = {27-40},
  booktitle = {ershov},
}

@inproceedings{GluckJMS96,
  title = {Controlling Conjunctive Partial Deduction},
  author = {Robert Glück and Jesper Jørgensen and Bern Martens and Morten Heine Sørensen},
  year = {1996},
  researchr = {https://researchr.org/publication/GluckJMS96},
  cites = {0},
  citedby = {0},
  pages = {152-166},
  booktitle = {plilp},
}

@inproceedings{GluckJ94:0,
  title = {Generating Transformers for Deforestation and Supercompilation},
  author = {Robert Glück and Jesper Jørgensen},
  year = {1994},
  researchr = {https://researchr.org/publication/GluckJ94%3A0},
  cites = {0},
  citedby = {0},
  pages = {432-448},
  booktitle = {SAS},
}

@article{GluckV11,
  title = {Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)},
  author = {Robert Glück and Eelco Visser},
  year = {2011},
  month = {May},
  doi = {10.1016/j.scico.2011.02.001},
  url = {http://dx.doi.org/10.1016/j.scico.2011.02.001},
  tags = {generative programming, programming},
  researchr = {https://researchr.org/publication/GluckV11},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {76},
  number = {5},
  pages = {347-348},
}

@inproceedings{SorensenG95,
  title = {An Algorithm of Generalization in Positive Supercompilation},
  author = {Morten Heine Sørensen and Robert Glück},
  year = {1995},
  researchr = {https://researchr.org/publication/SorensenG95},
  cites = {0},
  citedby = {0},
  pages = {465-479},
  booktitle = {SLP},
}

@inproceedings{FutamuraKG02:0,
  title = {Automatic generation of efficient string matching algorithms by generalized partial computation},
  author = {Yoshihiko Futamura and Zenjiro Konishi and Robert Glück},
  year = {2002},
  doi = {10.1145/568173.568174},
  url = {http://doi.acm.org/10.1145/568173.568174},
  tags = {Futamura},
  researchr = {https://researchr.org/publication/FutamuraKG02%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {PEPM},
}

@article{GluckF01,
  title = {Partial Evaluation and Program Transformation Day - Guest Editor s Preface},
  author = {Robert Glück and Yoshihiko Futamura},
  year = {2001},
  tags = {partial evaluation, Futamura, transformation, program transformation},
  researchr = {https://researchr.org/publication/GluckF01},
  cites = {0},
  citedby = {0},
  journal = {ngc},
  volume = {20},
  number = {1},
  pages = {1-2},
}

@inproceedings{SorensenG98,
  title = {Introduction to Supercompilation},
  author = {Morten Heine Sørensen and Robert Glück},
  year = {1998},
  researchr = {https://researchr.org/publication/SorensenG98},
  cites = {0},
  citedby = {0},
  pages = {246-270},
  booktitle = {PEPM},
}

@inproceedings{GluckL99,
  title = {Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification},
  author = {Robert Glück and Michael Leuschel},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1755/17550093.htm},
  tags = {rule-based, abstraction, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/GluckL99},
  cites = {0},
  citedby = {0},
  pages = {93-100},
  booktitle = {ershov},
}

@inproceedings{GluckS94,
  title = {Partial Deduction and Driving are Equivalent},
  author = {Robert Glück and Morten Heine Sørensen},
  year = {1994},
  researchr = {https://researchr.org/publication/GluckS94},
  cites = {0},
  citedby = {0},
  pages = {165-181},
  booktitle = {plilp},
}

@article{AbramovG01,
  title = {From Standard to Non-Standard Semantics by Semantics Modifiers},
  author = {Sergei M. Abramov and Robert Glück},
  year = {2001},
  tags = {semantics},
  researchr = {https://researchr.org/publication/AbramovG01},
  cites = {0},
  citedby = {0},
  journal = {ijfcs},
  volume = {12},
  number = {2},
  pages = {171-211},
}

@inproceedings{GluckHJ98,
  title = {Generalization in Hierarchies of Online Program Specialization Systems},
  author = {Robert Glück and John Hatcliff and Jesper Jørgensen},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1559/15590179.htm},
  researchr = {https://researchr.org/publication/GluckHJ98},
  cites = {0},
  citedby = {0},
  pages = {179-198},
  booktitle = {LOPSTR},
}

@inproceedings{Gluck91,
  title = {Towards Multiple Self-Application},
  author = {Robert Glück},
  year = {1991},
  researchr = {https://researchr.org/publication/Gluck91},
  cites = {0},
  citedby = {0},
  pages = {309-320},
  booktitle = {PEPM},
}

@inproceedings{FutamuraKG00,
  title = {Automatic Generation of Very Efficient Programs by Generalized Partial Computation},
  author = {Yoshihiko Futamura and Zenjiro Konishi and Robert Glück},
  year = {2000},
  tags = {Futamura},
  researchr = {https://researchr.org/publication/FutamuraKG00},
  cites = {0},
  citedby = {0},
  pages = {183-191},
  booktitle = {aplas},
}

@article{GluckK98,
  title = {On the Degeneration of Program Generators by Program Composition},
  author = {Robert Glück and Andrei V. Klimov},
  year = {1998},
  tags = {composition},
  researchr = {https://researchr.org/publication/GluckK98},
  cites = {0},
  citedby = {0},
  journal = {ngc},
  volume = {16},
  number = {1},
  pages = {75-96},
}

@inproceedings{GluckS96,
  title = {A Roadmap to Metacomputation by Supercompilation},
  author = {Robert Glück and Morten Heine Sørensen},
  year = {1996},
  researchr = {https://researchr.org/publication/GluckS96},
  cites = {0},
  citedby = {0},
  pages = {137-160},
  booktitle = {Dagstuhl},
}

@inproceedings{GluckJ96,
  title = {Fast Binding-Time Analysis for Multi-Level Specialization},
  author = {Robert Glück and Jesper Jørgensen},
  year = {1996},
  tags = {analysis},
  researchr = {https://researchr.org/publication/GluckJ96},
  cites = {0},
  citedby = {0},
  pages = {261-272},
  booktitle = {ershov},
}

@article{SchreyeDJLMS00,
  title = {Erratum to:  Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments },
  author = {Danny De Schreye and Robert Glück and Jesper Jørgensen and Michael Leuschel and Bern Martens and Morten Heine Sørensen},
  year = {2000},
  researchr = {https://researchr.org/publication/SchreyeDJLMS00},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {43},
  number = {3},
  pages = {265},
}

@inproceedings{FutamuraKG02,
  title = {WSDFU: Program Transformation System Based on Generalized Partial Computation},
  author = {Yoshihiko Futamura and Zenjiro Konishi and Robert Glück},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2566/25660358.htm},
  tags = {rule-based, transformation system, Futamura, transformation, program transformation},
  researchr = {https://researchr.org/publication/FutamuraKG02},
  cites = {0},
  citedby = {0},
  pages = {358-378},
  booktitle = {BIRTHDAY},
}

@inproceedings{ChristensenGL99,
  title = {Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All},
  author = {Niels H. Christensen and Robert Glück and Søren Laursen},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1755/17550080.htm},
  tags = {analysis, partial evaluation},
  researchr = {https://researchr.org/publication/ChristensenGL99},
  cites = {0},
  citedby = {0},
  pages = {80-92},
  booktitle = {ershov},
}

@inproceedings{DBLP:conf-ershov-Gluck09,
  title = {An Experiment with the Fourth Futamura Projection},
  author = {Robert Glück},
  year = {2009},
  url = {http://www.springerlink.com/content/u75n851481060078/},
  tags = {programming languages, Futamura projection, rule-based, compiler, partial evaluation, parsing, Futamura},
  researchr = {https://researchr.org/publication/DBLP%3Aconf-ershov-Gluck09},
  cites = {0},
  citedby = {0},
  booktitle = {Ershov Memorial Conference},
}

@inproceedings{Gluck02,
  title = {Jones optimality, binding-time improvements, and the strength of program specializers},
  author = {Robert Glück},
  year = {2002},
  doi = {10.1145/568173.568175},
  url = {http://doi.acm.org/10.1145/568173.568175},
  researchr = {https://researchr.org/publication/Gluck02},
  cites = {0},
  citedby = {0},
  pages = {9-19},
  booktitle = {PEPM},
}

@inproceedings{KuhnemannGK01,
  title = {Relating Accumulative and Non-accumulative Functional Programs},
  author = {Armin Kühnemann and Robert Glück and Kazuhiko Kakehi},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2051/20510154.htm},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/KuhnemannGK01},
  cites = {0},
  citedby = {0},
  pages = {154-168},
  booktitle = {RTA},
}

@inproceedings{YokoyamaAG08:0,
  title = {Reversible Flowchart Languages and the Structured Reversible Program Theorem},
  author = {Tetsuo Yokoyama and Holger Bock Axelsen and Robert Glück},
  year = {2008},
  doi = {10.1007/978-3-540-70583-3_22},
  url = {http://dx.doi.org/10.1007/978-3-540-70583-3_22},
  tags = {programming languages},
  researchr = {https://researchr.org/publication/YokoyamaAG08%3A0},
  cites = {0},
  citedby = {0},
  pages = {258-270},
  booktitle = {icalp},
}

@inproceedings{AbramovG02,
  title = {Principles of Inverse Computation and the Universal Resolving Algorithm},
  author = {Sergei M. Abramov and Robert Glück},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2566/25660269.htm},
  tags = {principles},
  researchr = {https://researchr.org/publication/AbramovG02},
  cites = {0},
  citedby = {0},
  pages = {269-295},
  booktitle = {BIRTHDAY},
}

@inproceedings{Gluck95,
  title = {On the Mechanics of Metasystem Hierarchies in Program Transformation},
  author = {Robert Glück},
  year = {1995},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/Gluck95},
  cites = {0},
  citedby = {0},
  pages = {234-251},
  booktitle = {LOPSTR},
}

@inproceedings{GadeG06,
  title = {On Jones-Optimal Specializers: A Case Study Using Unmix},
  author = {Johan Gade and Robert Glück},
  year = {2006},
  doi = {10.1007/11924661_25},
  url = {http://dx.doi.org/10.1007/11924661_25},
  tags = {case study,  specializer, Jones-Optimality, partial evaluation},
  researchr = {https://researchr.org/publication/GadeG06},
  cites = {0},
  citedby = {0},
  pages = {406-422},
  booktitle = {aplas},
}

@article{SchreyeDJLMS99,
  title = {Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments},
  author = {Danny De Schreye and Robert Glück and Jesper Jørgensen and Michael Leuschel and Bern Martens and Morten Heine Sørensen},
  year = {1999},
  researchr = {https://researchr.org/publication/SchreyeDJLMS99},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {41},
  number = {2-3},
  pages = {231-277},
}

@inproceedings{GluckT90,
  title = {Application of Metasystem Transition to Function Inversion and Transformation},
  author = {Robert Glück and Valentin F. Turchin},
  year = {1990},
  doi = {10.1145/96877.96953},
  url = {http://doi.acm.org/10.1145/96877.96953},
  tags = {transformation},
  researchr = {https://researchr.org/publication/GluckT90},
  cites = {0},
  citedby = {0},
  pages = {286-287},
  booktitle = {issac},
}

@inproceedings{GluckK93,
  title = {Occam s Razor in Metacompuation: the Notion of a Perfect Process Tree},
  author = {Robert Glück and Andrei V. Klimov},
  year = {1993},
  tags = {Occam},
  researchr = {https://researchr.org/publication/GluckK93},
  cites = {0},
  citedby = {0},
  pages = {112-123},
  booktitle = {SAS},
}

@inproceedings{BaierGZ94,
  title = {Partial Evaluation of Numerical Programs in Fortran},
  author = {Romana Baier and Robert Glück and Robert Zöchling},
  year = {1994},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/BaierGZ94},
  cites = {0},
  citedby = {0},
  pages = {119-132},
  booktitle = {PEPM},
}

@article{AbramovG02:0,
  title = {The universal resolving algorithm and its correctness: inverse computation in a functional language},
  author = {Sergei M. Abramov and Robert Glück},
  year = {2002},
  doi = {10.1016/S0167-6423(02)00023-0},
  url = {http://dx.doi.org/10.1016/S0167-6423(02)00023-0},
  researchr = {https://researchr.org/publication/AbramovG02%3A0},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {43},
  number = {2-3},
  pages = {193-229},
}

@inproceedings{YokoyamaG07,
  title = {A reversible programming language and its invertible self-interpreter},
  author = {Tetsuo Yokoyama and Robert Glück},
  year = {2007},
  doi = {10.1145/1244381.1244404},
  url = {http://doi.acm.org/10.1145/1244381.1244404},
  tags = {programming languages, interpreter, programming, history},
  researchr = {https://researchr.org/publication/YokoyamaG07},
  cites = {0},
  citedby = {0},
  pages = {144-153},
  booktitle = {PEPM},
}

@inproceedings{GluckJ98,
  title = {Multi-Level Specialization (Extended Abstract)},
  author = {Robert Glück and Jesper Jørgensen},
  year = {1998},
  researchr = {https://researchr.org/publication/GluckJ98},
  cites = {0},
  citedby = {0},
  pages = {326-337},
  booktitle = {PEPM},
}

@inproceedings{Gluck09,
  title = {Is there a fourth Futamura projection?},
  author = {Robert Glück},
  year = {2009},
  doi = {10.1145/1480945.1480954},
  url = {http://doi.acm.org/10.1145/1480945.1480954},
  tags = {programming languages, projection, Futamura projection, compiler, partial evaluation, abstraction, Futamura, systematic-approach, domain-specific language},
  researchr = {https://researchr.org/publication/Gluck09},
  cites = {0},
  citedby = {0},
  pages = {51-60},
  booktitle = {PEPM},
}

@inproceedings{GluckK04,
  title = {Derivation of Deterministic Inverse Programs Based on LR Parsing},
  author = {Robert Glück and Masahiko Kawabe},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2998&spage=291},
  tags = {rule-based, parsing},
  researchr = {https://researchr.org/publication/GluckK04},
  cites = {0},
  citedby = {0},
  pages = {291-306},
  booktitle = {FLOPS},
}

@inproceedings{YokoyamaAG08,
  title = {Principles of a reversible programming language},
  author = {Tetsuo Yokoyama and Holger Bock Axelsen and Robert Glück},
  year = {2008},
  doi = {10.1145/1366230.1366239},
  url = {http://doi.acm.org/10.1145/1366230.1366239},
  tags = {programming languages, principles, programming},
  researchr = {https://researchr.org/publication/YokoyamaAG08},
  cites = {0},
  citedby = {0},
  pages = {43-54},
  booktitle = {cf},
}

@article{FutamuraKG01,
  title = {Program Transformation System Based on Generalized Partial Computation},
  author = {Yoshihiko Futamura and Zenjiro Konishi and Robert Glück},
  year = {2001},
  tags = {optimization, rule-based,  Theorem Proving,  Algebraic Manipulation,  Recursion Removal, transformation system, partial evaluation, program optimization, Futamura, transformation, program transformation},
  researchr = {https://researchr.org/publication/FutamuraKG01},
  cites = {0},
  citedby = {0},
  journal = {ngc},
  volume = {20},
  number = {1},
  pages = {75-100},
}

@article{DBLP:journals-lisp-Gluck08,
  title = {An investigation of Jones optimality and BTI-universal specializers},
  author = {Robert Glück},
  year = {2008},
  url = {http://www.springerlink.com/content/10n19r40w506w025/},
  tags = { specializer generation,  interpretive approach, object-oriented programming,  Futamura projections,  self-interpreter, interpreter, Jones-Optimality, binding-time, partial evaluation, subject-oriented programming, incremental, Futamura, systematic-approach, feature-oriented programming},
  researchr = {https://researchr.org/publication/DBLP%3Ajournals-lisp-Gluck08},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {21},
  number = {3},
}

@inproceedings{AxelsenGY07,
  title = {Reversible Machine Code and Its Abstract Processor Architecture},
  author = {Holger Bock Axelsen and Robert Glück and Tetsuo Yokoyama},
  year = {2007},
  doi = {10.1007/978-3-540-74510-5_9},
  url = {http://dx.doi.org/10.1007/978-3-540-74510-5_9},
  tags = {architecture, abstract machine},
  researchr = {https://researchr.org/publication/AxelsenGY07},
  cites = {0},
  citedby = {0},
  pages = {56-69},
  booktitle = {csr},
}

@article{GluckJ97,
  title = {An Automatic Program Generator for Multi-Level Specialization},
  author = {Robert Glück and Jesper Jørgensen},
  year = {1997},
  researchr = {https://researchr.org/publication/GluckJ97},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {10},
  number = {2},
  pages = {113-158},
}

@inproceedings{AbramovG98,
  title = {Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages},
  author = {Sergei M. Abramov and Robert Glück},
  year = {1998},
  tags = {programming languages, semantics, programming, systematic-approach},
  researchr = {https://researchr.org/publication/AbramovG98},
  cites = {0},
  citedby = {0},
  pages = {247-270},
  booktitle = {FLOPS},
}

@inproceedings{Gluck03,
  title = {The Translation Power of the Futamura Projections},
  author = {Robert Glück},
  year = {2003},
  url = {http://www.springerlink.com/content/74drkcvxelyxfyjm/},
  tags = {Futamura projection, translation, case study, interpreter, source-to-source, Futamura, open-source},
  researchr = {https://researchr.org/publication/Gluck03},
  cites = {0},
  citedby = {0},
  pages = {133-147},
  booktitle = {ershov},
}

@article{KleinrubatscherKZG95,
  title = {Fortran Program Specialization},
  author = {Paul Kleinrubatscher and Albert Kriegshaber and Robert Zöchling and Robert Glück},
  year = {1995},
  researchr = {https://researchr.org/publication/KleinrubatscherKZG95},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {30},
  number = {4},
  pages = {61-70},
}

@inproceedings{GluckK02,
  title = {An Automatic Program Inverter for Lisp: Potential and Limitations},
  author = {Robert Glück and Masahiko Kawabe},
  year = {2002},
  researchr = {https://researchr.org/publication/GluckK02},
  cites = {0},
  citedby = {0},
  pages = {230-245},
  booktitle = {aplas},
}

@article{Gluck94,
  title = {On the Generation of Specializers},
  author = {Robert Glück},
  year = {1994},
  url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1322924},
  tags = {optimization, Futamura projection, interpreter, compiler, partial evaluation, Futamura},
  researchr = {https://researchr.org/publication/Gluck94},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {4},
  number = {4},
  pages = {499-514},
}

@inproceedings{SorensenGJ94,
  title = {Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC},
  author = {Morten Heine Sørensen and Robert Glück and Neil D. Jones},
  year = {1994},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/SorensenGJ94},
  cites = {0},
  citedby = {0},
  pages = {485-500},
  booktitle = {ESOP},
}

@inproceedings{KawabeG05,
  title = {The Program Inverter LRinv and Its Structure},
  author = {Masahiko Kawabe and Robert Glück},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=219},
  researchr = {https://researchr.org/publication/KawabeG05},
  cites = {0},
  citedby = {0},
  pages = {219-234},
  booktitle = {PADL},
}

@article{GluckK05,
  title = {A Method for Automatic Program Inversion Based on LR(0) Parsing},
  author = {Robert Glück and Masahiko Kawabe},
  year = {2005},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=66&issue=4&spage=367},
  tags = {rule-based, parsing},
  researchr = {https://researchr.org/publication/GluckK05},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {66},
  number = {4},
  pages = {367-395},
}

@inproceedings{HatcliffG96,
  title = {Reasoning about Hierarchies of Online Program Specialization Systems},
  author = {John Hatcliff and Robert Glück},
  year = {1996},
  researchr = {https://researchr.org/publication/HatcliffG96},
  cites = {0},
  citedby = {0},
  pages = {161-182},
  booktitle = {Dagstuhl},
}

@inproceedings{GluckK03,
  title = {A Program Inverter for a Functional Language with Equality and Constructors},
  author = {Robert Glück and Masahiko Kawabe},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2895&spage=246},
  tags = {programming languages, functional programming},
  researchr = {https://researchr.org/publication/GluckK03},
  cites = {0},
  citedby = {0},
  pages = {246-264},
  booktitle = {aplas},
}

@inproceedings{GluckKH03,
  title = {Transforming interpreters into inverse interpreters by partial evaluation},
  author = {Robert Glück and Youhei Kawada and Takuya Hashimoto},
  year = {2003},
  doi = {10.1145/777388.777391},
  url = {http://doi.acm.org/10.1145/777388.777391},
  tags = {interpreter, partial evaluation},
  researchr = {https://researchr.org/publication/GluckKH03},
  cites = {0},
  citedby = {0},
  pages = {10-19},
  booktitle = {PEPM},
}

@inproceedings{GluckJ95,
  title = {Efficient Multi-level Generating Extensions for Program Specialization},
  author = {Robert Glück and Jesper Jørgensen},
  year = {1995},
  researchr = {https://researchr.org/publication/GluckJ95},
  cites = {0},
  citedby = {0},
  pages = {259-278},
  booktitle = {plilp},
}

@article{ThomsenG08,
  title = {Optimized reversible binary-coded decimal adders},
  author = {Michael Kirkedal Thomsen and Robert Glück},
  year = {2008},
  doi = {10.1016/j.sysarc.2007.12.006},
  url = {http://dx.doi.org/10.1016/j.sysarc.2007.12.006},
  tags = {optimization},
  researchr = {https://researchr.org/publication/ThomsenG08},
  cites = {0},
  citedby = {0},
  journal = {jsa},
  volume = {54},
  number = {7},
  pages = {697-706},
}

@inproceedings{AbramovG00:1,
  title = {The Universal Resolving Algorithm: Inverse Computation in a Functional Language},
  author = {Sergei M. Abramov and Robert Glück},
  year = {2000},
  researchr = {https://researchr.org/publication/AbramovG00%3A1},
  cites = {0},
  citedby = {0},
  pages = {187-212},
  booktitle = {mpc},
}

@article{GluckK97,
  title = {A Regeneration Scheme for Generating Extensions},
  author = {Robert Glück and Andrei V. Klimov},
  year = {1997},
  doi = {10.1016/S0020-0190(97)00055-0},
  url = {http://dx.doi.org/10.1016/S0020-0190(97)00055-0},
  tags = {composition, extreme programming, programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/GluckK97},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {62},
  number = {3},
  pages = {127-134},
}

@inproceedings{GluckJ94,
  title = {Generating Optimizing Specializers},
  author = {Robert Glück and Jesper Jørgensen},
  year = {1994},
  tags = {programming languages, optimization, object-oriented programming,  self-application, pattern language,  automatic programming, interpreter, functional programming, partial evaluation, subject-oriented programming, program optimization,  program generation, feature-oriented programming, interpreters},
  researchr = {https://researchr.org/publication/GluckJ94},
  cites = {0},
  citedby = {0},
  pages = {183-194},
  booktitle = {iccl},
}

@inproceedings{SperberGT96,
  title = {Bootstrapping higher-order program transformers from interpreters},
  author = {Michael Sperber and Robert Glück and Peter Thiemann},
  year = {1996},
  doi = {10.1145/331119.331417},
  url = {http://doi.acm.org/10.1145/331119.331417},
  tags = {interpreter},
  researchr = {https://researchr.org/publication/SperberGT96},
  cites = {0},
  citedby = {0},
  pages = {408-413},
  booktitle = {SAC},
}

@inproceedings{Gluck01,
  title = {Jones Optimality and the Strength of Program Specializers},
  author = {Robert Glück},
  year = {2001},
  researchr = {https://researchr.org/publication/Gluck01},
  cites = {0},
  citedby = {0},
  pages = {103-116},
  booktitle = {aplas},
}

@inproceedings{KakehiGF01,
  title = {On Deforesting Parameters of Accumulating Maps},
  author = {Kazuhiko Kakehi and Robert Glück and Yoshihiko Futamura},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2372/23720046.htm},
  tags = {Futamura},
  researchr = {https://researchr.org/publication/KakehiGF01},
  cites = {0},
  citedby = {0},
  pages = {46-56},
  booktitle = {LOPSTR},
}

@article{DanvyGT98,
  title = {1998 Symposium on Partial Evaluation},
  author = {Olivier Danvy and Robert Glück and Peter Thiemann},
  year = {1998},
  doi = {10.1145/292469.293684},
  url = {http://doi.acm.org/10.1145/292469.293684},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/DanvyGT98},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {30},
  number = {3},
  pages = {285-290},
}

@inproceedings{AbramovG00:0,
  title = {Combining Semantics with Non-standard Interpreter Hierarchies},
  author = {Sergei M. Abramov and Robert Glück},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1974/19740201.htm},
  tags = {semantics, interpreter},
  researchr = {https://researchr.org/publication/AbramovG00%3A0},
  cites = {0},
  citedby = {0},
  pages = {201-213},
  booktitle = {fsttcs},
}

@article{SorensenGJ96,
  title = {A Positive Supercompiler},
  author = {Morten Heine Sørensen and Robert Glück and Neil D. Jones},
  year = {1996},
  researchr = {https://researchr.org/publication/SorensenGJ96},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {6},
  number = {6},
  pages = {811-838},
}
@proceedings{dagstuhl:1996pe,
  title = {Partial Evaluation},
  year = {1996},
  month = {February},
  doi = {10.1007/3-540-61580-6},
  url = {https://doi.org/10.1007/3-540-61580-6},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/dagstuhl%3A1996pe},
  cites = {0},
  citedby = {0},
  booktitle = {Partial Evaluation},
  conference = {Dagstuhl},
  editor = {Olivier Danvy and Robert Glück and Peter Thiemann},
  volume = {1110},
  series = {Lecture Notes in Computer Science},
  address = {Dagstuhl Castle, Germany},
  publisher = {Springer},
  isbn = {3-540-61580-6},
}

@proceedings{gpce:2005,
  title = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
  year = {2005},
  month = {September},
  tags = {generative programming, programming},
  researchr = {https://researchr.org/publication/gpce%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
  conference = {GPCE},
  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},
}

@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},
}