Robert Glück

Robert Glück

Professor

Medlem af:


    1. 1994
    2. Udgivet

      On the generation of specializers

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    3. Udgivet

      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. (red.). Springer, s. 165-181 17 s. (Lecture notes in computer science, Bind 844).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    4. Udgivet

      Partial evaluation of numerical programs in Fortran

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    5. Udgivet

      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. (red.). Springer Verlag, s. 485-500 (Lecture notes in computer science, Bind 788).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    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. (red.). Springer Verlag, s. 112-123 (Lecture notes in computer science, Bind 724).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    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, s. 286-287

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    Forrige 1...10 11 12 13 14 Næste

    ID: 9668