Robert Glück

Robert Glück

Professor

Medlem af:


    1. 2007
    2. Udgivet

      A reversible programming language and its invertible self-interpreter

      Yokoyama, T. & Glück, Robert, 2007, PEPM 2007: Proceedings of the Workshop on Partial Evaluation and Program Manipulation, Nice, France, January 15-16, 2007. Association for Computing Machinery, s. 144-153

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

    3. Udgivet

      A universal resolving algorithm for inverse computation of lazy languages

      Abramov, S. M., Glück, Robert & Klimov, Y., 2007, Perspectives of Systems Informatics. Proceedings. Voronkov, A. & Virbitskaite, I. (red.). Springer, s. 27-40 (Lecture notes in computer science; Nr. 4378).

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

    4. Udgivet

      Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software

      Glück, Robert (red.) & Hagiya, M. (red.), 2007, Department of Computer Science, University of Copenhagen. 172 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2007/07).

      Publikation: Bog/antologi/afhandling/rapportAntologiForskning

    5. Udgivet

      Reversible machine code and its abstract processor architecture

      Axelsen, H. B., Glück, Robert & Yokoyama, T., 2007, Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Diekert, V., Volkov, M. & Voronkov, A. (red.). Springer, s. 56-69 (Lecture notes in computer science; Nr. 4649).

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

    ID: 9668