default search action
Robert Glück
Person information
- affiliation: University of Copenhagen, Department of Computer Science, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c76]Louis Normann, Robert Glück:
Partial Evaluation of Reversible Flowchart Programs. PEPM 2024: 119-133 - [c75]Therese Lyngby
, Rasmus Ross Nylandsted
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. RC 2024: 94-102 - 2023
- [j35]Robert Glück
Reversible computing from a programming language perspective. Theor. Comput. Sci. 953: 113429 (2023) - [c74]Robert Glück
Towards a Taxonomy for Reversible Computation Approaches. RC 2023: 24-39 - [c73]Jonas Wolpers Reholt, Robert Glück
Towards a Dereversibilizer: Fewer Asserts, Statically. RC 2023: 106-114 - [e5]Robert Glück
Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Lecture Notes in Computer Science 14330, Springer 2023, ISBN 978-3-031-45783-8 [contents] - 2022
- [j34]Robert Glück
Making Programs Reversible with Minimal Extra Data. New Gener. Comput. 40(2): 467-480 (2022) - [j33]Robert Glück
From reversible programming languages to reversible metalanguages. Theor. Comput. Sci. 920: 46-63 (2022) - [c72]Robert Glück
Reversible Programming: A Case Study of Two String-Matching Algorithms. HCVS/VPT@ETAPS 2022: 1-13 - 2021
- [c71]Lasse Hay-Schmidt, Robert Glück
Towards a Unified Language Architecture for Reversible Object-Oriented Programming. RC 2021: 96-106 - [c70]Maria Bendix Mikkelsen, Robert Glück
An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion. VPT@ETAPS 2021: 33-41 - 2020
- [c69]Kanae Tsushima, Bach Nguyen Trong, Robert Glück
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS 2020: 159-178 - [c68]Maja H. Kirkeby
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. PPDP 2020: 9:1-9:14 - [c67]John P. Gallagher
An Experiment Combining Specialization with Abstract Interpretation. VPT/HCVS@ETAPS 2020: 155-158 - [p3]Bogdan Aman
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p2]Claudio Antares Mezzina, Rudolf Schlatte
Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 2020: 41-59 - [p1]Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. Selected Results of the COST Action IC1405 2020: 187-207
2010 – 2019
- 2019
- [j32]Robert Glück
Constructing a binary tree from its traversals by reversible recursion and iteration. Inf. Process. Lett. 147: 32-37 (2019) - [c66]Robert Glück
Reversible Programs Have Reversible Semantics. FM Workshops (2) 2019: 413-427 - [c65]Maja Hanne Kirkeby
Semi-inversion of Conditional Constructor Term Rewriting Systems. LOPSTR 2019: 243-259 - 2018
- [j31]Robert Glück
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. Log. Methods Comput. Sci. 14(3) (2018) - [j30]Robert Glück
Reversible Computing: Foundations and Software - Preface of Special Issue. New Gener. Comput. 36(3): 143-144 (2018) - [c64]Martin Holm Cservenka
Data Structures and Dynamic Memory Management in Reversible Languages. RC 2018: 269-285 - [c63]Robert Glück
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. MARS/VPT@ETAPS 2018: 169-184 - [c62]Robert Glück
A Categorical Foundation for Structured Reversible Flowchart Languages. MFPS 2018: 155-171 - 2017
- [j29]Robert Glück
A Minimalist's Reversible While Language. IEICE Trans. Inf. Syst. 100-D(5): 1026-1034 (2017) - [j28]Robin Kaarsgaard
Join inverse categories and reversible recursion. J. Log. Algebraic Methods Program. 87: 33-50 (2017) - [c61]Tue Haulund, Torben Ægidius Mogensen, Robert Glück
Implementing Reversible Object-Oriented Language Features on Reversible Machines. RC 2017: 66-73 - [i2]Robert Glück, Robin Kaarsgaard:
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. CoRR abs/1710.03666 (2017) - 2016
- [j27]Holger Bock Axelsen
On reversible Turing machines and their function universality. Acta Informatica 53(5): 509-543 (2016) - [j26]Robert Glück, Tetsuo Yokoyama:
A Linear-Time Self-Interpreter of a Reversible Imperative Language. Inf. Media Technol. 11: 160-180 (2016) - [j25]Tetsuo Yokoyama, Holger Bock Axelsen
Fundamentals of reversible flowchart languages. Theor. Comput. Sci. 611: 87-115 (2016) - [c60]Robert Glück
A Practical Simulation Result for Two-Way Pushdown Automata. CIAA 2016: 113-124 - [c59]Holger Bock Axelsen, Robert Glück
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. WoLLIC 2016: 52-67 - 2015
- [c58]Robert Glück
Maximally-Polyvariant Partial Evaluation in Polynomial Time. Ershov Memorial Conference 2015: 130-148 - 2014
- [j24]Alexis De Vos, Stéphane Burignat, Robert Glück
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. ACM J. Emerg. Technol. Comput. Syst. 11(2): 11:1-11:15 (2014) - 2013
- [c57]Holger Bock Axelsen, Robert Glück:
Reversible Representation and Manipulation of Constructor Terms in the Heap. RC 2013: 96-109 - [c56]Robert Glück
Simulation of Two-Way Pushdown Automata Revisited. Festschrift for Dave Schmidt 2013: 250-258 - [e4]Robert Glück, Tetsuo Yokoyama:
Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Lecture Notes in Computer Science 7581, Springer 2013, ISBN 978-3-642-36314-6 [contents] - 2012
- [j23]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück:
Optimizing Reversible Simulation of Injective Functions. J. Multiple Valued Log. Soft Comput. 18(1): 5-24 (2012) - [j22]Robert Glück
A self-applicable online partial evaluator for recursive flowchart languages. Softw. Pract. Exp. 42(6): 649-673 (2012) - [c55]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Minimizing Garbage Size by Generating Reversible Simulations. ICNC 2012: 379-387 - [c54]Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
Cleaning Up: Garbage-Free Reversible Circuits by Design Languages. ISED 2012: 6-10 - 2011
- [j21]Robert Glück
Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005). Sci. Comput. Program. 76(5): 347-348 (2011) - [c53]Robert Glück
Bootstrapping Compiler Generators from Partial Evaluators. Ershov Memorial Conference 2011: 125-141 - [c52]Holger Bock Axelsen, Robert Glück
What Do Reversible Programs Compute? FoSSaCS 2011: 42-56 - [c51]Holger Bock Axelsen, Robert Glück:
A Simple and Efficient Universal Reversible Turing Machine. LATA 2011: 117-128 - [c50]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Towards a Reversible Functional Language. RC 2011: 14-29 - [c49]Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
A Reversible Processor Architecture and Its Reversible Logic Design. RC 2011: 30-42 - 2010
- [j20]Robert Glück
Self-generating program specializers. Inf. Process. Lett. 110(17): 787-793 (2010)
2000 – 2009
- 2009
- [c48]Robert Glück
An Experiment with the Fourth Futamura Projection. Ershov Memorial Conference 2009: 135-150 - [c47]Robert Glück
Is there a fourth Futamura projection? PEPM 2009: 51-60 - [i1]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) - 2008
- [j19]Michael Kirkedal Thomsen, Robert Glück
Optimized reversible binary-coded decimal adders. J. Syst. Archit. 54(7): 697-706 (2008) - [j18]Robert Glück
An investigation of Jones optimality and BTI-universal specializers. High. Order Symb. Comput. 21(3): 283-309 (2008) - [c46]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Principles of a reversible programming language. Conf. Computing Frontiers 2008: 43-54 - [c45]Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Reversible Flowchart Languages and the Structured Reversible Program Theorem. ICALP (2) 2008: 258-270 - [e3]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, ISBN 978-1-59593-977-7 [contents] - 2007
- [c44]Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama:
Reversible Machine Code and Its Abstract Processor Architecture. CSR 2007: 56-69 - [c43]Tetsuo Yokoyama, Robert Glück
A reversible programming language and its invertible self-interpreter. PEPM 2007: 144-153 - 2006
- [c42]Johan Gade, Robert Glück:
On Jones-Optimal Specializers: A Case Study Using Unmix. APLAS 2006: 406-422 - [c41]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
- [j17]Robert Glück, Masahiko Kawabe:
A Method for Automatic Program Inversion Based on LR(0) Parsing. Fundam. Informaticae 66(4): 367-395 (2005) - [j16]Robert Glück
Revisiting an automatic program inverter for Lisp. ACM SIGPLAN Notices 40(5): 8-17 (2005) - [c40]Masahiko Kawabe, Robert Glück:
The Program Inverter LRinv and Its Structure. PADL 2005: 219-234 - [e2]Robert Glück, Michael R. Lowry:
Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings. Lecture Notes in Computer Science 3676, Springer 2005, ISBN 3-540-29138-5 [contents] - 2004
- [j15]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) - [c39]Robert Glück, Masahiko Kawabe:
Derivation of Deterministic Inverse Programs Based on LR Parsing. FLOPS 2004: 291-306 - 2003
- [c38]Robert Glück, Masahiko Kawabe:
A Program Inverter for a Functional Language with Equality and Constructors. APLAS 2003: 246-264 - [c37]Robert Glück:
The Translation Power of the Futamura Projections. Ershov Memorial Conference 2003: 133-147 - [c36]Robert Glück, Youhei Kawada, Takuya Hashimoto:
Transforming interpreters into inverse interpreters by partial evaluation. PEPM 2003: 10-19 - 2002
- [j14]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) - [c35]Robert Glück, Masahiko Kawabe:
An Automatic Program Inverter for Lisp: Potential and Limitations. APLAS 2002: 230-245 - [c34]Sergei M. Abramov, Robert Glück:
Principles of Inverse Computation and the Universal Resolving Algorithm. The Essence of Computation 2002: 269-295 - [c33]Yoshihiko Futamura, Zenjiro Konishi, Robert Glück:
WSDFU: Program Transformation System Based on Generalized Partial Computation. The Essence of Computation 2002: 358-378 - [c32]Yoshihiko Futamura, Zenjiro Konishi, Robert Glück:
Automatic generation of efficient string matching algorithms by generalized partial computation. ASIA-PEPM 2002: 1-8 - [c31]Robert Glück:
Jones optimality, binding-time improvements, and the strength of program specializers. ASIA-PEPM 2002: 9-19 - 2001
- [j13]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) - [j12]Robert Glück
Partial Evaluation and Program Transformation Day - Guest Editor's Preface. New Gener. Comput. 20(1): 1-2 (2001) - [j11]Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
Program Transformation System Based on Generalized Partial Computation. New Gener. Comput. 20(1): 75-100 (2001) - [c30]Robert Glück:
Jones Optimality and the Strength of Program Specializers. APLAS 2001: 103-116 - [c29]Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura:
On Deforesting Parameters of Accumulating Maps. LOPSTR 2001: 46-56 - [c28]Armin Kühnemann, Robert Glück, Kazuhiko Kakehi:
Relating Accumulative and Non-accumulative Functional Programs. RTA 2001: 154-168 - 2000
- [j10]Danny De Schreye
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". J. Log. Program. 43(3): 265 (2000) - [c27]Sergei M. Abramov, Robert Glück:
Principles of Inverse Computation in a Functional Language. APLAS 2000: 141-152 - [c26]Yoshihiko Futamura, Zenjiro Konishi, Robert Glück:
Automatic Generation of Very Efficient Programs by Generalized Partial Computation. APLAS 2000: 183-191 - [c25]Sergei M. Abramov, Robert Glück:
Combining Semantics with Non-standard Interpreter Hierarchies. FSTTCS 2000: 201-213 - [c24]Sergei M. Abramov, Robert Glück:
The Universal Resolving Algorithm: Inverse Computation in a Functional Language. MPC 2000: 187-212
1990 – 1999
- 1999
- [j9]Danny De Schreye
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. J. Log. Program. 41(2-3): 231-277 (1999) - [c23]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 - [c22]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 - 1998
- [j8]Olivier Danvy
1998 Symposium on Partial Evaluation. ACM Comput. Surv. 30(3): 285-290 (1998) - [j7]Robert Glück
On the Degeneration of Program Generators by Program Composition. New Gener. Comput. 16(1): 75-96 (1998) - [c21]Krzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen:
Generative Programming and Active Libraries. Generic Programming 1998: 25-39 - [c20]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 - [c19]Robert Glück, John Hatcliff, Jesper Jørgensen:
Generalization in Hierarchies of Online Program Specialization Systems. LOPSTR 1998: 179-198 - [c18]Morten Heine Sørensen, Robert Glück
Introduction to Supercompilation. Partial Evaluation 1998: 246-270 - [c17]Robert Glück
Multi-Level Specialization (Extended Abstract). Partial Evaluation 1998: 326-337 - 1997
- [j6]Robert Glück, Andrei V. Klimov
A Regeneration Scheme for Generating Extensions. Inf. Process. Lett. 62(3): 127-134 (1997) - [j5]Robert Glück, Jesper Jørgensen:
An Automatic Program Generator for Multi-Level Specialization. LISP Symb. Comput. 10(2): 113-158 (1997) - 1996
- [j4]Morten Heine Sørensen, Robert Glück, Neil D. Jones:
A Positive Supercompiler. J. Funct. Program. 6(6): 811-838 (1996) - [c16]Robert Glück
A Roadmap to Metacomputation by Supercompilation. Dagstuhl Seminar on Partial Evaluation 1996: 137-160 - [c15]John Hatcliff, Robert Glück
Reasoning about Hierarchies of Online Program Specialization Systems. Dagstuhl Seminar on Partial Evaluation 1996: 161-182 - [c14]Robert Glück, Jesper Jørgensen:
Fast Binding-Time Analysis for Multi-Level Specialization. Ershov Memorial Conference 1996: 261-272 - [c13]Robert Glück
Controlling Conjunctive Partial Deduction. PLILP 1996: 152-166 - [c12]Michael Sperber, Robert Glück
Bootstrapping higher-order program transformers from interpreters. SAC 1996: 408-413 - [e1]Olivier Danvy
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Lecture Notes in Computer Science 1110, Springer 1996, ISBN 3-540-61580-6 [contents] - 1995
- [j3]Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück
Fortran Program Specialization. ACM SIGPLAN Notices 30(4): 61-70 (1995) - [c11]Robert Glück:
On the Mechanics of Metasystem Hierarchies in Program Transformation. LOPSTR 1995: 234-251 - [c10]Robert Glück
Efficient Multi-level Generating Extensions for Program Specialization. PLILP 1995: 259-278 - [c9]Morten Heine Sørensen, Robert Glück:
An Algorithm of Generalization in Positive Supercompilation. ILPS 1995: 465-479 - 1994
- [j2]Robert Glück
On the Generation of Specializers. J. Funct. Program. 4(4): 499-514 (1994) - [c8]Morten Heine Sørensen, Robert Glück, Neil D. Jones:
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. ESOP 1994: 485-500 - [c7]Robert Glück, Jesper Jørgensen:
Generating Optimizing Specializers. ICCL 1994: 183-194 - [c6]Romana Baier, Robert Glück, Robert Zöchling:
Partial Evaluation of Numerical Programs in Fortran. PEPM 1994: 119-132 - [c5]Robert Glück, Morten Heine Sørensen:
Partial Deduction and Driving are Equivalent. PLILP 1994: 165-181 - [c4]Robert Glück, Jesper Jørgensen:
Generating Transformers for Deforestation and Supercompilation. SAS 1994: 432-448 - 1993
- [c3]Robert Glück
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. WSA 1993: 112-123 - 1991
- [c2]Robert Glück:
Towards Multiple Self-Application. PEPM 1991: 309-320 - 1990
- [c1]Robert Glück, Valentin F. Turchin:
Application of Metasystem Transition to Function Inversion and Transformation. ISSAC 1990: 286-287
1980 – 1989
- 1987
- [j1]Robert Glück, Christian Demuth:
OC-FP, An applicative language combination with occam and the algebra of processes. Microprocess. Microprogramming 21(1-5): 549-557 (1987)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-27 22:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: