Robert Glück

Robert Glück

Professor


  1. 1994
  2. 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

  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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. 1990
  6. 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