Robert Glück

Robert Glück

Professor

Medlem af:


    1. 2008
    2. Udgivet

      An investigation of Jones optimality and BTI-universal specializers

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    3. Udgivet

      Optimized Reversible Binary-Coded Decimal Adders

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    4. Udgivet

      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, s. 43-54

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

    5. Udgivet

      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. (red.). Springer, s. 258-270 (Lecture notes in computer science; Nr. 5126).

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

    6. Udgivet

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

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

      Publikation: Bog/antologi/afhandling/rapportAntologiForskningfagfællebedømt

    ID: 9668