Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    31 - 40 ud af 136Pr. side: 10
    Sortering: Udgivelsesdato
    1. 1999
    2. 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

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

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

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

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

    7. 2000
    8. Udgivet

      A loop optimization technique based on quasi-invariance

      Song, L., Futamura, Y., Glück, Robert & Hu, Z., 2000, International Conference on Software Theory and Practice. 16th IFIP World Computer Conference.

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

    9. Udgivet

      Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.

      Glück, Robert & Leuschel, M., 2000, Perspectives of System Informatics. Proceedings. Bjørner, D., Broy, M. & Zamulin, A. V. (red.). Springer, Bind 1755. s. 93-100 (Lecture Notes in Computer Science (LNCS)).

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

    10. Udgivet

      Binding-time analysis in partial evaluation: one size does not fit all

      Christensen, N. H., Glück, Robert & Laursen, S., 2000, Perspectives of System Informatics. Proceedings. Springer Verlag, s. 80-92 (Lecture notes in computer science, Bind 1755).

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

    11. Udgivet

      Combining semantics with non-standard interpreter hierarchies

      Abramov, S. M. & Glück, Robert, 2000, Foundations of Software Technology and Theoretical Computer Science. Proceedings. Kapoor, S. & Prasad, S. (red.). Springer Verlag, s. 201-213 (Lecture notes in computer science, Bind 1974).

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

    12. Udgivet

      Generative programming and active libraries

      Czarnecki, K., Eisenecker, U., Glück, Robert, Vandervoorde, D. & Veldhuizen, T., 2000, Generic Programming. Proceedings. Springer Verlag, s. 25-39 (Lecture notes in computer science, Bind 1766).

      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