Robert Glück

Robert Glück

Professor


  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 tidsskriftTidsskriftartikelfagfæ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/rapportBogForskningfagfæ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/rapportAntologiForskning

  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 tidsskriftTidsskriftartikel

  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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 9668