Robert Glück

Robert Glück

Professor

ORCID: 0000-0001-6990-3935

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

    A program inverter for a functional language with equality and constructors

    Glück, Robert & Kawabe, M., 2003, Programming Languages and Systems. Ohori, A. (red.). Springer Verlag, Bind 2895. s. 246-264

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

  3. Udgivet

    International Workshop on Program Understanding. Proceedings

    Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2003, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 111 s.

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  4. Udgivet

    The translation power of the Futamura projections

    Glück, Robert, 2003, Perspectives of System Informatics. Broy, M. & Zamulin, A. V. (red.). Springer Verlag, s. 133-147 (Lecture notes in computer science, Bind 2890).

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

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

ID: 9668