Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    101 - 110 ud af 136Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2000
    2. Udgivet

      The universal resolving algorithm: inverse computation in a functional language

      Abramov, S. M. & Glück, Robert, 2000, Mathematics of Program Construction. Backhouse, R. & Oliveira, J. N. (red.). Bind 1837. s. 187-212 (Lecture notes in computer science, Bind 1837).

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

    3. 1999
    4. Udgivet

      Conjunctive partial deduction: foundations, control, algorithms, and experiments

      De Schreye, D., Glück, Robert, Jørgensen, J., Leuschel, M., Martens, B. & Sørensen, M. H., 1999, I: The journal of logic programming. 41, 2&3, s. 231-277

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

    5. Udgivet

      Generalization in hierarchies of online program specialization systems

      Glück, Robert, Hatcliff, J. & Jørgensen, J., 1999, Logic-Based Program Synthesis and Transformation. Proceedings. Flener, P. (red.). Springer Verlag, s. 179-198 (Lecture notes in computer science, Bind 1559).

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

    6. Udgivet

      Introduction to supercompilation

      Sørensen, M. H. & Glück, Robert, 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (red.). Springer Verlag, s. 246-270 (Lecture notes in computer science, Bind 1706).

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

    7. Udgivet

      Multi-level specialization

      Glück, Robert & Jørgensen, J., 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (red.). Springer Verlag, s. 326-337 (Lecture notes in computer science, Bind 1706).

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

    8. Udgivet

      Reduction of language hierarchies by metacomputation

      Glück, Robert & Klimov, A. V., 1999, The Evolution of Complexity. Kluwer Academic Publishers, s. 129-140

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

    9. 1998
    10. Udgivet

      1998 symposium on partial evaluation

      Danvy, O., Glück, Robert & Thiemann, P., 1998, I: ACM Computing Surveys. 30, 3, s. 285-290

      Publikation: Bidrag til tidsskrift › Leder › Forskning

    11. Udgivet

      On the degeneration of program generators by program composition

      Glück, Robert & Klimov, A. V., 1998, I: New Generation Computing. 16, 1, s. 75-95

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

    12. Udgivet

      Semantics modifiers: an approach to non-standard semantics of programming languages

      Abramov, S. M. & Glück, Robert, 1998, Functional and Logic Programming. World Scientific, s. 247-270

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

    13. 1997
    14. Udgivet

      A regeneration scheme for generating extensions

      Glück, Robert & Klimov, A. V., 1997, I: Information Processing Letters. Vol.62, nr.3, s. 127-134

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

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

    ID: 9668