Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    131 - 136 out of 136Page size: 10
    1. 1994
    2. Published

      On the generation of specializers

      Glück, Robert, 1994, In: Journal of Functional Programming. 4, 4, p. 499-514

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

    3. Published

      Partial deduction and driving are equivalent

      Glück, Robert & Sørensen, M. H., 1994, Programming Language Implementation and Logic Programming Book Subtitle: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings. Hermenegildo, M. & Penjam, J. (eds.). Springer, p. 165-181 17 p. (Lecture notes in computer science, Vol. 844).

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

    4. Published

      Partial evaluation of numerical programs in Fortran

      Baier, R., Glück, Robert & Zöchling, R., 1994, In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipul.. p. 119-132

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

    5. Published

      Towards unifying partial evaluation, deforestation, supercompilation, and GPC

      Sørensen, M. H., Glück, Robert & Jones, N. D., 1994, Programming Languages and Systems - ESOP '94. Sannella, D. (ed.). Springer Verlag, p. 485-500 (Lecture notes in computer science, Vol. 788).

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

    6. 1993

    7. Occam's razor in metacomputation: the notion of a perfect process tree

      Glück, Robert & Klimov, A. V., 1993, Static Analysis. Proceedings. Cousot, P., Falaschi, M., Filé, G. & Rauzy, A. (eds.). Springer Verlag, p. 112-123 (Lecture notes in computer science, Vol. 724).

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

    8. 1990

    9. Application of metasystem transition to function inversion and transformation

      Glück, Robert & Turchin, V. F., 1990, International Symposium on Symbolic and Algebraic Computation. Proceedings. ACM Press, p. 286-287

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

    Previous 1...10 11 12 13 14 Next

    ID: 9668