Robert Glück

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 31

Top Venues

Theor. Comput. Sci.

New Gener. Comput.

J. Log. Algebraic Methods Program.

Publications

Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. RC (2024)
Louis Normann, Robert Glück
Partial Evaluation of Reversible Flowchart Programs. PEPM (2024)
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal
Towards a Taxonomy for Reversible Computation Approaches. RC (2023)
Robert Glück, Tetsuo Yokoyama
Reversible computing from a programming language perspective. Theor. Comput. Sci. 953 (2023)
Jonas Wolpers Reholt, Robert Glück, Matthis Kruse
Towards a Dereversibilizer: Fewer Asserts, Statically. RC (2023)
Robert Glück, Tetsuo Yokoyama
Reversible Programming: A Case Study of Two String-Matching Algorithms. HCVS/VPT@ETAPS (2022)
Robert Glück, Tetsuo Yokoyama
Making Programs Reversible with Minimal Extra Data. New Gener. Comput. 40 (2) (2022)
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
From reversible programming languages to reversible metalanguages. Theor. Comput. Sci. 920 (2022)
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion. VPT@ETAPS (2021)
Lasse Hay-Schmidt, Robert Glück, Martin Holm Cservenka, Tue Haulund
Towards a Unified Language Architecture for Reversible Object-Oriented Programming. RC (2021)
John P. Gallagher, Robert Glück
An Experiment Combining Specialization with Abstract Interpretation. VPT/HCVS@ETAPS (2020)
Maja H. Kirkeby, Robert Glück
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. PPDP (2020)
Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS (2020)
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
Reversible Programs Have Reversible Semantics. FM Workshops (2) (2019)
Maja Hanne Kirkeby, Robert Glück
Semi-inversion of Conditional Constructor Term Rewriting Systems. LOPSTR (2019)
Robert Glück, Tetsuo Yokoyama
Constructing a binary tree from its traversals by reversible recursion and iteration. Inf. Process. Lett. 147 (2019)
Robert Glück
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. MARS/VPT@ETAPS (2018)
Robert Glück, Robin Kaarsgaard
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. Log. Methods Comput. Sci. 14 (3) (2018)
Robert Glück, Tetsuo Yokoyama
Reversible Computing: Foundations and Software - Preface of Special Issue. New Gener. Comput. 36 (3) (2018)
Robert Glück, Robin Kaarsgaard
A Categorical Foundation for Structured Reversible Flowchart Languages. MFPS (2018)
Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen
Data Structures and Dynamic Memory Management in Reversible Languages. RC (2018)
Robert Glück, Tetsuo Yokoyama
A Minimalist's Reversible While Language. IEICE Trans. Inf. Syst. (5) (2017)
Tue Haulund, Torben Ægidius Mogensen, Robert Glück
Implementing Reversible Object-Oriented Language Features on Reversible Machines. RC (2017)
Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück
Join inverse categories and reversible recursion. J. Log. Algebraic Methods Program. 87 (2017)
Robert Glück, Robin Kaarsgaard
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. CoRR (2017)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Fundamentals of reversible flowchart languages. Theor. Comput. Sci. 611 (2016)
Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. WoLLIC (2016)
Robert Glück, Tetsuo Yokoyama
A Linear-Time Self-Interpreter of a Reversible Imperative Language. Inf. Media Technol. 11 (2016)
Robert Glück
A Practical Simulation Result for Two-Way Pushdown Automata. CIAA (2016)
Holger Bock Axelsen, Robert Glück
On reversible Turing machines and their function universality. Acta Informatica 53 (5) (2016)
Robert Glück
Maximally-Polyvariant Partial Evaluation in Polynomial Time. Ershov Memorial Conference (2015)
Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Ægidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. ACM J. Emerg. Technol. Comput. Syst. 11 (2) (2014)
Robert Glück
Simulation of Two-Way Pushdown Automata Revisited. Festschrift for Dave Schmidt (2013)
Holger Bock Axelsen, Robert Glück
Reversible Representation and Manipulation of Constructor Terms in the Heap. RC (2013)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Optimizing Reversible Simulation of Injective Functions. J. Multiple Valued Log. Soft Comput. 18 (1) (2012)
Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
Cleaning Up: Garbage-Free Reversible Circuits by Design Languages. ISED (2012)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Minimizing Garbage Size by Generating Reversible Simulations. ICNC (2012)
Robert Glück
A self-applicable online partial evaluator for recursive flowchart languages. Softw. Pract. Exp. 42 (6) (2012)
Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
A Reversible Processor Architecture and Its Reversible Logic Design. RC (2011)
Robert Glück
Bootstrapping Compiler Generators from Partial Evaluators. Ershov Memorial Conference (2011)
Holger Bock Axelsen, Robert Glück
What Do Reversible Programs Compute? FoSSaCS (2011)
Robert Glück, Eelco Visser
Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005). Sci. Comput. Program. 76 (5) (2011)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Towards a Reversible Functional Language. RC (2011)
Holger Bock Axelsen, Robert Glück
A Simple and Efficient Universal Reversible Turing Machine. LATA (2011)
Robert Glück
Self-generating program specializers. Inf. Process. Lett. 110 (17) (2010)
Robert Glück
An Experiment with the Fourth Futamura Projection. Ershov Memorial Conference (2009)
Holger Bock Axelsen, Robert Glück, Alexis De Vos, Michael Kirkedal Thomsen
MicroPower: Towards Low-Power Microprocessors with Reversible Computing. ERCIM News 2009 (79) (2009)
Robert Glück
Is there a fourth Futamura projection? PEPM (2009)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Principles of a reversible programming language. Conf. Computing Frontiers (2008)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Reversible Flowchart Languages and the Structured Reversible Program Theorem. ICALP (2) (2008)
Robert Glück
An investigation of Jones optimality and BTI-universal specializers. High. Order Symb. Comput. 21 (3) (2008)
Michael Kirkedal Thomsen, Robert Glück
Optimized reversible binary-coded decimal adders. J. Syst. Archit. 54 (7) (2008)
Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama
Reversible Machine Code and Its Abstract Processor Architecture. CSR (2007)
Tetsuo Yokoyama, Robert Glück
A reversible programming language and its invertible self-interpreter. PEPM (2007)
Sergei M. Abramov, Robert Glück, Yuri A. Klimov
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Ershov Memorial Conference (2006)
Johan Gade, Robert Glück
On Jones-Optimal Specializers: A Case Study Using Unmix. APLAS (2006)
Robert Glück, Masahiko Kawabe
A Method for Automatic Program Inversion Based on LR(0) Parsing. Fundam. Informaticae 66 (4) (2005)
Robert Glück, Masahiko Kawabe
Revisiting an automatic program inverter for Lisp. ACM SIGPLAN Notices 40 (5) (2005)
Masahiko Kawabe, Robert Glück
The Program Inverter LRinv and Its Structure. PADL (2005)
Niels H. Christensen, Robert Glück
Offline partial evaluation can be as accurate as online partial evaluation. ACM Trans. Program. Lang. Syst. 26 (1) (2004)
Robert Glück, Masahiko Kawabe
Derivation of Deterministic Inverse Programs Based on LR Parsing. FLOPS (2004)
Robert Glück, Masahiko Kawabe
A Program Inverter for a Functional Language with Equality and Constructors. APLAS (2003)
Robert Glück, Youhei Kawada, Takuya Hashimoto
Transforming interpreters into inverse interpreters by partial evaluation. PEPM (2003)
Robert Glück
The Translation Power of the Futamura Projections. Ershov Memorial Conference (2003)
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
Automatic generation of efficient string matching algorithms by generalized partial computation. ASIA-PEPM (2002)
Robert Glück, Masahiko Kawabe
An Automatic Program Inverter for Lisp: Potential and Limitations. APLAS (2002)
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
WSDFU: Program Transformation System Based on Generalized Partial Computation. The Essence of Computation (2002)
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) (2002)
Robert Glück
Jones optimality, binding-time improvements, and the strength of program specializers. ASIA-PEPM (2002)
Sergei M. Abramov, Robert Glück
Principles of Inverse Computation and the Universal Resolving Algorithm. The Essence of Computation (2002)
Robert Glück
Jones Optimality and the Strength of Program Specializers. APLAS (2001)
Robert Glück, Yoshihiko Futamura
Partial Evaluation and Program Transformation Day - Guest Editor's Preface. New Gener. Comput. 20 (1) (2001)
Armin Kühnemann, Robert Glück, Kazuhiko Kakehi
Relating Accumulative and Non-accumulative Functional Programs. RTA (2001)
Sergei M. Abramov, Robert Glück
From Standard to Non-Standard Semantics by Semantics Modifiers. Int. J. Found. Comput. Sci. 12 (2) (2001)
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
Program Transformation System Based on Generalized Partial Computation. New Gener. Comput. 20 (1) (2001)
Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
On Deforesting Parameters of Accumulating Maps. LOPSTR (2001)
Sergei M. Abramov, Robert Glück
The Universal Resolving Algorithm: Inverse Computation in a Functional Language. MPC (2000)
Sergei M. Abramov, Robert Glück
Principles of Inverse Computation in a Functional Language. APLAS (2000)
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) (2000)
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
Automatic Generation of Very Efficient Programs by Generalized Partial Computation. APLAS (2000)
Sergei M. Abramov, Robert Glück
Combining Semantics with Non-standard Interpreter Hierarchies. FSTTCS (2000)
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) (1999)
Robert Glück, Michael Leuschel
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. Ershov Memorial Conference (1999)
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)
Krzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen
Generative Programming and Active Libraries. Generic Programming (1998)
Robert Glück, Andrei V. Klimov
On the Degeneration of Program Generators by Program Composition. New Gener. Comput. 16 (1) (1998)
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)
Robert Glück, John Hatcliff, Jesper Jørgensen
Generalization in Hierarchies of Online Program Specialization Systems. LOPSTR (1998)
Morten Heine Sørensen, Robert Glück
Introduction to Supercompilation. Partial Evaluation (1998)
Robert Glück, Jesper Jørgensen
Multi-Level Specialization (Extended Abstract). Partial Evaluation (1998)
Olivier Danvy, Robert Glück, Peter Thiemann
1998 Symposium on Partial Evaluation. ACM Comput. Surv. 30 (3) (1998)
Robert Glück, Jesper Jørgensen
An Automatic Program Generator for Multi-Level Specialization. LISP Symb. Comput. 10 (2) (1997)
Robert Glück, Andrei V. Klimov
A Regeneration Scheme for Generating Extensions. Inf. Process. Lett. 62 (3) (1997)
Morten Heine Sørensen, Robert Glück, Neil D. Jones
A Positive Supercompiler. J. Funct. Program. 6 (6) (1996)
Robert Glück, Morten Heine Sørensen
A Roadmap to Metacomputation by Supercompilation. Dagstuhl Seminar on Partial Evaluation (1996)
Robert Glück, Jesper Jørgensen
Fast Binding-Time Analysis for Multi-Level Specialization. Ershov Memorial Conference (1996)
Michael Sperber, Robert Glück, Peter Thiemann
Bootstrapping higher-order program transformers from interpreters. SAC (1996)
John Hatcliff, Robert Glück
Reasoning about Hierarchies of Online Program Specialization Systems. Dagstuhl Seminar on Partial Evaluation (1996)
Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
Controlling Conjunctive Partial Deduction. PLILP (1996)
Morten Heine Sørensen, Robert Glück
An Algorithm of Generalization in Positive Supercompilation. ILPS (1995)

Robert Glück.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert Glück