Robert Glück

Robert Glück


  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 tidsskriftTidsskriftartikelfagfæ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 tidsskriftTidsskriftartikelfagfæ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.)., s. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 373).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 9668