Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    71 - 80 out of 136Page size: 10
    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 journal › Journal article › Research › peer-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/Report › Book › Research › peer-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/Report › Anthology › Research

    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 journal › Journal article › Research

    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 proceeding › Article in proceedings › Research › peer-review

    7. 2004
    8. Published

      Derivation of deterministic inverse programs based on LR parsing

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. Published

      Offline partial evaluation can be as accurate as online partial evaluation

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    10. 2003
    11. Published

      A program inverter for a functional language with equality and constructors

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    12. Published

      International Workshop on Program Understanding. Proceedings

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

      Research output: Book/Report › Anthology › Research

    13. Published

      The translation power of the Futamura projections

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1...4 5 6 7 8 9 10 11 ...14 Next

    ID: 9668