Robert Glück

Robert Glück

Professor


  1. 2001
  2. Udgivet

    From standard to non-standard semantics by semantics modifiers

    Abramov, S. M. & Glück, Robert, 2001, I: International Journal of Foundations of Computer Science. 12, 2, s. 171-211

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Recursion removal and introduction using assignments

    Kakehi, K., Glück, Robert & Futamura, Y., 2001, I: IPSJ Transactions on Programming. 42, SIG 7(PRO 11), s. 12-34

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Relating accumulative and non-accumulative functional programs

    Kühnemann, A., Glück, Robert & Kakehi, K., 2001, Rewriting Techniques and Applications. Proceedings. Springer Verlag, s. 154-168 (Lecture notes in computer science, Bind 2051).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 9668