Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    11 - 20 ud af 136Pr. side: 10
    Sortering: Titel
    1. 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

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

    3. Udgivet

      A reversible processor architecture and its reversible logic design

      Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 30-42 13 s. (Lecture notes in computer science, Bind 7165).

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

    4. Udgivet

      A reversible programming language and its invertible self-interpreter

      Yokoyama, T. & Glück, Robert, 2007, PEPM 2007: Proceedings of the Workshop on Partial Evaluation and Program Manipulation, Nice, France, January 15-16, 2007. Association for Computing Machinery, s. 144-153

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

    5. Udgivet

      A roadmap to metacomputation by supercompilation

      Glück, Robert & Sørensen, M. H., 1996, Partial Evaluation. Springer Verlag, s. 137-160 (Lecture notes in computer science, Bind 1110).

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

    6. Udgivet

      A self-applicable online partial evaluator for recursive flowchart languages

      Glück, Robert, 2012, I: Software: Practice & Experience. 42, 6, s. 649-673 25 s.

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

    7. Udgivet

      A simple and efficient universal reversible Turing machine

      Axelsen, H. B. & Glück, Robert, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (red.). Springer, s. 117-128 12 s. (Lecture notes in computer science, Bind 6638).

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

    8. Udgivet

      A universal resolving algorithm for inverse computation of lazy languages

      Abramov, S. M., Glück, Robert & Klimov, Y., 2007, Perspectives of Systems Informatics. Proceedings. Voronkov, A. & Virbitskaite, I. (red.). Springer, s. 27-40 (Lecture notes in computer science; Nr. 4378).

      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

      An Automatic Program Generator for Multi-Level Specialization

      Glück, Robert, Hatcliff, J. & Jørgensen, J., 1997, I: Higher-Order and Symbolic Computation. Vol.10, nr.2, s. 113-158

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

    Forrige 1 2 3 4 5 6 7 8 ...14 Næste

    ID: 9668