Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    1 - 5 out of 5Page size: 10
    1. 1999
    2. Published

      Conjunctive partial deduction: foundations, control, algorithms, and experiments

      De Schreye, D., Glück, Robert, Jørgensen, J., Leuschel, M., Martens, B. & Sørensen, M. H., 1999, In: The journal of logic programming. 41, 2&3, p. 231-277

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

    3. Published

      Generalization in hierarchies of online program specialization systems

      Glück, Robert, Hatcliff, J. & Jørgensen, J., 1999, Logic-Based Program Synthesis and Transformation. Proceedings. Flener, P. (ed.). Springer Verlag, p. 179-198 (Lecture notes in computer science, Vol. 1559).

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

    4. Published

      Introduction to supercompilation

      Sørensen, M. H. & Glück, Robert, 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (eds.). Springer Verlag, p. 246-270 (Lecture notes in computer science, Vol. 1706).

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

    5. Published

      Multi-level specialization

      Glück, Robert & Jørgensen, J., 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (eds.). Springer Verlag, p. 326-337 (Lecture notes in computer science, Vol. 1706).

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

    6. Published

      Reduction of language hierarchies by metacomputation

      Glück, Robert & Klimov, A. V., 1999, The Evolution of Complexity. Kluwer Academic Publishers, p. 129-140

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

    ID: 9668