| 2009 |
|---|
| 67 | EE | Robert Glück:
Is there a fourth Futamura projection?
PEPM 2009: 51-60 |
| 2008 |
|---|
| 66 | | Robert Glück,
Oege de Moor:
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
ACM 2008 |
| 65 | EE | Tetsuo Yokoyama,
Holger Bock Axelsen,
Robert Glück:
Principles of a reversible programming language.
Conf. Computing Frontiers 2008: 43-54 |
| 64 | EE | Tetsuo Yokoyama,
Holger Bock Axelsen,
Robert Glück:
Reversible Flowchart Languages and the Structured Reversible Program Theorem.
ICALP (2) 2008: 258-270 |
| 63 | EE | Michael Kirkedal Thomsen,
Robert Glück:
Optimized reversible binary-coded decimal adders.
Journal of Systems Architecture - Embedded Systems Design 54(7): 697-706 (2008) |
| 2007 |
|---|
| 62 | EE | Holger Bock Axelsen,
Robert Glück,
Tetsuo Yokoyama:
Reversible Machine Code and Its Abstract Processor Architecture.
CSR 2007: 56-69 |
| 61 | EE | Tetsuo Yokoyama,
Robert Glück:
A reversible programming language and its invertible self-interpreter.
PEPM 2007: 144-153 |
| 2006 |
|---|
| 60 | EE | Johan Gade,
Robert Glück:
On Jones-Optimal Specializers: A Case Study Using Unmix.
APLAS 2006: 406-422 |
| 59 | EE | Sergei M. Abramov,
Robert Glück,
Yuri A. Klimov:
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages.
Ershov Memorial Conference 2006: 27-40 |
| 2005 |
|---|
| 58 | | Robert Glück,
Michael R. Lowry:
Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
Springer 2005 |
| 57 | EE | Masahiko Kawabe,
Robert Glück:
The Program Inverter LRinv and Its Structure.
PADL 2005: 219-234 |
| 56 | EE | Robert Glück,
Masahiko Kawabe:
A Method for Automatic Program Inversion Based on LR(0) Parsing.
Fundam. Inform. 66(4): 367-395 (2005) |
| 55 | EE | Robert Glück,
Masahiko Kawabe:
Revisiting an automatic program inverter for Lisp.
SIGPLAN Notices 40(5): 8-17 (2005) |
| 2004 |
|---|
| 54 | EE | Robert Glück,
Masahiko Kawabe:
Derivation of Deterministic Inverse Programs Based on LR Parsing.
FLOPS 2004: 291-306 |
| 53 | EE | Niels H. Christensen,
Robert Glück:
Offline partial evaluation can be as accurate as online partial evaluation.
ACM Trans. Program. Lang. Syst. 26(1): 191-220 (2004) |
| 2003 |
|---|
| 52 | EE | Robert Glück,
Masahiko Kawabe:
A Program Inverter for a Functional Language with Equality and Constructors.
APLAS 2003: 246-264 |
| 51 | EE | Robert Glück:
The Translation Power of the Futamura Projections.
Ershov Memorial Conference 2003: 133-147 |
| 50 | EE | Robert Glück,
Youhei Kawada,
Takuya Hashimoto:
Transforming interpreters into inverse interpreters by partial evaluation.
PEPM 2003: 10-19 |
| 2002 |
|---|
| 49 | | Robert Glück,
Masahiko Kawabe:
An Automatic Program Inverter for Lisp: Potential and Limitations.
APLAS 2002: 230-245 |
| 48 | EE | Yoshihiko Futamura,
Zenjiro Konishi,
Robert Glück:
Automatic generation of efficient string matching algorithms by generalized partial computation.
ASIA-PEPM 2002: 1-8 |
| 47 | EE | Robert Glück:
Jones optimality, binding-time improvements, and the strength of program specializers.
ASIA-PEPM 2002: 9-19 |
| 46 | EE | Sergei M. Abramov,
Robert Glück:
Principles of Inverse Computation and the Universal Resolving Algorithm.
The Essence of Computation 2002: 269-295 |
| 45 | EE | Yoshihiko Futamura,
Zenjiro Konishi,
Robert Glück:
WSDFU: Program Transformation System Based on Generalized Partial Computation.
The Essence of Computation 2002: 358-378 |
| 44 | EE | Sergei M. Abramov,
Robert Glück:
The universal resolving algorithm and its correctness: inverse computation in a functional language.
Sci. Comput. Program. 43(2-3): 193-229 (2002) |
| 2001 |
|---|
| 43 | | Robert Glück:
Jones Optimality and the Strength of Program Specializers.
APLAS 2001: 103-116 |
| 42 | EE | Kazuhiko Kakehi,
Robert Glück,
Yoshihiko Futamura:
On Deforesting Parameters of Accumulating Maps.
LOPSTR 2001: 46-56 |
| 41 | EE | Armin Kühnemann,
Robert Glück,
Kazuhiko Kakehi:
Relating Accumulative and Non-accumulative Functional Programs.
RTA 2001: 154-168 |
| 40 | | Sergei M. Abramov,
Robert Glück:
From Standard to Non-Standard Semantics by Semantics Modifiers.
Int. J. Found. Comput. Sci. 12(2): 171-211 (2001) |
| 39 | | Robert Glück,
Yoshihiko Futamura:
Partial Evaluation and Program Transformation Day - Guest Editor's Preface.
New Generation Comput. 20(1): 1-2 (2001) |
| 38 | | Yoshihiko Futamura,
Zenjiro Konishi,
Robert Glück:
Program Transformation System Based on Generalized Partial Computation.
New Generation Comput. 20(1): 75-100 (2001) |
| 2000 |
|---|
| 37 | | Sergei M. Abramov,
Robert Glück:
Principles of Inverse Computation in a Functional Language.
APLAS 2000: 141-152 |
| 36 | | Yoshihiko Futamura,
Zenjiro Konishi,
Robert Glück:
Automatic Generation of Very Efficient Programs by Generalized Partial Computation.
APLAS 2000: 183-191 |
| 35 | EE | Sergei M. Abramov,
Robert Glück:
Combining Semantics with Non-standard Interpreter Hierarchies.
FSTTCS 2000: 201-213 |
| 34 | | Sergei M. Abramov,
Robert Glück:
The Universal Resolving Algorithm: Inverse Computation in a Functional Language.
MPC 2000: 187-212 |
| 33 | | Danny De Schreye,
Robert Glück,
Jesper Jørgensen,
Michael Leuschel,
Bern Martens,
Morten Heine Sørensen:
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments".
J. Log. Program. 43(3): 265 (2000) |
| 1999 |
|---|
| 32 | EE | Niels H. Christensen,
Robert Glück,
Søren Laursen:
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.
Ershov Memorial Conference 1999: 80-92 |
| 31 | EE | Robert Glück,
Michael Leuschel:
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.
Ershov Memorial Conference 1999: 93-100 |
| 30 | | Danny De Schreye,
Robert Glück,
Jesper Jørgensen,
Michael Leuschel,
Bern Martens,
Morten Heine Sørensen:
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
J. Log. Program. 41(2-3): 231-277 (1999) |
| 1998 |
|---|
| 29 | | Sergei M. Abramov,
Robert Glück:
Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages.
Fuji International Symposium on Functional and Logic Programming 1998: 247-270 |
| 28 | EE | Krzysztof Czarnecki,
Ulrich W. Eisenecker,
Robert Glück,
David Vandevoorde,
Todd L. Veldhuizen:
Generative Programming and Active Libraries.
Generic Programming 1998: 25-39 |
| 27 | EE | Robert Glück,
John Hatcliff,
Jesper Jørgensen:
Generalization in Hierarchies of Online Program Specialization Systems.
LOPSTR 1998: 179-198 |
| 26 | | Morten Heine Sørensen,
Robert Glück:
Introduction to Supercompilation.
Partial Evaluation 1998: 246-270 |
| 25 | | Robert Glück,
Jesper Jørgensen:
Multi-Level Specialization (Extended Abstract).
Partial Evaluation 1998: 326-337 |
| 24 | EE | Olivier Danvy,
Robert Glück,
Peter Thiemann:
1998 Symposium on Partial Evaluation.
ACM Comput. Surv. 30(3): 285-290 (1998) |
| 23 | | Robert Glück,
Andrei V. Klimov:
On the Degeneration of Program Generators by Program Composition.
New Generation Comput. 16(1): 75-96 (1998) |
| 1997 |
|---|
| 22 | EE | Robert Glück,
Andrei V. Klimov:
A Regeneration Scheme for Generating Extensions.
Inf. Process. Lett. 62(3): 127-134 (1997) |
| 21 | | Robert Glück,
Jesper Jørgensen:
An Automatic Program Generator for Multi-Level Specialization.
Lisp and Symbolic Computation 10(2): 113-158 (1997) |
| 1996 |
|---|
| 20 | | Olivier Danvy,
Robert Glück,
Peter Thiemann:
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers
Springer 1996 |
| 19 | | Robert Glück,
Morten Heine Sørensen:
A Roadmap to Metacomputation by Supercompilation.
Dagstuhl Seminar on Partial Evaluation 1996: 137-160 |
| 18 | | John Hatcliff,
Robert Glück:
Reasoning about Hierarchies of Online Program Specialization Systems.
Dagstuhl Seminar on Partial Evaluation 1996: 161-182 |
| 17 | | Robert Glück,
Jesper Jørgensen:
Fast Binding-Time Analysis for Multi-Level Specialization.
Ershov Memorial Conference 1996: 261-272 |
| 16 | | Robert Glück,
Jesper Jørgensen,
Bern Martens,
Morten Heine Sørensen:
Controlling Conjunctive Partial Deduction.
PLILP 1996: 152-166 |
| 15 | EE | Michael Sperber,
Robert Glück,
Peter Thiemann:
Bootstrapping higher-order program transformers from interpreters.
SAC 1996: 408-413 |
| 14 | | Morten Heine Sørensen,
Robert Glück,
Neil D. Jones:
A Positive Supercompiler.
J. Funct. Program. 6(6): 811-838 (1996) |
| 1995 |
|---|
| 13 | | Morten Heine Sørensen,
Robert Glück:
An Algorithm of Generalization in Positive Supercompilation.
ILPS 1995: 465-479 |
| 12 | | Robert Glück:
On the Mechanics of Metasystem Hierarchies in Program Transformation.
LOPSTR 1995: 234-251 |
| 11 | | Robert Glück,
Jesper Jørgensen:
Efficient Multi-level Generating Extensions for Program Specialization
PLILP 1995: 259-278 |
| 10 | | Paul Kleinrubatscher,
Albert Kriegshaber,
Robert Zöchling,
Robert Glück:
Fortran Program Specialization.
SIGPLAN Notices 30(4): 61-70 (1995) |
| 1994 |
|---|
| 9 | | Morten Heine Sørensen,
Robert Glück,
Neil D. Jones:
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.
ESOP 1994: 485-500 |
| 8 | | Robert Glück,
Jesper Jørgensen:
Generating Optimizing Specializers.
ICCL 1994: 183-194 |
| 7 | | Romana Baier,
Robert Glück,
Robert Zöchling:
Partial Evaluation of Numerical Programs in Fortran.
PEPM 1994: 119-132 |
| 6 | | Robert Glück,
Morten Heine Sørensen:
Partial Deduction and Driving are Equivalent.
PLILP 1994: 165-181 |
| 5 | | Robert Glück,
Jesper Jørgensen:
Generating Transformers for Deforestation and Supercompilation.
SAS 1994: 432-448 |
| 4 | | Robert Glück:
On the Generation of Specializers.
J. Funct. Program. 4(4): 499-514 (1994) |
| 1993 |
|---|
| 3 | | Robert Glück,
Andrei V. Klimov:
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree.
WSA 1993: 112-123 |
| 1991 |
|---|
| 2 | | Robert Glück:
Towards Multiple Self-Application.
PEPM 1991: 309-320 |
| 1990 |
|---|
| 1 | EE | Robert Glück,
Valentin F. Turchin:
Application of Metasystem Transition to Function Inversion and Transformation.
ISSAC 1990: 286-287 |
