Robert Glück

Robert Glück

Professor

Member of:


    1. 2005
    2. Published

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

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

      Research output: Contribution to journalJournal articleResearchpeer-review

    3. Published

      Generative Programming and Component Engineering. Proceedings

      Glück, Robert (ed.) & Lowry, M. (ed.), 2005, Springer Verlag. 448 p. (Lecture notes in computer science, Vol. 3676).

      Research output: Book/ReportBookResearchpeer-review

    4. Published

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

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

      Research output: Book/ReportAnthologyResearch

    5. Published

      Revisiting an automatic program inverter for Lisp

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

      Research output: Contribution to journalJournal articleResearch

    6. Published

      The program inverter LRinv and its structure

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

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

    ID: 9668