publications:
- title: "Principles of Inverse Computation in a Functional Language"
  author:
  - name: "Sergei M. Abramov"
    link: "https://researchr.org/alias/sergei-m.-abramov"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2000"
  tags:
  - "principles"
  researchr: "https://researchr.org/publication/AbramovG00"
  cites: 0
  citedby: 0
  pages: "141-152"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "AbramovG00"
- title: "Generative Programming and Active Libraries"
  author:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Ulrich W. Eisenecker"
    link: "https://researchr.org/alias/ulrich-w.-eisenecker"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "David Vandevoorde"
    link: "https://researchr.org/alias/david-vandevoorde"
  - name: "Todd L. Veldhuizen"
    link: "https://researchr.org/alias/todd-l.-veldhuizen"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1766/17660025.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CzarneckiEGVV98"
- title: "Offline partial evaluation can be as accurate as online partial evaluation"
  author:
  - name: "Niels H. Christensen"
    link: "https://researchr.org/alias/niels-h.-christensen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/963778.963784"
  abstract: "We show that the accuracy of online partial evaluation, or polyvariant specialization based on constant propagation, can be simulated by offline partial evaluation using a maximally polyvariant binding-time analysis. We point out that, while their accuracy is the same, online partial evaluation offers better opportunities for powerful generalization strategies. Our results are presented using a flowchart language with recursive procedures. "
  links:
    doi: "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"
  kind: "article"
  key: "ChristensenG04"
- title: "Revisiting an automatic program inverter for Lisp"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Masahiko Kawabe"
    link: "https://researchr.org/alias/masahiko-kawabe"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1071221.1071222"
  links:
    doi: "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"
  kind: "article"
  key: "GluckK05:0"
- title: "An Universal Resolving Algorithm for Inverse Computation of Lazy Languages"
  author:
  - name: "Sergei M. Abramov"
    link: "https://researchr.org/alias/sergei-m.-abramov"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Yuri A. Klimov"
    link: "https://researchr.org/alias/yuri-a.-klimov"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-70881-0_6"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AbramovGK06"
- title: "Controlling Conjunctive Partial Deduction"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  - name: "Bern Martens"
    link: "https://researchr.org/alias/bern-martens"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "1996"
  researchr: "https://researchr.org/publication/GluckJMS96"
  cites: 0
  citedby: 0
  pages: "152-166"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "GluckJMS96"
- title: "Generating Transformers for Deforestation and Supercompilation"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  year: "1994"
  researchr: "https://researchr.org/publication/GluckJ94%3A0"
  cites: 0
  citedby: 0
  pages: "432-448"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "GluckJ94:0"
- title: "Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2011"
  month: "May"
  doi: "http://dx.doi.org/10.1016/j.scico.2011.02.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2011.02.001"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/GluckV11"
  tags:
  - "generative programming"
  - "programming"
  researchr: "https://researchr.org/publication/GluckV11"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "76"
  number: "5"
  pages: "347-348"
  kind: "article"
  key: "GluckV11"
- title: "An Algorithm of Generalization in Positive Supercompilation"
  author:
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1995"
  researchr: "https://researchr.org/publication/SorensenG95"
  cites: 0
  citedby: 0
  pages: "465-479"
  booktitle: "SLP"
  kind: "inproceedings"
  key: "SorensenG95"
- title: "Automatic generation of efficient string matching algorithms by generalized partial computation"
  author:
  - name: "Yoshihiko Futamura"
    link: "https://researchr.org/alias/yoshihiko-futamura"
  - name: "Zenjiro Konishi"
    link: "https://researchr.org/alias/zenjiro-konishi"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/568173.568174"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FutamuraKG02:0"
- title: "Partial Evaluation and Program Transformation Day - Guest Editor s Preface"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Yoshihiko Futamura"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "GluckF01"
- title: "Introduction to Supercompilation"
  author:
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1998"
  researchr: "https://researchr.org/publication/SorensenG98"
  cites: 0
  citedby: 0
  pages: "246-270"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "SorensenG98"
- title: "Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1755/17550093.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GluckL99"
- title: "Partial Deduction and Driving are Equivalent"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "1994"
  researchr: "https://researchr.org/publication/GluckS94"
  cites: 0
  citedby: 0
  pages: "165-181"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "GluckS94"
- title: "From Standard to Non-Standard Semantics by Semantics Modifiers"
  author:
  - name: "Sergei M. Abramov"
    link: "https://researchr.org/alias/sergei-m.-abramov"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2001"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/AbramovG01"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "12"
  number: "2"
  pages: "171-211"
  kind: "article"
  key: "AbramovG01"
- title: "Generalization in Hierarchies of Online Program Specialization Systems"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1559/15590179.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GluckHJ98"
- title: "Towards Multiple Self-Application"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1991"
  researchr: "https://researchr.org/publication/Gluck91"
  cites: 0
  citedby: 0
  pages: "309-320"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Gluck91"
- title: "Automatic Generation of Very Efficient Programs by Generalized Partial Computation"
  author:
  - name: "Yoshihiko Futamura"
    link: "https://researchr.org/alias/yoshihiko-futamura"
  - name: "Zenjiro Konishi"
    link: "https://researchr.org/alias/zenjiro-konishi"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2000"
  tags:
  - "Futamura"
  researchr: "https://researchr.org/publication/FutamuraKG00"
  cites: 0
  citedby: 0
  pages: "183-191"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "FutamuraKG00"
- title: "On the Degeneration of Program Generators by Program Composition"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Andrei V. Klimov"
    link: "http://pat.keldysh.ru/~anklimov/"
  year: "1998"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/GluckK98"
  cites: 0
  citedby: 0
  journal: "ngc"
  volume: "16"
  number: "1"
  pages: "75-96"
  kind: "article"
  key: "GluckK98"
- title: "A Roadmap to Metacomputation by Supercompilation"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "1996"
  researchr: "https://researchr.org/publication/GluckS96"
  cites: 0
  citedby: 0
  pages: "137-160"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "GluckS96"
- title: "Fast Binding-Time Analysis for Multi-Level Specialization"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  year: "1996"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/GluckJ96"
  cites: 0
  citedby: 0
  pages: "261-272"
  booktitle: "ershov"
  kind: "inproceedings"
  key: "GluckJ96"
- title: "Erratum to:  Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments "
  author:
  - name: "Danny De Schreye"
    link: "https://researchr.org/alias/danny-de-schreye"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Bern Martens"
    link: "https://researchr.org/alias/bern-martens"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "2000"
  researchr: "https://researchr.org/publication/SchreyeDJLMS00"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "43"
  number: "3"
  pages: "265"
  kind: "article"
  key: "SchreyeDJLMS00"
- title: "WSDFU: Program Transformation System Based on Generalized Partial Computation"
  author:
  - name: "Yoshihiko Futamura"
    link: "https://researchr.org/alias/yoshihiko-futamura"
  - name: "Zenjiro Konishi"
    link: "https://researchr.org/alias/zenjiro-konishi"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2566/25660358.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FutamuraKG02"
- title: "Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All"
  author:
  - name: "Niels H. Christensen"
    link: "https://researchr.org/alias/niels-h.-christensen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Søren Laursen"
    link: "https://researchr.org/alias/s%C3%B8ren-laursen"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1755/17550080.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ChristensenGL99"
- title: "An Experiment with the Fourth Futamura Projection"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2009"
  doi: "http://www.springerlink.com/content/u75n851481060078/"
  abstract: "We have experimentally validated the theoretical insight, that a compiler generator is an Ershov generating extension of a program specializer, by showing that an existing offline partial evaluator can perform the fourth Futamura projection. Specifically, an online and an offline partial evaluator for an imperative flowchart language were transformed into two new compiler generators by Romanenko’s classical partial evaluator Unmix. The two partial evaluators are described, as is a novel recursive method for polyvariant specialization. The new compiler generators are demonstrated by converting a universal parser into a parser generator. These results strongly indicate that existing partial evaluation techniques can be put to work on several new applications. To date, all previous compiler generators based on partial evaluation were either generated by self-application or handwritten. None of these works considered the generation of one compiler generator by another."
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DBLP:conf-ershov-Gluck09"
- title: "Jones optimality, binding-time improvements, and the strength of program specializers"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/568173.568175"
  links:
    doi: "http://doi.acm.org/10.1145/568173.568175"
  researchr: "https://researchr.org/publication/Gluck02"
  cites: 0
  citedby: 0
  pages: "9-19"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Gluck02"
- title: "Relating Accumulative and Non-accumulative Functional Programs"
  author:
  - name: "Armin Kühnemann"
    link: "http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hnemann:Armin.html"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2051/20510154.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KuhnemannGK01"
- title: "Reversible Flowchart Languages and the Structured Reversible Program Theorem"
  author:
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Holger Bock Axelsen"
    link: "https://researchr.org/alias/holger-bock-axelsen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70583-3_22"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "YokoyamaAG08:0"
- title: "Principles of Inverse Computation and the Universal Resolving Algorithm"
  author:
  - name: "Sergei M. Abramov"
    link: "https://researchr.org/alias/sergei-m.-abramov"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2566/25660269.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AbramovG02"
- title: "On the Mechanics of Metasystem Hierarchies in Program Transformation"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1995"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Gluck95"
  cites: 0
  citedby: 0
  pages: "234-251"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "Gluck95"
- title: "On Jones-Optimal Specializers: A Case Study Using Unmix"
  author:
  - name: "Johan Gade"
    link: "https://researchr.org/alias/johan-gade"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11924661_25"
  abstract: "Jones optimality is a criterion for assessing the strength of a program specializer. Here, the elements required in a proof of Jones optimality are investigated and the first formal proof for a non-trivial polyvariant specializer (Unmix) is presented. A simplifying element is the use of self-application. Variations of the original criterion are discussed."
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GadeG06"
- title: "Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments"
  author:
  - name: "Danny De Schreye"
    link: "https://researchr.org/alias/danny-de-schreye"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Bern Martens"
    link: "https://researchr.org/alias/bern-martens"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "1999"
  researchr: "https://researchr.org/publication/SchreyeDJLMS99"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "41"
  number: "2-3"
  pages: "231-277"
  kind: "article"
  key: "SchreyeDJLMS99"
- title: "Application of Metasystem Transition to Function Inversion and Transformation"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Valentin F. Turchin"
    link: "https://researchr.org/alias/valentin-f.-turchin"
  year: "1990"
  doi: "http://doi.acm.org/10.1145/96877.96953"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GluckT90"
- title: "Occam s Razor in Metacompuation: the Notion of a Perfect Process Tree"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Andrei V. Klimov"
    link: "http://pat.keldysh.ru/~anklimov/"
  year: "1993"
  tags:
  - "Occam"
  researchr: "https://researchr.org/publication/GluckK93"
  cites: 0
  citedby: 0
  pages: "112-123"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "GluckK93"
- title: "Partial Evaluation of Numerical Programs in Fortran"
  author:
  - name: "Romana Baier"
    link: "https://researchr.org/alias/romana-baier"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Robert Zöchling"
    link: "https://researchr.org/alias/robert-z%C3%B6chling"
  year: "1994"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/BaierGZ94"
  cites: 0
  citedby: 0
  pages: "119-132"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "BaierGZ94"
- title: "The universal resolving algorithm and its correctness: inverse computation in a functional language"
  author:
  - name: "Sergei M. Abramov"
    link: "https://researchr.org/alias/sergei-m.-abramov"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0167-6423(02)00023-0"
  links:
    doi: "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"
  kind: "article"
  key: "AbramovG02:0"
- title: "A reversible programming language and its invertible self-interpreter"
  author:
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244381.1244404"
  abstract: "A reversible programming language supports deterministic forward and backward computation. We formalize the programming language Janus and prove its reversibility. We provide a program inverter for the language and implement a self-interpreter that achieves deterministic forward and backward interpretation of Janus programs without using a computation history. As the self-interpreter is implemented in a reversible language, it is invertible using local program inversion. Many physical phenomena are reversible and we demonstrate the power of Janus by implementing a reversible program for discrete simulation of the Schrödinger wave equation that can be inverted as well as run forward and backward."
  links:
    doi: "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"
  kind: "inproceedings"
  key: "YokoyamaG07"
- title: "Multi-Level Specialization (Extended Abstract)"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  year: "1998"
  researchr: "https://researchr.org/publication/GluckJ98"
  cites: 0
  citedby: 0
  pages: "326-337"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "GluckJ98"
- title: "Is there a fourth Futamura projection?"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480945.1480954"
  abstract: "The three classic Futamura projections stand as a cornerstone in the development of partial evaluation. The observation by Futamura [1983], that compiler generators produced by his third projection are self-generating, and the insight by Klimov and Romanenko [1987], that Futamura's abstraction scheme can be continued beyond the three projections, are systematically investigated, and several new applications for compiler generators are proposed. Possible applications include the generation of quasi-online compiler generators and of compiler generators for domain-specific languages, and the bootstrapping of compiler generators from program specializers. From a theoretical viewpoint, there is equality between the class of self-generating compiler generators and the class of compiler generators produced by the third Futamura projection. This exposition may lead to new practical applications of compiler generators, as well as deepen our theoretical understanding of program specialization."
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Gluck09"
- title: "Derivation of Deterministic Inverse Programs Based on LR Parsing"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Masahiko Kawabe"
    link: "https://researchr.org/alias/masahiko-kawabe"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2998&spage=291"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GluckK04"
- title: "Principles of a reversible programming language"
  author:
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Holger Bock Axelsen"
    link: "https://researchr.org/alias/holger-bock-axelsen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1366230.1366239"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "YokoyamaAG08"
- title: "Program Transformation System Based on Generalized Partial Computation"
  author:
  - name: "Yoshihiko Futamura"
    link: "https://researchr.org/alias/yoshihiko-futamura"
  - name: "Zenjiro Konishi"
    link: "https://researchr.org/alias/zenjiro-konishi"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  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"
  kind: "article"
  key: "FutamuraKG01"
- title: "An investigation of Jones optimality and BTI-universal specializers"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2008"
  doi: "http://www.springerlink.com/content/10n19r40w506w025/"
  abstract: "Jones optimality implies that a program specializer is strong enough to remove an entire level of self-interpretation. This paper argues that Jones optimality, which was originally devised as a criterion for self-applicable specializers, plays a fundamental role in the use of a binding-time improvement prepass prior to specialization. We establish that, regardless of the binding-time improvements applied to a subject program (no matter how extensively), a specializer that is not Jones-optimal is strictly weaker than a specializer that is Jones-optimal. We describe the main approaches that increase the strength of a specializer without requiring its modification, namely incremental specialization and the interpretive approach, and show that they are equally powerful when the specializer is bti-universal. Since this includes the generation of program specializers from interpreters, the theoretical possibility of bootstrapping powerful specializers is established."
  links:
    doi: "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"
  kind: "article"
  key: "DBLP:journals-lisp-Gluck08"
- title: "Reversible Machine Code and Its Abstract Processor Architecture"
  author:
  - name: "Holger Bock Axelsen"
    link: "https://researchr.org/alias/holger-bock-axelsen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74510-5_9"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AxelsenGY07"
- title: "An Automatic Program Generator for Multi-Level Specialization"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  year: "1997"
  researchr: "https://researchr.org/publication/GluckJ97"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "10"
  number: "2"
  pages: "113-158"
  kind: "article"
  key: "GluckJ97"
- title: "Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages"
  author:
  - name: "Sergei M. Abramov"
    link: "https://researchr.org/alias/sergei-m.-abramov"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1998"
  tags:
  - "programming languages"
  - "semantics"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AbramovG98"
  cites: 0
  citedby: 0
  pages: "247-270"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "AbramovG98"
