Robert Glück

Robert Glück

Professor

Member of:


    1. 2023
    2. Published

      Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

      Glück, Robert (ed.) & Kafle, B. (ed.), 2023, Springer. 211 p. (Lecture Notes in Computer Science, Vol. 14330).

      Research output: Book/ReportAnthology

    3. Published

      Reversible computing from a programming language perspective

      Glück, Robert & Yokoyama, T., 2023, In: Theoretical Computer Science. 953, 26 p., 113429.

      Research output: Contribution to journalJournal articlepeer-review

    4. Published

      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. (eds.). Springer, p. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    5. Published

      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. (eds.). Springer, p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    6. 2022
    7. Published

      From reversible programming languages to reversible metalanguages

      Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, In: Theoretical Computer Science. 920, p. 46-63 18 p.

      Research output: Contribution to journalJournal articlepeer-review

    8. Published

      Making programs reversible with minimal extra data

      Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480

      Research output: Contribution to journalJournal articlepeer-review

    9. Published

      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. (eds.). arXiv.org, p. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 373).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    10. 2021
    11. Published

      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. (eds.). arxiv.org, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 341).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    12. Published

      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. (eds.). Springer, p. 96-106 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12805 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    13. 2020
    14. Published

      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. (eds.). Springer, p. 159-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12073 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    15. Published

      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, p. 155-158 4 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 320).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    16. Published

      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. (eds.). Springer VS, p. 1-40 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    17. Published

      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 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    18. Published

      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, Vol. 2. p. 410-412 3 p. (Lecture Notes in Computer Science, Vol. 12233).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    19. Published

      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. (eds.). Springer VS, p. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    20. Published

      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. (eds.). Springer VS, p. 413-427 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12233 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    21. Published

      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. (ed.). Springer, p. 243-259 (Lecture Notes in Computer Science, Vol. 12042).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    22. Published

      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. (eds.). Springer VS, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    23. 2019
    24. Published

      Constructing a binary tree from its traversals by reversible recursion and iteration

      Glück, Robert & Yokoyama, T., 2019, In: Information Processing Letters. 147, p. 32-37 6 p.

      Research output: Contribution to journalJournal articlepeer-review

    25. 2018
    26. Published

      A categorical foundation for structured reversible flowchart languages

      Glück, Robert & Kaarsgaard, R., 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171

      Research output: Contribution to journalJournal articlepeer-review

    27. Published

      A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

      Glück, Robert & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.

      Research output: Contribution to journalJournal articlepeer-review

    28. Published

      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. (eds.). Open Publishing Association, p. 169-184 (Electronic Proceedings in Theoretical Computer Science, Vol. 268).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    29. Published

      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. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    30. Published

      Reversible computing: foundations and software: Preface of Special Issue

      Glück, Robert & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144

      Research output: Contribution to journalEditorial

    31. 2017
    32. Published

      A minimalist’s reversible while language

      Glück, Robert & Yokoyama, T., May 2017, In: IEICE Transactions on Information and Systems. E100-D, 5, p. 1026-1034 9 p.

      Research output: Contribution to journalJournal articlepeer-review

    33. Published

      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. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    34. Published

      Join inverse categories and reversible recursion

      Kaarsgaard, R., Axelsen, H. B. & Glück, Robert, 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.

      Research output: Contribution to journalJournal articlepeer-review

    35. 2016
    36. Published

      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. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    37. Published

      A linear-time self-interpreter of a reversible imperative language

      Glück, Robert & Yokoyama, T., 2016, In: Computer Software. 33, 3, p. 108-128 21 p.

      Research output: Contribution to journalJournal articlepeer-review

    38. Published

      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. (eds.). Springer, p. 113-124 (Lecture Notes in Computer Science; No. 9705).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    39. Published

      Fundamentals of reversible flowchart languages

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2016, In: Theoretical Computer Science. 611, p. 87-115 29 p.

      Research output: Contribution to journalJournal articlepeer-review

    40. Published

      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. (eds.). University of Pereslavl, p. 26-31

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    41. Published

      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. (eds.). Springer, p. 130-148 19 p. (Lecture notes in computer science, Vol. 9609).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    42. Published

      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. (eds.). University of Pereslavl, p. 32-51 20 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    43. Published

      On reversible Turing machines and their function universality

      Axelsen, H. B. & Glück, Robert, 2016, In: Acta Informatica. 53, 5, p. 509-543 35 p.

      Research output: Contribution to journalJournal articlepeer-review

    44. 2014
    45. Published

      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, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.

      Research output: Contribution to journalJournal articlepeer-review

    46. 2013
    47. Published

      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, p. 6-10 5 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    48. Published

      Reversible Computation. Proceedings: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

      Glück, Robert (ed.) & Yokoyama, T. (ed.), 2013, Springer. 241 p. (Lecture notes in computer science, Vol. 7581).

      Research output: Book/ReportAnthologypeer-review

    49. Published

      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. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    50. Published

      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. (eds.). Vol. 129. p. 250-258 9 p. (Electronic Proceedings in Theoretical Computer Science).

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    51. 2012
    52. Published

      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. (eds.). Springer, p. 30-42 13 p. (Lecture notes in computer science, Vol. 7165).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    53. Published

      A self-applicable online partial evaluator for recursive flowchart languages

      Glück, Robert, 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.

      Research output: Contribution to journalJournal articlepeer-review

    54. Published

      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. (eds.). Springer, p. 125-141 17 p. (Lecture notes in computer science, Vol. 7162).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    55. Published

      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, p. 379-387 9 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    56. Published

      Optimizing reversible simulation of injective functions

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, In: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, p. 5-24 20 p.

      Research output: Contribution to journalConference articlepeer-review

    57. Published

      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. (eds.). Springer, p. 14-29 16 p. (Lecture notes in computer science, Vol. 7165).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    58. 2011
    59. Published

      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. (eds.). Springer, p. 117-128 12 p. (Lecture notes in computer science, Vol. 6638).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    60. Published

      International Workshop on Program Understanding. Proceedings

      Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 p.

      Research output: Book/ReportAnthology

    61. Published

      Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

      Glück, Robert (ed.), Henglein, Fritz (ed.), Hu, Z. (ed.) & Takeichi, M. (ed.), 2011, Department of Computer Science, University of Copenhagen. 280 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2011/01).

      Research output: Book/ReportAnthology

    62. Published

      Special issue on generative programming and component engineering

      Glück, Robert & Visser, E., 2011, In: Science of Computer Programming. 76, 5, p. 347-348 2 p.

      Research output: Contribution to journalEditorial

    63. Published

      What do reversible programs compute?

      Axelsen, H. B. & Glück, Robert, 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (ed.). Springer, p. 42-56 15 p. (Lecture notes in computer science, Vol. 6604).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    64. 2010
    65. Published

      An experiment with the fourth Futamura projection

      Glück, Robert, 2010, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 135-150 16 p. (Lecture notes in computer science, Vol. 5947).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    66. Published

      Reversible arithmetic logic unit for quantum arithmetic

      Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, In: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 p., 382002.

      Research output: Contribution to journalJournal articlepeer-review

    67. Published

      Self-generating program specializers

      Glück, Robert, 2010, In: Information Processing Letters. 110, 17, p. 787-793 7 p.

      Research output: Contribution to journalJournal articlepeer-review

    68. 2009
    69. Published

      Implementation of an experimental system for automatic program transformation based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2009. 10 p.

      Research output: Contribution to conferencePaperResearchpeer-review

    70. Published

      International Workshop on Program Understanding. Proceedings

      Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2009, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 63 p.

      Research output: Book/ReportAnthology

    71. Published

      Is there a fourth Futamura projection?

      Glück, Robert, 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 51-60 10 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    72. Published

      MicroPower - Towards Low-power Microprocessors with Reversible Computing

      Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, In: ERCIM News. 79, p. 20-21 2 p.

      Research output: Contribution to journalJournal article

    73. 2008
    74. Published

      An investigation of Jones optimality and BTI-universal specializers

      Glück, Robert, 2008, In: Higher-Order and Symbolic Computation. 21, 3, p. 283-309

      Research output: Contribution to journalJournal articlepeer-review

    75. Published

      Optimized Reversible Binary-Coded Decimal Adders

      Thomsen, Michael Kirkedal & Glück, Robert, 2008, In: Journal of Systems Architecture. 54, 7, p. 697-706 9 p.

      Research output: Contribution to journalJournal articlepeer-review

    76. Published

      Principles of a reversible programming language

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Conference on Computing Frontiers, CF 2008: Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italy May 5-7, 2008. Association for Computing Machinery, p. 43-54

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    77. Published

      Reversible flowchart languages and the structured reversible program theorem

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Automata, Languages and Programming: 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings. Part II. Aceto, L., Damgaard, I., Goldberg, L. A., Halldorsson, M. M., Ingolfsdottir, A. & Walukiewicz, I. (eds.). Springer, p. 258-270 (Lecture notes in computer science; No. 5126).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    78. Published

      Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Proceedings

      Glück, Robert (ed.) & Moor, O. D. (ed.), 2008, New York: Association for Computing Machinery. 204 p.

      Research output: Book/ReportAnthologypeer-review

    79. 2007
    80. Published

      A reversible programming language and its invertible self-interpreter

      Yokoyama, T. & Glück, Robert, 2007, PEPM 2007: Proceedings of the Workshop on Partial Evaluation and Program Manipulation, Nice, France, January 15-16, 2007. Association for Computing Machinery, p. 144-153

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    81. Published

      A universal resolving algorithm for inverse computation of lazy languages

      Abramov, S. M., Glück, Robert & Klimov, Y., 2007, Perspectives of Systems Informatics. Proceedings. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 27-40 (Lecture notes in computer science; No. 4378).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    82. Published

      Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software

      Glück, Robert (ed.) & Hagiya, M. (ed.), 2007, Department of Computer Science, University of Copenhagen. 172 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2007/07).

      Research output: Book/ReportAnthology

    83. Published

      Reversible machine code and its abstract processor architecture

      Axelsen, H. B., Glück, Robert & Yokoyama, T., 2007, Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Diekert, V., Volkov, M. & Voronkov, A. (eds.). Springer, p. 56-69 (Lecture notes in computer science; No. 4649).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    84. 2006
    85. Published

      On Jones-optimal specializers: a case study using Unmix

      Gade, J. & Glück, Robert, 2006, Programming Languages and Systems. Proceedings. Kobayashi, N. (ed.). Springer, p. 406-422 (Lecture notes in computer science, Vol. 4279).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    86. Published

      Proceedings of the 2nd DIKU-IST Workshop on the Foundations of Software

      Glück, Robert (ed.) & Hu, Z. (ed.), 2006, Department of Computer Science, University of Copenhagen. 174 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2006/07).

      Research output: Book/ReportAnthology

    87. Published

      Reversible structured program theorem

      Yokoyama, T. & Glück, Robert, 2006, Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 3 p.

      Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

    88. 2005
    89. Published

      A method for automatic program inversion based on LR(0) parsing

      Glück, Robert & Kawabe, M., 2005, In: Fundamenta Informaticae. 66(4), p. 367-395

      Research output: Contribution to journalJournal articlepeer-review

    90. Published

      Generative Programming and Component Engineering. Proceedings

      Glück, Robert (ed.) & Lowry, M. (ed.), 2005, Springer Verlag. 448 p. (Lecture notes in computer science, Vol. 3676).

      Research output: Book/ReportBookpeer-review

    91. Published

      Proceedings of the 1st DIKU-IST Workshop on the Foundations of Software

      Glück, Robert (ed.) & Hu, Z. (ed.), 2005, Department of Computer Science, University of Copenhagen. 166 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2005/07).

      Research output: Book/ReportAnthology

    92. Published

      Revisiting an automatic program inverter for Lisp

      Glück, Robert & Kawabe, M., 2005, In: SIGPLAN Notices. 40, 5, p. 8-17

      Research output: Contribution to journalJournal article

    93. Published

      The program inverter LRinv and its structure

      Kawabe, M. & Glück, Robert, 2005, Practical Aspects of Declarative Languages. Proceedings. Hermenegildo, M. & Cabeza, D. (eds.). Springer Verlag, p. 219-234 (Lecture notes in computer science, Vol. 3350).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    94. 2004
    95. Published

      Derivation of deterministic inverse programs based on LR parsing

      Glück, Robert & Kawabe, M., 2004, Functional and Logic Programming. Proceedings. Springer Verlag, p. 291-306 (Lecture notes in computer science, Vol. 2998).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    96. Published

      Offline partial evaluation can be as accurate as online partial evaluation

      Christensen, N. H. & Glück, Robert, 2004, In: ACM Transactions on Programming Languages and Systems. 26, 1, p. 191-220

      Research output: Contribution to journalJournal articlepeer-review

    97. 2003
    98. Published

      A program inverter for a functional language with equality and constructors

      Glück, Robert & Kawabe, M., 2003, Programming Languages and Systems. Ohori, A. (ed.). Springer Verlag, Vol. 2895. p. 246-264

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    99. Published

      International Workshop on Program Understanding. Proceedings

      Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2003, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 111 p.

      Research output: Book/ReportAnthology

    100. Published

      The translation power of the Futamura projections

      Glück, Robert, 2003, Perspectives of System Informatics. Broy, M. & Zamulin, A. V. (eds.). Springer Verlag, p. 133-147 (Lecture notes in computer science, Vol. 2890).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    101. Published

      Transforming interpreters into inverse interpreters by partial evaluation

      Glück, Robert, Kawada, Y. & Hashimoto, T., 2003, Partial evaluation and semantics-based program manipulation. ACM Press, p. 10-19

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    102. 2002
    103. Published

      An extension of shortcut deforestation for accumulative list folding

      Kakehi, K., Futamura, Y. & Glück, Robert, 2002, In: IEICE Transactions on Information and Systems. E85-D, 9, p. 1372-1383

      Research output: Contribution to journalJournal articlepeer-review

    104. Published

      Automatic generation of a Boyer-Moore type pattern matcher by generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, IEEE International Conference on Systems, Man and Cybernetics. IEEE Press, p. 200-205

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    105. Automatic generation of efficient string matching algorithms by generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, p. 1-8

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    106. Published

      Jones optimality, binding-time improvements, and the strength of program specializers

      Glück, Robert, 2002, Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, p. 9-19

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    107. Published

      On deforesting parameters of accumulating maps

      Kakehi, K., Glück, Robert & Futamura, Y., 2002, Logic Based Program Synthesis and Transformation. Pettorossi, A. (ed.). Springer Verlag, p. 46-56 (Lecture notes in computer science, Vol. 2372).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    108. Principles of inverse computation and the universal resolving algorithm

      Abramov, S. M. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. & Sudborough, I. H. (eds.). Springer Verlag, p. 269-295 (Lecture notes in computer science, Vol. 2566).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    109. Published

      Program transformation system based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, In: New Generation Computing. 20, 1, p. 75-99

      Research output: Contribution to journalJournal articlepeer-review

    110. Published

      Special issue on partial evaluation and program transformation

      Glück, Robert & Futamura, Y., 2002, In: New Generation Computing. 20, 1, p. 1–2

      Research output: Contribution to journalEditorial

    111. Published

      The universal resolving algorithm and its correctness: inverse computation in a functional language

      Abramov, S. M. & Glück, Robert, 2002, In: Science of Computer Programming. 43, 2-3, p. 193-229

      Research output: Contribution to journalJournal articlepeer-review

    112. Published

      WSDFU: program transformation system based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. A. & Sudborough, I. H. (eds.). Springer Verlag, p. 358-378 (Lecture notes in computer science, Vol. 2566).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    113. 2001
    114. Published

      From standard to non-standard semantics by semantics modifiers

      Abramov, S. M. & Glück, Robert, 2001, In: International Journal of Foundations of Computer Science. 12, 2, p. 171-211

      Research output: Contribution to journalJournal articlepeer-review

    115. Recursion removal and introduction using assignments

      Kakehi, K., Glück, Robert & Futamura, Y., 2001, In: IPSJ Transactions on Programming. 42, SIG 7(PRO 11), p. 12-34

      Research output: Contribution to journalJournal articlepeer-review

    116. Relating accumulative and non-accumulative functional programs

      Kühnemann, A., Glück, Robert & Kakehi, K., 2001, Rewriting Techniques and Applications. Proceedings. Springer Verlag, p. 154-168 (Lecture notes in computer science, Vol. 2051).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    117. 2000
    118. Published

      A loop optimization technique based on quasi-invariance

      Song, L., Futamura, Y., Glück, Robert & Hu, Z., 2000, International Conference on Software Theory and Practice. 16th IFIP World Computer Conference.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    119. Published

      Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.

      Glück, Robert & Leuschel, M., 2000, Perspectives of System Informatics. Proceedings. Bjørner, D., Broy, M. & Zamulin, A. V. (eds.). Springer, Vol. 1755. p. 93-100 (Lecture Notes in Computer Science (LNCS)).

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    120. Published

      Binding-time analysis in partial evaluation: one size does not fit all

      Christensen, N. H., Glück, Robert & Laursen, S., 2000, Perspectives of System Informatics. Proceedings. Springer Verlag, p. 80-92 (Lecture notes in computer science, Vol. 1755).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    121. Published

      Combining semantics with non-standard interpreter hierarchies

      Abramov, S. M. & Glück, Robert, 2000, Foundations of Software Technology and Theoretical Computer Science. Proceedings. Kapoor, S. & Prasad, S. (eds.). Springer Verlag, p. 201-213 (Lecture notes in computer science, Vol. 1974).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    122. Published

      Generative programming and active libraries

      Czarnecki, K., Eisenecker, U., Glück, Robert, Vandervoorde, D. & Veldhuizen, T., 2000, Generic Programming. Proceedings. Springer Verlag, p. 25-39 (Lecture notes in computer science, Vol. 1766).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    123. Published

      Loop quasi-invariance code motion

      Song, L., Futamura, Y., Glück, Robert & Hu, Z., 2000, In: IEICE Transactions on Information and Systems. E83-D, 10, p. 1841-1850

      Research output: Contribution to journalJournal articlepeer-review

    Previous 1 2 Next

    ID: 9668