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: "The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings"
  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: "Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers"
  editor:
  - name: "Mehdi Jazayeri"
    link: "https://researchr.org/alias/mehdi-jazayeri"
  - name: "Rüdiger Loos"
    link: "https://researchr.org/alias/r%C3%BCdiger-loos"
  - name: "David R. Musser"
    link: "https://researchr.org/alias/david-r.-musser"
  volume: "1766"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41090-2"
  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: "ACM Transactions on Programming Languages and Systems"
  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 Notices"
  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: "Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers"
  editor:
  - name: "Irina Virbitskaite"
    link: "https://researchr.org/alias/irina-virbitskaite"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "4378"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70880-3"
  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: "Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings"
  editor:
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "1140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61756-6"
  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: "Science of Computer Programming"
  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: "ILPS"
  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: "ASIA-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: "New Generation Comput."
  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: "Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998"
  editor:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  volume: "1706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66710-5"
  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: "Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  volume: "1755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67102-1"
  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: "Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings"
  editor:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Jaan Penjam"
    link: "https://researchr.org/alias/jaan-penjam"
  volume: "844"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58402-1"
  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: "Int. J. Found. Comput. Sci."
  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: "Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR 98, Manchester, UK, June 15-19, 1998, Proceedings"
  editor:
  - name: "Pierre Flener"
    link: "https://researchr.org/alias/pierre-flener"
  volume: "1559"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65765-7"
  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: "The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings"
  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: "New Generation Comput."
  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: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  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: "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: "Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Igor V. Pottosin"
    link: "https://researchr.org/alias/igor-v.-pottosin"
  volume: "1181"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62064-8"
  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: "Journal of Logic and Algebraic Programming"
  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: "The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]"
  editor:
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  - name: "Ivan Hal Sudborough"
    link: "https://researchr.org/alias/ivan-hal-sudborough"
  volume: "2566"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00326-6"
  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: "Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  volume: "1755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67102-1"
  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: "ASIA-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: "Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings"
  editor:
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  volume: "2051"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42117-3"
  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: "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:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Ivan Damgård"
    link: "https://researchr.org/alias/ivan-damg%C3%A5rd"
  - name: "Leslie Ann Goldberg"
    link: "https://researchr.org/alias/leslie-ann-goldberg"
  - name: "Magnús M. Halldórsson"
    link: "https://researchr.org/alias/magn%C3%BAs-m.-halld%C3%B3rsson"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  - name: "Igor Walukiewicz"
    link: "https://researchr.org/alias/igor-walukiewicz"
  volume: "5126"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70582-6"
  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: "The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]"
  editor:
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  - name: "Ivan Hal Sudborough"
    link: "https://researchr.org/alias/ivan-hal-sudborough"
  volume: "2566"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00326-6"
  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: "Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings"
  editor:
  - name: "Maurizio Proietti"
    link: "https://researchr.org/alias/maurizio-proietti"
  volume: "1048"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60939-3"
  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: "Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings"
  editor:
  - name: "Naoki Kobayashi"
    link: "https://researchr.org/alias/naoki-kobayashi"
  volume: "4279"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-48937-1"
  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: "Journal of Logic and Algebraic Programming"
  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: "Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings"
  editor:
  - name: "Patrick Cousot"
    link: "https://researchr.org/alias/patrick-cousot"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Gilberto Filé"
    link: "https://researchr.org/alias/gilberto-fil%C3%A9"
  - name: "Antoine Rauzy"
    link: "https://researchr.org/alias/antoine-rauzy"
  volume: "724"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57264-3"
  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: "Science of Computer Programming"
  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: "Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007"
  editor:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "978-1-59593-620-2"
  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: "Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998"
  editor:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  volume: "1706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66710-5"
  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: "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:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  publisher: "ACM"
  isbn: "978-1-60558-327-3"
  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: "Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings"
  editor:
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  volume: "2998"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21402-X"
  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: "Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia, Italy, May 5-7, 2008"
  editor:
  - name: "Alex Ramírez"
    link: "https://researchr.org/alias/alex-ram%C3%ADrez"
  - name: "Gianfranco Bilardi"
    link: "https://researchr.org/alias/gianfranco-bilardi"
  - name: "Michael Gschwind"
    link: "https://researchr.org/alias/michael-gschwind"
  publisher: "ACM"
  isbn: "978-1-60558-077-7"
  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: "New Generation Comput."
  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: "Higher-Order and Symbolic Computation"
  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: "Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings"
  editor:
  - name: "Volker Diekert"
    link: "https://researchr.org/alias/volker-diekert"
  - name: "Mikhail V. Volkov"
    link: "https://researchr.org/alias/mikhail-v.-volkov"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "4649"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74509-9"
  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: "Higher-Order and Symbolic Computation"
  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: "Fuji International Symposium on Functional and Logic Programming"
  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: "Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers"
  editor:
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  volume: "2890"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20813-5"
  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 Notices"
  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: "The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings"
  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: "Journal of Functional Programming"
  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: "Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings"
  editor:
  - name: "Donald Sannella"
    link: "https://researchr.org/alias/donald-sannella"
  volume: "788"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57880-3"
  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: "Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings"
  editor:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Daniel Cabeza"
    link: "https://researchr.org/alias/daniel-cabeza"
  volume: "3350"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24362-3"
  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: "Fundamenta Informaticae"
  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: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  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: "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: "Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings"
  editor:
  - name: "Atsushi Ohori"
    link: "https://researchr.org/alias/atsushi-ohori"
  volume: "2895"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20536-5"
  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: "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"
  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: "Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings"
  editor:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "982"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60359-X"
  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: "Journal of Systems Architecture"
  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: "Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "José Nuno Oliveira"
    link: "https://researchr.org/alias/jos%C3%A9-nuno-oliveira"
  volume: "1837"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67727-5"
  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: "Inf. Process. Lett."
  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: "Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France"
  editor:
  - name: "Henri E. Bal"
    link: "https://researchr.org/alias/henri-e.-bal"
  publisher: "IEEE Computer Society"
  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: "Proceedings of the 1996 ACM Symposium on Applied Computing (SAC), February 17-19, 1996, Philadelphia, PA, USA"
  publisher: "ACM"
  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: "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"
  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: "Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers"
  editor:
  - name: "Alberto Pettorossi"
    link: "https://researchr.org/alias/alberto-pettorossi"
  volume: "2372"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43915-3"
  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 Computing Surveys"
  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: "Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings"
  editor:
  - name: "Sanjiv Kapoor"
    link: "https://researchr.org/alias/sanjiv-kapoor"
  - name: "Sanjiva Prasad"
    link: "https://researchr.org/alias/sanjiva-prasad"
  volume: "1974"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41413-4"
  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: "Journal of Functional Programming"
  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"