Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    1 - 5 out of 5Page size: 10
    1. 2008
    2. Published

      An investigation of Jones optimality and BTI-universal specializers

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

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

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

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

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

    6. Published

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

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

      Research output: Book/Report › Anthology › Research › peer-review

    ID: 9668