Robert Glück

Robert Glück

Professor

ORCID: 0000-0001-6990-3935

Udgivelsesår:
Alle
1 - 10 ud af 10Pr. side: 10
Sortering: Udgivelsesdato
  1. 2002
  2. Udgivet

    An extension of shortcut deforestation for accumulative list folding

    Kakehi, K., Futamura, Y. & Glück, Robert, 2002, I: IEICE Transactions on Information and Systems. E85-D, 9, s. 1372-1383

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

  3. Udgivet

    Automatic generation of a Boyer-Moore type pattern matcher by generalized partial computation

    Futamura, Y., Konishi, Z. & Glück, Robert, 2002, IEEE International Conference on Systems, Man and Cybernetics. IEEE Press, s. 200-205

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

  4. Automatic generation of efficient string matching algorithms by generalized partial computation

    Futamura, Y., Konishi, Z. & Glück, Robert, 2002, Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, s. 1-8

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

  5. Udgivet

    Jones optimality, binding-time improvements, and the strength of program specializers

    Glück, Robert, 2002, Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, s. 9-19

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

  6. Udgivet

    On deforesting parameters of accumulating maps

    Kakehi, K., Glück, Robert & Futamura, Y., 2002, Logic Based Program Synthesis and Transformation. Pettorossi, A. (red.). Springer Verlag, s. 46-56 (Lecture notes in computer science, Bind 2372).

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

  7. Principles of inverse computation and the universal resolving algorithm

    Abramov, S. M. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. & Sudborough, I. H. (red.). Springer Verlag, s. 269-295 (Lecture notes in computer science, Bind 2566).

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

  8. Udgivet

    Program transformation system based on generalized partial computation

    Futamura, Y., Konishi, Z. & Glück, Robert, 2002, I: New Generation Computing. 20, 1, s. 75-99

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

  9. Udgivet

    Special issue on partial evaluation and program transformation

    Glück, Robert & Futamura, Y., 2002, I: New Generation Computing. 20, 1, s. 1–2

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  10. Udgivet

    The universal resolving algorithm and its correctness: inverse computation in a functional language

    Abramov, S. M. & Glück, Robert, 2002, I: Science of Computer Programming. 43, 2-3, s. 193-229

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

  11. Udgivet

    WSDFU: program transformation system based on generalized partial computation

    Futamura, Y., Konishi, Z. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. A. & Sudborough, I. H. (red.). Springer Verlag, s. 358-378 (Lecture notes in computer science, Bind 2566).

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

ID: 9668