Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    1 - 25 out of 137Page size: 25
    Sort by: 1st author
    1. 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 proceeding › Article in proceedings › Research › peer-review

    2. 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 proceeding › Article in proceedings › Research › peer-review

    3. 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 proceeding › Article in proceedings › Research › peer-review

    4. 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 proceeding › Report chapter › Research

    5. 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 proceeding › Article in proceedings › Research › peer-review

    6. 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 journal › Conference article › Research › peer-review

    7. 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 proceeding › Article in proceedings › Research › peer-review

    8. 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 journal › Journal article › Research › peer-review

    9. 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 proceeding › Article in proceedings › Research › peer-review

    10. 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 proceeding › Article in proceedings › Research › peer-review

    11. 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 proceeding › Article in proceedings › Research › peer-review

    12. 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 journal › Journal article › Research › peer-review

    13. 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 journal › Journal article › Research › peer-review

    14. Published

      The generation of a higher-order online partial evaluator

      Thiemann, P. & Glück, Robert, 1995, Functional and Logic Programming. World Scientific, p. 239-253

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    15. Published

      Introduction to supercompilation

      Sørensen, M. H. & Glück, Robert, 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (eds.). Springer Verlag, p. 246-270 (Lecture notes in computer science, Vol. 1706).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    16. Published

      An algorithm of generalization in positive supercompilation

      Sørensen, M. H. & Glück, Robert, 1995, Logic Programming: Proceedings of the 1995 International Symposium. Lloyd, J. W. (ed.). MIT Press, p. 465-479

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    17. Published

      Towards unifying partial evaluation, deforestation, supercompilation, and GPC

      Sørensen, M. H., Glück, Robert & Jones, N. D., 1994, Programming Languages and Systems - ESOP '94. Sannella, D. (ed.). Springer Verlag, p. 485-500 (Lecture notes in computer science, Vol. 788).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    18. Published

      A positive supercompiler

      Sørensen, M. H., Glück, Robert & Jones, N. D., 1996, In: Journal of Functional Programming. 6, 6, p. 811-838

      Research output: Contribution to journal › Journal article › Research › peer-review

    19. Published

      Bootstrapping higher-order program transformers from interpreters

      Sperber, M., Glück, Robert & Thiemann, P., 1996, Proceedings of the 1996 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 408-413

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    20. 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 proceeding › Article in proceedings › Research › peer-review

    21. 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 journal › Journal article › Research › peer-review

    22. 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 proceeding › Article in proceedings › Research › peer-review

    23. 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 proceeding › Article in proceedings › Research › peer-review

    24. Published

      Partial Evaluation of Reversible Flowchart Programs

      Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, p. 119-133 15 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    25. 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 proceeding › Article in proceedings › Research

    Previous 1 2 3 4 5 6 Next

    ID: 9668