- title: "The Translation Power of the Futamura Projections"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2003"
  doi: "http://www.springerlink.com/content/74drkcvxelyxfyjm/"
  abstract: "Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as those produced by a translator. We show that, given a Jones-optimal program specializer with static expression reduction, there exists for every translator an interpreter which, when specialized, can produce target programs that are at least as fast as those produced by the translator. This is not the case if the specializer is not Jones-optimal. We also examine Ershovs generating extensions, give a parameterized notion of Jones optimality, and show that there is a class of specializers that can always produce residual programs that match the size and time complexity of programs generated by an arbitrary generating extension. This is the class of generation universal specializers. We study these questions on an abstract level, independently of any particular specialization method."
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Gluck03"
- title: "Fortran Program Specialization"
  author:
  - name: "Paul Kleinrubatscher"
    link: "https://researchr.org/alias/paul-kleinrubatscher"
  - name: "Albert Kriegshaber"
    link: "https://researchr.org/alias/albert-kriegshaber"
  - name: "Robert Zöchling"
    link: "https://researchr.org/alias/robert-z%C3%B6chling"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1995"
  researchr: "https://researchr.org/publication/KleinrubatscherKZG95"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "30"
  number: "4"
  pages: "61-70"
  kind: "article"
  key: "KleinrubatscherKZG95"
- title: "An Automatic Program Inverter for Lisp: Potential and Limitations"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Masahiko Kawabe"
    link: "https://researchr.org/alias/masahiko-kawabe"
  year: "2002"
  researchr: "https://researchr.org/publication/GluckK02"
  cites: 0
  citedby: 0
  pages: "230-245"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "GluckK02"
- title: "On the Generation of Specializers"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1994"
  doi: "http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1322924"
  abstract: "Self-applicable specializers have been used successfully to automate the generation of compilers. Specializers are often rather sophisticated, for which reason one would like to adapt and transform them with the aid of the computer. But how to automate this process? The answer to this question is given by three specializer projections. While the Futamura projections define the generation of compilers from interpreters, the specializer projections define the generation of specializers from interpreters. We discuss the potential applications of the specializer projections, and argue that their realization is a real touchstone for the effectiveness of the specialization principle. In particular, we discuss generic specializers, bootstrapping of subject languages and the generation of optimizing specializers from interpretive specifications. The Futamura projections are regarded as a special case of the specializer projections. Recent results confirm that the specializer projections can be performed in practice using partial evaluators."
  links:
    doi: "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"
  kind: "article"
  key: "Gluck94"
- title: "Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC"
  author:
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1994"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/SorensenGJ94"
  cites: 0
  citedby: 0
  pages: "485-500"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "SorensenGJ94"
- title: "The Program Inverter LRinv and Its Structure"
  author:
  - name: "Masahiko Kawabe"
    link: "https://researchr.org/alias/masahiko-kawabe"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=219"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KawabeG05"
- title: "A Method for Automatic Program Inversion Based on LR(0) Parsing"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Masahiko Kawabe"
    link: "https://researchr.org/alias/masahiko-kawabe"
  year: "2005"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=66&issue=4&spage=367"
  links:
    doi: "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"
  kind: "article"
  key: "GluckK05"
- title: "Reasoning about Hierarchies of Online Program Specialization Systems"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1996"
  researchr: "https://researchr.org/publication/HatcliffG96"
  cites: 0
  citedby: 0
  pages: "161-182"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "HatcliffG96"
- title: "A Program Inverter for a Functional Language with Equality and Constructors"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Masahiko Kawabe"
    link: "https://researchr.org/alias/masahiko-kawabe"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2895&spage=246"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GluckK03"
- title: "Transforming interpreters into inverse interpreters by partial evaluation"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Youhei Kawada"
    link: "https://researchr.org/alias/youhei-kawada"
  - name: "Takuya Hashimoto"
    link: "https://researchr.org/alias/takuya-hashimoto"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/777388.777391"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GluckKH03"
- title: "Efficient Multi-level Generating Extensions for Program Specialization"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  year: "1995"
  researchr: "https://researchr.org/publication/GluckJ95"
  cites: 0
  citedby: 0
  pages: "259-278"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "GluckJ95"
- title: "Optimized reversible binary-coded decimal adders"
  author:
  - name: "Michael Kirkedal Thomsen"
    link: "https://researchr.org/alias/michael-kirkedal-thomsen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.sysarc.2007.12.006"
  links:
    doi: "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"
  kind: "article"
  key: "ThomsenG08"
