dblp.uni-trier.dewww.uni-trier.de

Robert Glück Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
67EERobert 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
65EETetsuo Yokoyama, Holger Bock Axelsen, Robert Glück: Principles of a reversible programming language. Conf. Computing Frontiers 2008: 43-54
64EETetsuo Yokoyama, Holger Bock Axelsen, Robert Glück: Reversible Flowchart Languages and the Structured Reversible Program Theorem. ICALP (2) 2008: 258-270
63EEMichael Kirkedal Thomsen, Robert Glück: Optimized reversible binary-coded decimal adders. Journal of Systems Architecture - Embedded Systems Design 54(7): 697-706 (2008)
2007
62EEHolger Bock Axelsen, Robert Glück, Tetsuo Yokoyama: Reversible Machine Code and Its Abstract Processor Architecture. CSR 2007: 56-69
61EETetsuo Yokoyama, Robert Glück: A reversible programming language and its invertible self-interpreter. PEPM 2007: 144-153
2006
60EEJohan Gade, Robert Glück: On Jones-Optimal Specializers: A Case Study Using Unmix. APLAS 2006: 406-422
59EESergei 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
57EEMasahiko Kawabe, Robert Glück: The Program Inverter LRinv and Its Structure. PADL 2005: 219-234
56EERobert Glück, Masahiko Kawabe: A Method for Automatic Program Inversion Based on LR(0) Parsing. Fundam. Inform. 66(4): 367-395 (2005)
55EERobert Glück, Masahiko Kawabe: Revisiting an automatic program inverter for Lisp. SIGPLAN Notices 40(5): 8-17 (2005)
2004
54EERobert Glück, Masahiko Kawabe: Derivation of Deterministic Inverse Programs Based on LR Parsing. FLOPS 2004: 291-306
53EENiels 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
52EERobert Glück, Masahiko Kawabe: A Program Inverter for a Functional Language with Equality and Constructors. APLAS 2003: 246-264
51EERobert Glück: The Translation Power of the Futamura Projections. Ershov Memorial Conference 2003: 133-147
50EERobert 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
48EEYoshihiko Futamura, Zenjiro Konishi, Robert Glück: Automatic generation of efficient string matching algorithms by generalized partial computation. ASIA-PEPM 2002: 1-8
47EERobert Glück: Jones optimality, binding-time improvements, and the strength of program specializers. ASIA-PEPM 2002: 9-19
46EESergei M. Abramov, Robert Glück: Principles of Inverse Computation and the Universal Resolving Algorithm. The Essence of Computation 2002: 269-295
45EEYoshihiko Futamura, Zenjiro Konishi, Robert Glück: WSDFU: Program Transformation System Based on Generalized Partial Computation. The Essence of Computation 2002: 358-378
44EESergei 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
42EEKazuhiko Kakehi, Robert Glück, Yoshihiko Futamura: On Deforesting Parameters of Accumulating Maps. LOPSTR 2001: 46-56
41EEArmin 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
35EESergei 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
32EENiels 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
31EERobert 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
28EEKrzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen: Generative Programming and Active Libraries. Generic Programming 1998: 25-39
27EERobert 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
24EEOlivier 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
22EERobert 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
17EERobert Glück, Jesper Jørgensen: Fast Binding-Time Analysis for Multi-Level Specialization. Ershov Memorial Conference 1996: 261-272
16EERobert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen: Controlling Conjunctive Partial Deduction. PLILP 1996: 152-166
15EEMichael 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
11EERobert 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
9EEMorten 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
6EERobert 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
1EERobert Glück, Valentin F. Turchin: Application of Metasystem Transition to Function Inversion and Transformation. ISSAC 1990: 286-287

Coauthor Index

1Sergei M. Abramov [29] [34] [35] [37] [40] [44] [46] [59]
2Holger Bock Axelsen [62] [64] [65]
3Romana Baier [7]
4Niels H. Christensen [32] [53]
5Krzysztof Czarnecki [28]
6Olivier Danvy [20] [24]
7Ulrich W. Eisenecker [28]
8Yoshihiko Futamura [36] [38] [39] [42] [45] [48]
9Johan Gade [60]
10Takuya Hashimoto [50]
11John Hatcliff [18] [27]
12Neil D. Jones [9] [14]
13Jesper Jørgensen [5] [8] [11] [16] [17] [21] [25] [27] [30] [33]
14Kazuhiko Kakehi [41] [42]
15Masahiko Kawabe [49] [52] [54] [55] [56] [57]
16Youhei Kawada [50]
17Paul Kleinrubatscher [10]
18Andrei V. Klimov [3] [22] [23]
19Yuri A. Klimov [59]
20Zenjiro Konishi [36] [38] [45] [48]
21Albert Kriegshaber [10]
22Armin Kühnemann [41]
23Søren Laursen [32]
24Michael Leuschel [30] [31] [33]
25Michael R. Lowry [58]
26Bern Martens [16] [30] [33]
27Oege de Moor [66]
28Danny De Schreye [30] [33]
29Morten Heine Sørensen [6] [9] [13] [14] [16] [19] [26] [30] [33]
30Michael Sperber [15]
31Peter Thiemann [15] [20] [24]
32Michael Kirkedal Thomsen [63]
33Valentin F. Turchin [1]
34David Vandevoorde [28]
35Todd L. Veldhuizen [28]
36Tetsuo Yokoyama [61] [62] [64] [65]
37Robert Zöchling [7] [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)