Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    81 - 90 ud af 136Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2003
    2. Udgivet

      Transforming interpreters into inverse interpreters by partial evaluation

      Glück, Robert, Kawada, Y. & Hashimoto, T., 2003, Partial evaluation and semantics-based program manipulation. ACM Press, s. 10-19

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

    3. 2002
    4. 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

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

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

    7. 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

    8. 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

    9. 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

    10. 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

    11. 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

    12. 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

    Forrige 1...5 6 7 8 9 10 11 12 ...14 Næste

    ID: 9668