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 |