Robert Glück

124 papers A 1B 12C 29Misc 5Journal 37Unranked 36
YearRankTypeTitle / Venue / Authors
2025 C ed.
Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings
RC
Robert Glück, Robin Kaarsgaard
2024 C conf
Experiment Using Partial Evaluation for Transformational Debugging.
SCAM
Kanae Tsushima, Robert Glück
2024 — conf
Inversion by Partial Evaluation: A Reversible Interpreter Experiment.
A Second Soul
Robert Glück, Louis Marott Normann
2024 C conf
Partial Evaluation of Reversible Flowchart Programs.
PEPM
Louis Normann, Robert Glück
2024 C conf
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip.
RC
Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama
2023 C ed.
Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
LOPSTR
Robert Glück, Bishoksan Kafle
2023 J jnl
Reversible computing from a programming language perspective.
Theor. Comput. Sci.
Robert Glück, Tetsuo Yokoyama
2023 C conf
Towards a Dereversibilizer: Fewer Asserts, Statically.
RC
Jonas Wolpers Reholt, Robert Glück, Matthis Kruse
2023 C conf
Towards a Taxonomy for Reversible Computation Approaches.
RC
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germán Vidal
2022 J jnl
From reversible programming languages to reversible metalanguages.
Theor. Comput. Sci.
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
2022 J jnl
Making Programs Reversible with Minimal Extra Data.
New Gener. Comput.
Robert Glück, Tetsuo Yokoyama
2022 — conf
Reversible Programming: A Case Study of Two String-Matching Algorithms.
HCVS/VPT@ETAPS
Robert Glück, Tetsuo Yokoyama
2021 — conf
An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion.
VPT@ETAPS
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
2021 C conf
Towards a Unified Language Architecture for Reversible Object-Oriented Programming.
RC
Lasse Hay-Schmidt, Robert Glück, Martin Holm Cservenka, Tue Haulund
2020 Misc conf
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update.
FLOPS
Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu
2020 — conf
An Experiment Combining Specialization with Abstract Interpretation.
VPT/HCVS@ETAPS
John P. Gallagher, Robert Glück
2020 — ch.
Foundations of Reversible Computation.
Selected Results of the COST Action IC1405
Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020 C conf
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems.
PPDP
Maja H. Kirkeby, Robert Glück
2020 — ch.
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.
Selected Results of the COST Action IC1405
Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück
2020 — ch.
Software and Reversible Systems: A Survey of Recent Activities.
Selected Results of the COST Action IC1405
Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski
2019 J jnl
Constructing a binary tree from its traversals by reversible recursion and iteration.
Inf. Process. Lett.
Robert Glück, Tetsuo Yokoyama
2019 — conf
Reversible Programs Have Reversible Semantics.
FM Workshops (2)
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
2019 C conf
Semi-inversion of Conditional Constructor Term Rewriting Systems.
LOPSTR
Maja Hanne Kirkeby, Robert Glück
2018 B conf
A Categorical Foundation for Structured Reversible Flowchart Languages.
MFPS
Robert Glück, Robin Kaarsgaard
2018 J jnl
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy.
Log. Methods Comput. Sci.
Robert Glück, Robin Kaarsgaard
2018 — conf
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata.
MARS/VPT
Robert Glück
2018 C conf
Data Structures and Dynamic Memory Management in Reversible Languages.
RC
Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen
2018 J jnl
Reversible Computing: Foundations and Software - Preface of Special Issue.
New Gener. Comput.
Robert Glück, Tetsuo Yokoyama
2017 J jnl
A Minimalist's Reversible While Language.
IEICE Trans. Inf. Syst.
Robert Glück, Tetsuo Yokoyama
2017 J jnl
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy.
CoRR
Robert Glück, Robin Kaarsgaard
2017 C conf
Implementing Reversible Object-Oriented Language Features on Reversible Machines.
RC
Tue Haulund, Torben Ægidius Mogensen, Robert Glück
2017 J jnl
Join inverse categories and reversible recursion.
J. Log. Algebraic Methods Program.
Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück
2016 C conf
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.
WoLLIC
Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard
2016 J jnl
A Linear-Time Self-Interpreter of a Reversible Imperative Language.
Inf. Media Technol.
Robert Glück, Tetsuo Yokoyama
2016 C conf
A Practical Simulation Result for Two-Way Pushdown Automata.
CIAA
Robert Glück
2016 J jnl
Fundamentals of reversible flowchart languages.
Theor. Comput. Sci.
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2016 J jnl
On reversible Turing machines and their function universality.
Acta Informatica
Holger Bock Axelsen, Robert Glück
2015 — conf
Maximally-Polyvariant Partial Evaluation in Polynomial Time.
Ershov Memorial Conference
Robert Glück
2014 J jnl
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform.
ACM J. Emerg. Technol. Comput. Syst.
Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Ægidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama
2013 C ed.
Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
RC
Robert Glück, Tetsuo Yokoyama
2013 C conf
Reversible Representation and Manipulation of Constructor Terms in the Heap.
RC
Holger Bock Axelsen, Robert Glück
2013 — conf
Simulation of Two-Way Pushdown Automata Revisited.
Festschrift for Dave Schmidt
Robert Glück
2012 J jnl
A self-applicable online partial evaluator for recursive flowchart languages.
Softw. Pract. Exp.
Robert Glück
2012 — conf
Cleaning Up: Garbage-Free Reversible Circuits by Design Languages.
ISED
Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
2012 Misc conf
Minimizing Garbage Size by Generating Reversible Simulations.
ICNC
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2012 J jnl
Optimizing Reversible Simulation of Injective Functions.
J. Multiple Valued Log. Soft Comput.
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2011 C conf
A Reversible Processor Architecture and Its Reversible Logic Design.
RC
Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
2011 C conf
A Simple and Efficient Universal Reversible Turing Machine.
LATA
Holger Bock Axelsen, Robert Glück
2011 — conf
Bootstrapping Compiler Generators from Partial Evaluators.
Ershov Memorial Conference
Robert Glück
2011 J jnl
Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005).
Sci. Comput. Program.
Robert Glück, Eelco Visser
2011 C conf
Towards a Reversible Functional Language.
RC
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2011 B conf
What Do Reversible Programs Compute?
FoSSaCS
Holger Bock Axelsen, Robert Glück
2010 J jnl
Self-generating program specializers.
Inf. Process. Lett.
Robert Glück
2009 — conf
An Experiment with the Fourth Futamura Projection.
Ershov Memorial Conference
Robert Glück
2009 C conf
Is there a fourth Futamura projection?
PEPM
Robert Glück
2009 J jnl
MicroPower: Towards Low-Power Microprocessors with Reversible Computing.
ERCIM News
Holger Bock Axelsen, Robert Glück, Alexis De Vos, Michael Kirkedal Thomsen
2008 J jnl
An investigation of Jones optimality and BTI-universal specializers.
High. Order Symb. Comput.
Robert Glück
2008 J jnl
Optimized reversible binary-coded decimal adders.
J. Syst. Archit.
Michael Kirkedal Thomsen, Robert Glück
2008 — conf
Principles of a reversible programming language.
Conf. Computing Frontiers
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2008 C ed.
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
PEPM
Robert Glück, Oege de Moor
2008 — conf
Reversible Flowchart Languages and the Structured Reversible Program Theorem.
ICALP (2)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2007 C conf
A reversible programming language and its invertible self-interpreter.
PEPM
Tetsuo Yokoyama, Robert Glück
2007 Misc conf
Reversible Machine Code and Its Abstract Processor Architecture.
CSR
Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama
2006 — conf
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages.
Ershov Memorial Conference
Sergei M. Abramov, Robert Glück, Yuri A. Klimov
2006 B conf
On Jones-Optimal Specializers: A Case Study Using Unmix.
APLAS
Johan Gade, Robert Glück
2005 J jnl
A Method for Automatic Program Inversion Based on LR(0) Parsing.
Fundam. Informaticae
Robert Glück, Masahiko Kawabe
2005 B ed.
Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
GPCE
Robert Glück, Michael R. Lowry
2005 J jnl
Revisiting an automatic program inverter for Lisp.
ACM SIGPLAN Notices
Robert Glück, Masahiko Kawabe
2005 C conf
The Program Inverter LRinv and Its Structure.
PADL
Masahiko Kawabe, Robert Glück
2004 Misc conf
Derivation of Deterministic Inverse Programs Based on LR Parsing.
FLOPS
Robert Glück, Masahiko Kawabe
2004 J jnl
Offline partial evaluation can be as accurate as online partial evaluation.
ACM Trans. Program. Lang. Syst.
Niels H. Christensen, Robert Glück
2003 B conf
A Program Inverter for a Functional Language with Equality and Constructors.
APLAS
Robert Glück, Masahiko Kawabe
2003 — conf
The Translation Power of the Futamura Projections.
Ershov Memorial Conference
Robert Glück
2003 C conf
Transforming interpreters into inverse interpreters by partial evaluation.
PEPM
Robert Glück, Youhei Kawada, Takuya Hashimoto
2002 B conf
An Automatic Program Inverter for Lisp: Potential and Limitations.
APLAS
Robert Glück, Masahiko Kawabe
2002 — conf
Automatic generation of efficient string matching algorithms by generalized partial computation.
ASIA-PEPM
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
2002 — conf
Jones optimality, binding-time improvements, and the strength of program specializers.
ASIA-PEPM
Robert Glück
2002 — conf
Principles of Inverse Computation and the Universal Resolving Algorithm.
The Essence of Computation
Sergei M. Abramov, Robert Glück
2002 J jnl
The universal resolving algorithm and its correctness: inverse computation in a functional language.
Sci. Comput. Program.
Sergei M. Abramov, Robert Glück
2002 — conf
WSDFU: Program Transformation System Based on Generalized Partial Computation.
The Essence of Computation
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
2001 J jnl
From Standard to Non-Standard Semantics by Semantics Modifiers.
Int. J. Found. Comput. Sci.
Sergei M. Abramov, Robert Glück
2001 B conf
Jones Optimality and the Strength of Program Specializers.
APLAS
Robert Glück
2001 C conf
On Deforesting Parameters of Accumulating Maps.
LOPSTR
Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
2001 J jnl
Partial Evaluation and Program Transformation Day - Guest Editor's Preface.
New Gener. Comput.
Robert Glück, Yoshihiko Futamura
2001 J jnl
Program Transformation System Based on Generalized Partial Computation.
New Gener. Comput.
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
2001 — conf
Relating Accumulative and Non-accumulative Functional Programs.
RTA
Armin Kühnemann, Robert Glück, Kazuhiko Kakehi
2000 B conf
Automatic Generation of Very Efficient Programs by Generalized Partial Computation.
APLAS
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
2000 — conf
Combining Semantics with Non-standard Interpreter Hierarchies.
FSTTCS
Sergei M. Abramov, Robert Glück
2000 J jnl
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments".
J. Log. Program.
Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
2000 B conf
Principles of Inverse Computation in a Functional Language.
APLAS
Sergei M. Abramov, Robert Glück
2000 B conf
The Universal Resolving Algorithm: Inverse Computation in a Functional Language.
MPC
Sergei M. Abramov, Robert Glück
1999 — conf
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.
Ershov Memorial Conference
Robert Glück, Michael Leuschel
1999 — conf
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.
Ershov Memorial Conference
Niels H. Christensen, Robert Glück, Søren Laursen
1999 J jnl
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
J. Log. Program.
Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
1998 J jnl
1998 Symposium on Partial Evaluation.
ACM Comput. Surv.
Olivier Danvy, Robert Glück, Peter Thiemann
1998 C conf
Generalization in Hierarchies of Online Program Specialization Systems.
LOPSTR
Robert Glück, John Hatcliff, Jesper Jørgensen
1998 — conf
Generative Programming and Active Libraries.
Generic Programming
Krzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen
1998 — conf
Introduction to Supercompilation.
Partial Evaluation
Morten Heine Sørensen, Robert Glück
1998 — conf
Multi-Level Specialization (Extended Abstract).
Partial Evaluation
Robert Glück, Jesper Jørgensen
1998 J jnl
On the Degeneration of Program Generators by Program Composition.
New Gener. Comput.
Robert Glück, Andrei V. Klimov
1998 — conf
Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages.
Fuji International Symposium on Functional and Logic Programming
Sergei M. Abramov, Robert Glück
1997 J jnl
A Regeneration Scheme for Generating Extensions.
Inf. Process. Lett.
Robert Glück, Andrei V. Klimov
1997 J jnl
An Automatic Program Generator for Multi-Level Specialization.
LISP Symb. Comput.
Robert Glück, Jesper Jørgensen
1996 J jnl
A Positive Supercompiler.
J. Funct. Program.
Morten Heine Sørensen, Robert Glück, Neil D. Jones
1996 — conf
A Roadmap to Metacomputation by Supercompilation.
Dagstuhl Seminar on Partial Evaluation
Robert Glück, Morten Heine Sørensen
1996 Misc conf
Bootstrapping higher-order program transformers from interpreters.
SAC
Michael Sperber, Robert Glück, Peter Thiemann
1996 — conf
Controlling Conjunctive Partial Deduction.
PLILP
Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
1996 — conf
Fast Binding-Time Analysis for Multi-Level Specialization.
Ershov Memorial Conference
Robert Glück, Jesper Jørgensen
1996 — ed.
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers
Dagstuhl Seminar on Partial Evaluation
Olivier Danvy, Robert Glück, Peter Thiemann
1996 — conf
Reasoning about Hierarchies of Online Program Specialization Systems.
Dagstuhl Seminar on Partial Evaluation
John Hatcliff, Robert Glück
1995 — conf
An Algorithm of Generalization in Positive Supercompilation.
ILPS
Morten Heine Sørensen, Robert Glück
1995 — conf
Efficient Multi-level Generating Extensions for Program Specialization
PLILP
Robert Glück, Jesper Jørgensen
1995 J jnl
Fortran Program Specialization.
ACM SIGPLAN Notices
Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück
1995 C conf
On the Mechanics of Metasystem Hierarchies in Program Transformation.
LOPSTR
Robert Glück
1994 — conf
Generating Optimizing Specializers.
ICCL
Robert Glück, Jesper Jørgensen
1994 B conf
Generating Transformers for Deforestation and Supercompilation.
SAS
Robert Glück, Jesper Jørgensen
1994 J jnl
On the Generation of Specializers.
J. Funct. Program.
Robert Glück
1994 — conf
Partial Deduction and Driving are Equivalent.
PLILP
Robert Glück, Morten Heine Sørensen
1994 C conf
Partial Evaluation of Numerical Programs in Fortran.
PEPM
Romana Baier, Robert Glück, Robert Zöchling
1994 A conf
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.
ESOP
Morten Heine Sørensen, Robert Glück, Neil D. Jones
1993 — conf
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree.
WSA
Robert Glück, Andrei V. Klimov
1991 C conf
Towards Multiple Self-Application.
PEPM
Robert Glück
1990 B conf
Application of Metasystem Transition to Function Inversion and Transformation.
ISSAC
Robert Glück, Valentin F. Turchin
1987 J jnl
OC-FP, An applicative language combination with occam and the algebra of processes.
Microprocess. Microprogramming
Robert Glück, Christian Demuth