Robert Glück

Robert Glück

Professor


  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 tidsskriftTidsskriftartikelForskningfagfæ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/rapportKonferencebidrag i proceedingsForskningfagfæ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/rapportKonferencebidrag i proceedingsForskningfagfæ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/rapportKonferencebidrag i proceedingsForskningfagfæ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/rapportBidrag til bog/antologiForskningfagfællebedømt

ID: 9668