- title: "The Universal Resolving Algorithm: Inverse Computation in a Functional Language"
  author:
  - name: "Sergei M. Abramov"
    link: "https://researchr.org/alias/sergei-m.-abramov"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2000"
  researchr: "https://researchr.org/publication/AbramovG00%3A1"
  cites: 0
  citedby: 0
  pages: "187-212"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "AbramovG00:1"
- title: "A Regeneration Scheme for Generating Extensions"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Andrei V. Klimov"
    link: "http://pat.keldysh.ru/~anklimov/"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0020-0190(97)00055-0"
  abstract: "A regeneration scheme is presented which shows how to change the computation staging of a generating extension by a two-level metasystem structure using program specialization and program composition. From the results described in this paper we can see that program generation and program degeneration are two extremes of the same transformation dimension; this relates several well-known program transformations under a general scheme."
  links:
    doi: "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"
  kind: "article"
  key: "GluckK97"
- title: "Generating Optimizing Specializers"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  year: "1994"
  abstract: "We propose a new method for improving the spe- cialization of programs by inserting an interpreter between a subject program and a specializer. We formulate three specializer projections which enable us to generate specializers from interpreters. The goal is to provide a new way to control the specialization of programs, and we report the first practical results. This is a step towards the automatic production of specializers. Using an existing, self-applicable partial evaluator we succeeded in generating a stand-alone specializer for a first-order functional language which is stronger than the partial evaluator used for its generation. The generated specializer corresponds to a simple supercompiler. As an example we show that the generated specializer can achieve the same speed-up effect as the Knuth, Morris & Pratt algorithm by specializing a na ̈ıve matcher with respect to a fixed pattern. The generated specializer is also strong enough to handle bounded static variation, a case which partial evaluators usually can not handle."
  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"
  kind: "inproceedings"
  key: "GluckJ94"
- title: "Bootstrapping higher-order program transformers from interpreters"
  author:
  - name: "Michael Sperber"
    link: "https://researchr.org/alias/michael-sperber"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/331119.331417"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SperberGT96"
- title: "Jones Optimality and the Strength of Program Specializers"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2001"
  researchr: "https://researchr.org/publication/Gluck01"
  cites: 0
  citedby: 0
  pages: "103-116"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "Gluck01"
- title: "On Deforesting Parameters of Accumulating Maps"
  author:
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Yoshihiko Futamura"
    link: "https://researchr.org/alias/yoshihiko-futamura"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2372/23720046.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KakehiGF01"
- title: "1998 Symposium on Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/292469.293684"
  links:
    doi: "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"
  kind: "article"
  key: "DanvyGT98"
- title: "Combining Semantics with Non-standard Interpreter Hierarchies"
  author:
  - name: "Sergei M. Abramov"
    link: "https://researchr.org/alias/sergei-m.-abramov"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1974/19740201.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AbramovG00:0"
- title: "A Positive Supercompiler"
  author:
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1996"
  researchr: "https://researchr.org/publication/SorensenGJ96"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "6"
  number: "6"
  pages: "811-838"
  kind: "article"
  key: "SorensenGJ96"
- title: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  year: "1996"
  month: "February"
  doi: "https://doi.org/10.1007/3-540-61580-6"
  links:
    doi: "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, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  conference: "Dagstuhl"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  volume: "1110"
  series: "Lecture Notes in Computer Science"
  address: "Dagstuhl Castle, Germany"
  publisher: "Springer"
  isbn: "3-540-61580-6"
  kind: "proceedings"
  key: "dagstuhl:1996pe"
- 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:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Michael R. Lowry"
    link: "https://researchr.org/alias/michael-r.-lowry"
  volume: "3676"
  series: "Lecture Notes in Computer Science"
  address: "Tallinn, Estonia"
  publisher: "Springer"
  isbn: "3-540-29138-5"
  kind: "proceedings"
  key: "gpce:2005"
- 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:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  publisher: "ACM"
  isbn: "978-1-59593-977-7"
  kind: "proceedings"
  key: "pepm:2008"