Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    71 - 80 ud af 136Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2005
    2. 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 › Forskning › fagfællebedømt

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

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

    5. Udgivet

      Revisiting an automatic program inverter for Lisp

      Glück, Robert & Kawabe, M., 2005, I: SIGPLAN Notices. 40, 5, s. 8-17

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    6. Udgivet

      The program inverter LRinv and its structure

      Kawabe, M. & Glück, Robert, 2005, Practical Aspects of Declarative Languages. Proceedings. Hermenegildo, M. & Cabeza, D. (red.). Springer Verlag, s. 219-234 (Lecture notes in computer science, Bind 3350).

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

    7. 2004
    8. Udgivet

      Derivation of deterministic inverse programs based on LR parsing

      Glück, Robert & Kawabe, M., 2004, Functional and Logic Programming. Proceedings. Springer Verlag, s. 291-306 (Lecture notes in computer science, Bind 2998).

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

    9. Udgivet

      Offline partial evaluation can be as accurate as online partial evaluation

      Christensen, N. H. & Glück, Robert, 2004, I: ACM Transactions on Programming Languages and Systems. 26, 1, s. 191-220

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

    10. 2003
    11. Udgivet

      A program inverter for a functional language with equality and constructors

      Glück, Robert & Kawabe, M., 2003, Programming Languages and Systems. Ohori, A. (red.). Springer Verlag, Bind 2895. s. 246-264

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

    12. Udgivet

      International Workshop on Program Understanding. Proceedings

      Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2003, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 111 s.

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

    13. Udgivet

      The translation power of the Futamura projections

      Glück, Robert, 2003, Perspectives of System Informatics. Broy, M. & Zamulin, A. V. (red.). Springer Verlag, s. 133-147 (Lecture notes in computer science, Bind 2890).

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

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

    ID: 9668