Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    1 - 10 ud af 136Pr. side: 10
    Sortering: Udgivelsesdato
    1. 1990

    2. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. 1993

    4. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. 1994
    6. Udgivet

      Generating optimizing specializers

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    7. Udgivet

      Generating transformers for deforestation and supercompilation

      Glück, Robert & Jørgensen, J., 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (red.). Springer, s. 432-448 17 s. (Lecture notes in computer science, Bind 864).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    8. Udgivet

      Metacomputation as a tool for formal linguistic modeling

      Glück, Robert & Klimov, A. V., 1994, I: Cybernetics and Systems '94. Vol 2, s. 1563-1570

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning

    9. Udgivet

      On the generation of specializers

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    11. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    12. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    13. 1995
    14. Udgivet

      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. (red.). MIT Press, s. 465-479

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 3 4 5 6 7 8 ...14 Næste

    ID: 9668