Robert Glück

Robert Glück

Professor

ORCID: 0000-0001-6990-3935

Udgivelsesår:
Alle
61 - 70 ud af 133Pr. side: 10
Sortering: Udgivelsesdato
  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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Antologi › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. 2006
  7. Udgivet

    On Jones-optimal specializers: a case study using Unmix

    Gade, J. & Glück, Robert, 2006, Programming Languages and Systems. Proceedings. Kobayashi, N. (red.). Springer, s. 406-422 (Lecture notes in computer science, Bind 4279).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Udgivet

    Proceedings of the 2nd DIKU-IST Workshop on the Foundations of Software

    Glück, Robert (red.) & Hu, Z. (red.), 2006, Department of Computer Science, University of Copenhagen. 174 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2006/07).

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  9. Udgivet

    Reversible structured program theorem

    Yokoyama, T. & Glück, Robert, 2006, Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 3 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  10. 2005
  11. Udgivet

    A method for automatic program inversion based on LR(0) parsing

    Glück, Robert & Kawabe, M., 2005, I: Fundamenta Informaticae. 66(4), s. 367-395

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt

  12. Udgivet

    Generative Programming and Component Engineering. Proceedings

    Glück, Robert (red.) & Lowry, M. (red.), 2005, Springer Verlag. 448 s. (Lecture notes in computer science, Bind 3676).

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt

  13. Udgivet

    Proceedings of the 1st DIKU-IST Workshop on the Foundations of Software

    Glück, Robert (red.) & Hu, Z. (red.), 2005, Department of Computer Science, University of Copenhagen. 166 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2005/07).

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

Forrige 1...3 4 5 6 7 8 9 10 ...14 Næste

ID: 9668