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

    Previous 1 2 3 4 5 6 7 8 ...14 Next

    ID: 9668