Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    111 - 120 out of 136Page size: 10
    1. 1997
    2. Published

      An Automatic Program Generator for Multi-Level Specialization

      Glück, Robert, Hatcliff, J. & Jørgensen, J., 1997, In: Higher-Order and Symbolic Computation. Vol.10, nr.2, p. 113-158

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

    3. 1996
    4. Published

      A positive supercompiler

      Sørensen, M. H., Glück, Robert & Jones, N. D., 1996, In: Journal of Functional Programming. 6, 6, p. 811-838

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

    5. Published

      A roadmap to metacomputation by supercompilation

      Glück, Robert & Sørensen, M. H., 1996, Partial Evaluation. Springer Verlag, p. 137-160 (Lecture notes in computer science, Vol. 1110).

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

    6. Published

      Automatic program specialization by partial evaluation: an introduction

      Glück, Robert & Jones, N. D., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (eds.). Vieweg Verlag, p. 70-77

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

    7. Published

      Binding-time analysis applied to mathematical algorithms

      Glück, Robert, Nakashige, R. & Zöchling, R., 1996, System Modelling and Optimization. Doležal, J. & Fidler, J. (eds.). Chapman & Hall, p. 137-146

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

    8. Published

      Bootstrapping higher-order program transformers from interpreters

      Sperber, M., Glück, Robert & Thiemann, P., 1996, Proceedings of the 1996 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 408-413

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

    9. Published

      Controlling conjunctive partial deduction

      Glück, Robert, Jørgensen, J., Martens, B. & Sørensen, M. H., 1996, Programming Languages: Implementations, Logics and Programs. Kuchen, H. & Swierstra, S. D. (eds.). Springer Verlag, p. 152-166 (Lecture notes in computer science, Vol. 1140).

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

    10. Published

      Fast binding-time analysis for multi-level specialization

      Glück, Robert & Jørgensen, J., 1996, Perspectives of System Informatics. Bjørner, D., Broy, M. & Pottosin, I. V. (eds.). Springer Verlag, p. 261-272 (Lecture notes in computer science, Vol. 1181).

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

    11. Published

      On the mechanics of metasystem hierarchies in program transformation

      Glück, Robert, 1996, Logic Program Synthesis and Transformation. Proceedings. Proietti, M. (ed.). Springer Verlag, p. 234-251 (Lecture notes in computer science, Vol. 1048).

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

    12. Published

      Partial Evaluation

      Danvy, O. (ed.), Glück, Robert (ed.) & Thiemann, P. (ed.), 1996, Springer Verlag. 514 p. (Lecture notes in computer science, Vol. 1110).

      Research output: Book/Report › Book › Research › peer-review

    Previous 1...8 9 10 11 12 13 14 Next

    ID: 9668