Robert Glück

Robert Glück

Professor

ORCID: 0000-0001-6990-3935

Udgivelsesår:
Alle
1 - 3 ud af 3Pr. side: 10
Sortering: Udgivelsesdato
  1. 2022
  2. 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

  3. Udgivet

    Making programs reversible with minimal extra data

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt

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

ID: 9668