@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 = {The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings},
}

@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 = {Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  editor = {Mehdi Jazayeri and Rüdiger Loos and David R. Musser},
  volume = {1766},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41090-2},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 Notices},
  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 = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers},
  editor = {Irina Virbitskaite and Andrei Voronkov},
  volume = {4378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70880-3},
}

@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 = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings},
  editor = {Herbert Kuchen and S. Doaitse Swierstra},
  volume = {1140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61756-6},
}

@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 = {Science of Computer Programming},
  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 = {ILPS},
}

@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 = {ASIA-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 = {New Generation Comput.},
  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 = {Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998},
  editor = {John Hatcliff and Torben Æ. Mogensen and Peter Thiemann},
  volume = {1706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66710-5},
}

@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 = {Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings},
  editor = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin},
  volume = {1755},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67102-1},
}

@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 = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings},
  editor = {Manuel V. Hermenegildo and Jaan Penjam},
  volume = {844},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58402-1},
}

@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 = {Int. J. Found. Comput. Sci.},
  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 = {Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR 98, Manchester, UK, June 15-19, 1998, Proceedings},
  editor = {Pierre Flener},
  volume = {1559},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65765-7},
}

@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 = {The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings},
}

@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 = {New Generation Comput.},
  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 = {Partial Evaluation},
  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},
}

@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 = {Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings},
  editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
  volume = {1181},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62064-8},
}

@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 = {Journal of Logic and Algebraic Programming},
  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 = {The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
  editor = {Torben Æ. Mogensen and David A. Schmidt and Ivan Hal Sudborough},
  volume = {2566},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00326-6},
}

@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 = {Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings},
  editor = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin},
  volume = {1755},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67102-1},
}

@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 = {ASIA-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 = {Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
  editor = {Aart Middeldorp},
  volume = {2051},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42117-3},
}

@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 = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations},
  editor = {Luca Aceto and Ivan Damgård and Leslie Ann Goldberg and Magnús M. Halldórsson and Anna Ingólfsdóttir and Igor Walukiewicz},
  volume = {5126},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70582-6},
}

@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 = {The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
  editor = {Torben Æ. Mogensen and David A. Schmidt and Ivan Hal Sudborough},
  volume = {2566},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00326-6},
}

@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 = {Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings},
  editor = {Maurizio Proietti},
  volume = {1048},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60939-3},
}

@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 = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings},
  editor = {Naoki Kobayashi},
  volume = {4279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48937-1},
}

@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 = {Journal of Logic and Algebraic Programming},
  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 = {Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings},
  editor = {Patrick Cousot and Moreno Falaschi and Gilberto Filé and Antoine Rauzy},
  volume = {724},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57264-3},
}

@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 = {Science of Computer Programming},
  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 = {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{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 = {Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998},
  editor = {John Hatcliff and Torben Æ. Mogensen and Peter Thiemann},
  volume = {1706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66710-5},
}

@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 = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009},
  editor = {Germán Puebla and Germán Vidal},
  publisher = {ACM},
  isbn = {978-1-60558-327-3},
}

@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 = {Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings},
  editor = {Yukiyoshi Kameyama and Peter J. Stuckey},
  volume = {2998},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21402-X},
}

@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 = {Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia, Italy, May 5-7, 2008},
  editor = {Alex Ramírez and Gianfranco Bilardi and Michael Gschwind},
  publisher = {ACM},
  isbn = {978-1-60558-077-7},
}

@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 = {New Generation Comput.},
  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 = {Higher-Order and Symbolic Computation},
  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 = {Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings},
  editor = {Volker Diekert and Mikhail V. Volkov and Andrei Voronkov},
  volume = {4649},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74509-9},
}

@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 = {Higher-Order and Symbolic Computation},
  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 = {Fuji International Symposium on Functional and Logic Programming},
}

@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 = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers},
  editor = {Manfred Broy and Alexandre V. Zamulin},
  volume = {2890},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20813-5},
}

@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 Notices},
  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 = {The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings},
}

@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 = {Journal of Functional Programming},
  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 = {Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings},
  editor = {Donald Sannella},
  volume = {788},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57880-3},
}

@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 = {Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
  editor = {Manuel V. Hermenegildo and Daniel Cabeza},
  volume = {3350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24362-3},
}

@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 = {Fundamenta Informaticae},
  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 = {Partial Evaluation},
  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},
}

@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 = {Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings},
  editor = {Atsushi Ohori},
  volume = {2895},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20536-5},
}

@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 = {Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003},
  publisher = {ACM},
  isbn = {1-58113-667-6},
}

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

@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 = {Journal of Systems Architecture},
  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 = {Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  editor = {Roland Carl Backhouse and José Nuno Oliveira},
  volume = {1837},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67727-5},
}

@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 = {Inf. Process. Lett.},
  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 = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France},
  editor = {Henri E. Bal},
  publisher = {IEEE Computer Society},
}

@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 = {Proceedings of the 1996 ACM Symposium on Applied Computing (SAC), February 17-19, 1996, Philadelphia, PA, USA},
  publisher = {ACM},
}

@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 = {The Second Asian Workshop on Programming Languages and Systems, APLAS 01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings},
}

@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 = {Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers},
  editor = {Alberto Pettorossi},
  volume = {2372},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43915-3},
}

@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 Computing Surveys},
  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 = {Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings},
  editor = {Sanjiv Kapoor and Sanjiva Prasad},
  volume = {1974},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41413-4},
}

@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 = {Journal of Functional Programming},
  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},
}