Robert Glück
Professor
- 2023
- Udgivet
Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Glück, Robert (red.) & Kafle, B. (red.), 2023, Springer. 211 s. (Lecture Notes in Computer Science, Bind 14330).Publikation: Bog/antologi/afhandling/rapport › Antologi
- Udgivet
Reversible computing from a programming language perspective
Glück, Robert & Yokoyama, T., 2023, I: Theoretical Computer Science. 953, 26 s., 113429.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Towards a Dereversibilizer: Fewer Asserts, Statically
Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (red.). Springer, s. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (red.). Springer, s. 24-39 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2022
- Udgivet
From reversible programming languages to reversible metalanguages
Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, I: Theoretical Computer Science. 920, s. 46-63 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Making programs reversible with minimal extra data
Glück, Robert & Yokoyama, T., 2022, I: New Generation Computing. 40, 2, s. 467-480Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Reversible programming: a case study of two string-matching algorithms
Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (red.). arXiv.org, s. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 373).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2021
- Udgivet
An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion
Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (red.). arxiv.org, s. 33-41 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 341).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Towards a unified language architecture for reversible object-oriented programming
Hay-Schmidt, L., Glück, Robert, Cservenka, M. H. & Haulund, T., 2021, Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. Yamashita, S. & Yokoyama, T. (red.). Springer, s. 96-106 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12805 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2020
- Udgivet
An efficient composition of bidirectional programs by memoization and lazy update
Tsushima, K., Trong, B. N., Glück, Robert & Hu, Z., 2020, Functional and Logic Programming.: 15th International Symposium, FLOPS 2020 Akita, Japan, September 14–16, 2020 Proceedings. Nakano, K. & Sagonas, K. (red.). Springer, s. 159-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12073 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
An experiment combining specialization with abstract interpretation
Gallagher, J. P. & Glück, Robert, 2020, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. arXiv.org, s. 155-158 4 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 320).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Foundations of reversible computation
Aman, B., Ciobanu, G., Glück, Robert, Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (red.). Springer VS, s. 1-40 40 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Inversion framework: reasoning about inversion by conditional term rewriting systems
Kirkeby, M. H. & Glück, Robert, 2020, PPDP '20: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 14 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible computing from a programming language perspective (extended abstract)
Glück, Robert, 2020, Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Springer VS, Bind 2. s. 410-412 3 s. (Lecture Notes in Computer Science, Bind 12233).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (red.). Springer VS, s. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible programs have reversible semantics
Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2020, Formal Methods. FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (red.). Springer VS, s. 413-427 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12233 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Semi-inversion of conditional constructor term rewriting systems
Kirkeby, M. H. & Glück, Robert, 2020, Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (red.). Springer, s. 243-259 (Lecture Notes in Computer Science, Bind 12042).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Software and reversible systems: A survey of recent activities
Mezzina, C. A., Schlatte, R., Glück, Robert, Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, Torben Ægidius, Siljak, H., Schultz, U. P. & Ulidowski, I., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (red.). Springer VS, s. 41-59 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2019
- Udgivet
Constructing a binary tree from its traversals by reversible recursion and iteration
Glück, Robert & Yokoyama, T., 2019, I: Information Processing Letters. 147, s. 32-37 6 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- 2018
- Udgivet
A categorical foundation for structured reversible flowchart languages
Glück, Robert & Kaarsgaard, R., 2018, I: Electronic Notes in Theoretical Computer Science. 336, s. 155-171Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Glück, Robert & Kaarsgaard, R., 2018, I: Logical Methods in Computer Science. 14, 3, 38 s., 16.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
An experiment in ping-pong protocol verification by nondeterministic pushdown automata
Glück, Robert, 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Proceedings. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (red.). Open Publishing Association, s. 169-184 (Electronic Proceedings in Theoretical Computer Science, Bind 268).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Data structures and dynamic memory management in reversible languages
Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible computing: foundations and software: Preface of Special Issue
Glück, Robert & Yokoyama, T., 2018, I: New Generation Computing. 36, 3, s. 143-144Publikation: Bidrag til tidsskrift › Leder
- 2017
- Udgivet
A minimalist’s reversible while language
Glück, Robert & Yokoyama, T., maj 2017, I: IEICE Transactions on Information and Systems. E100-D, 5, s. 1026-1034 9 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Implementing reversible object-oriented language features on reversible machines
Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (red.). Springer, s. 66-73 8 s. (Lecture notes in computer science, Bind 10301).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Join inverse categories and reversible recursion
Kaarsgaard, R., Axelsen, H. B. & Glück, Robert, 2017, I: Journal of Logical and Algebraic Methods in Programming. 87, s. 33-50 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- 2016
- Udgivet
A classical propositional logic for reasoning about reversible logic circuits
Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A linear-time self-interpreter of a reversible imperative language
Glück, Robert & Yokoyama, T., 2016, I: Computer Software. 33, 3, s. 108-128 21 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
A practical simulation result for two-way pushdown automata
Glück, Robert, 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (red.). Springer, s. 113-124 (Lecture Notes in Computer Science; Nr. 9705).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Fundamentals of reversible flowchart languages
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2016, I: Theoretical Computer Science. 611, s. 87-115 29 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Introduction to Valentin Turchin’s cybernetic foundation of mathematics
Glück, Robert & Klimov, A. V., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (red.). University of Pereslavl, s. 26-31Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Maximally-polyvariant partial evaluation in polynomial time
Glück, Robert, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (red.). Springer, s. 130-148 19 s. (Lecture notes in computer science, Bind 9609).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Nonlinear configurations for superlinear speedup by supercompilation
Glück, Robert, Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (red.). University of Pereslavl, s. 32-51 20 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
On reversible Turing machines and their function universality
Axelsen, H. B. & Glück, Robert, 2016, I: Acta Informatica. 53, 5, s. 509-543 35 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- 2014
- Udgivet
Designing garbage-free reversible implementations of the integer cosine transform
De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- 2013
- Udgivet
Cleaning up: garbage-free reversible circuits by design languages
Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, s. 6-10 5 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible Computation. Proceedings: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers
Glück, Robert (red.) & Yokoyama, T. (red.), 2013, Springer. 241 s. (Lecture notes in computer science, Bind 7581).Publikation: Bog/antologi/afhandling/rapport › Antologi › fagfællebedømt
- Udgivet
Reversible representation and manipulation of constructor terms in the heap
Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (red.). Springer, s. 96-109 14 s. (Lecture notes in computer science, Bind 7948).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Simulation of two-way pushdown automata revisited
Glück, Robert, 2013, Semantics, abstract interpretation, and reasoning about programs. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (red.). Bind 129. s. 250-258 9 s. (Electronic Proceedings in Theoretical Computer Science).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- 2012
- Udgivet
A reversible processor architecture and its reversible logic design
Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 30-42 13 s. (Lecture notes in computer science, Bind 7165).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A self-applicable online partial evaluator for recursive flowchart languages
Glück, Robert, 2012, I: Software: Practice & Experience. 42, 6, s. 649-673 25 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Bootstrapping compiler generators from partial evaluators
Glück, Robert, 2012, Perspectives of System Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (red.). Springer, s. 125-141 17 s. (Lecture notes in computer science, Bind 7162).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Minimizing garbage size by generating reversible simulations
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Proceedings of the 2012 Third International Conference on Networking and Computing (ICNC). IEEE, s. 379-387 9 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Optimizing reversible simulation of injective functions
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 5-24 20 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › fagfællebedømt
- Udgivet
Towards a reversible functional language
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 14-29 16 s. (Lecture notes in computer science, Bind 7165).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2011
- Udgivet
A simple and efficient universal reversible Turing machine
Axelsen, H. B. & Glück, Robert, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (red.). Springer, s. 117-128 12 s. (Lecture notes in computer science, Bind 6638).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
International Workshop on Program Understanding. Proceedings
Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 s.Publikation: Bog/antologi/afhandling/rapport › Antologi
- Udgivet
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Glück, Robert (red.), Henglein, Fritz (red.), Hu, Z. (red.) & Takeichi, M. (red.), 2011, Department of Computer Science, University of Copenhagen. 280 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2011/01).Publikation: Bog/antologi/afhandling/rapport › Antologi
- Udgivet
Special issue on generative programming and component engineering
Glück, Robert & Visser, E., 2011, I: Science of Computer Programming. 76, 5, s. 347-348 2 s.Publikation: Bidrag til tidsskrift › Leder
ID: 9668
Flest downloads
-
253
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi
Udgivet -
199
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
Udgivet -
117
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet