Robert Glück

Robert Glück

Professor

Member of:


    1. 2007
    2. Published

      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, p. 144-153

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    3. Published

      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. (eds.). Springer, p. 27-40 (Lecture notes in computer science; No. 4378).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    4. Published

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

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

      Research output: Book/ReportAnthologyResearch

    5. Published

      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. (eds.). Springer, p. 56-69 (Lecture notes in computer science; No. 4649).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    ID: 9668