Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    121 - 130 out of 138Page size: 10
    1. 1996
    2. 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

    3. 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

    4. Published

      Reasoning about hierarchies of online program specialization systems

      Hatcliff, J. & Glück, Robert, 1996, Partial Evaluation. Springer Verlag, p. 161-182 (Lecture notes in computer science, Vol. 1110).

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

    5. Published

      Specialization of numerical programs with the FSpec system

      Baier, R., Glück, Robert & Zöchling, R., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (eds.). Vieweg Verlag, p. 86-93

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

    6. 1995
    7. Published

      An algorithm of generalization in positive supercompilation

      Sørensen, M. H. & Glück, Robert, 1995, Logic Programming: Proceedings of the 1995 International Symposium. Lloyd, J. W. (ed.). MIT Press, p. 465-479

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

    8. Published

      Efficient multi-level generating extensions for program specialization

      Glück, Robert & Jørgensen, J., 1995, Programming Languages: Implementations, Logics and Programs. Springer Verlag, p. 259-278 (Lecture notes in computer science, Vol. 982).

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

    9. Fortran program specialization

      Kleinrubatscher, P., Kriegshaber, A., Zöchling, R. & Glück, Robert, 1995, In: SIGPLAN Notices. 30, 4, p. 61-70

      Research output: Contribution to journal › Journal article › Research

    10. Published

      Metasystem transition schemes in computer science and mathematics

      Glück, Robert & Klimov, A. V., 1995, In: World Futures: The Journal of New Paradigm Research. 45, 1-4, p. 213-243

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

    11. Published

      The generation of a higher-order online partial evaluator

      Thiemann, P. & Glück, Robert, 1995, Functional and Logic Programming. World Scientific, p. 239-253

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

    12. 1994
    13. Published

      Generating optimizing specializers

      Glück, Robert & Jørgensen, J., 1994, IEEE International Conference on Computer Languages. IEEE Computer Society Press, p. 183-194

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

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

    ID: 9668