Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    76 - 100 out of 137Page size: 25
    1. 2005
    2. Published

      The program inverter LRinv and its structure

      Kawabe, M. & Glück, Robert, 2005, Practical Aspects of Declarative Languages. Proceedings. Hermenegildo, M. & Cabeza, D. (eds.). Springer Verlag, p. 219-234 (Lecture notes in computer science, Vol. 3350).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. 2004
    4. Published

      Offline partial evaluation can be as accurate as online partial evaluation

      Christensen, N. H. & Glück, Robert, 2004, In: ACM Transactions on Programming Languages and Systems. 26, 1, p. 191-220

      Research output: Contribution to journal › Journal article › Research › peer-review

    5. Published

      Derivation of deterministic inverse programs based on LR parsing

      Glück, Robert & Kawabe, M., 2004, Functional and Logic Programming. Proceedings. Springer Verlag, p. 291-306 (Lecture notes in computer science, Vol. 2998).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6. 2003
    7. Published

      International Workshop on Program Understanding. Proceedings

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

      Research output: Book/Report › Anthology › Research

    8. Published

      A program inverter for a functional language with equality and constructors

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. Published

      The translation power of the Futamura projections

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    10. Published

      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, p. 10-19

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    11. 2002

    12. Principles of inverse computation and the universal resolving algorithm

      Abramov, S. M. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. & Sudborough, I. H. (eds.). Springer Verlag, p. 269-295 (Lecture notes in computer science, Vol. 2566).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    13. Published

      The universal resolving algorithm and its correctness: inverse computation in a functional language

      Abramov, S. M. & Glück, Robert, 2002, In: Science of Computer Programming. 43, 2-3, p. 193-229

      Research output: Contribution to journal › Journal article › Research › peer-review

    14. Published

      Automatic generation of a Boyer-Moore type pattern matcher by generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, IEEE International Conference on Systems, Man and Cybernetics. IEEE Press, p. 200-205

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    15. Automatic generation of efficient string matching algorithms by generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, p. 1-8

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    16. Published

      Program transformation system based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, In: New Generation Computing. 20, 1, p. 75-99

      Research output: Contribution to journal › Journal article › Research › peer-review

    17. Published

      WSDFU: program transformation system based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. A. & Sudborough, I. H. (eds.). Springer Verlag, p. 358-378 (Lecture notes in computer science, Vol. 2566).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    18. Published

      Jones optimality, binding-time improvements, and the strength of program specializers

      Glück, Robert, 2002, Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, p. 9-19

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    19. Published

      Special issue on partial evaluation and program transformation

      Glück, Robert & Futamura, Y., 2002, In: New Generation Computing. 20, 1, p. 1–2

      Research output: Contribution to journal › Editorial › Research

    20. Published

      An extension of shortcut deforestation for accumulative list folding

      Kakehi, K., Futamura, Y. & Glück, Robert, 2002, In: IEICE Transactions on Information and Systems. E85-D, 9, p. 1372-1383

      Research output: Contribution to journal › Journal article › Research › peer-review

    21. Published

      On deforesting parameters of accumulating maps

      Kakehi, K., Glück, Robert & Futamura, Y., 2002, Logic Based Program Synthesis and Transformation. Pettorossi, A. (ed.). Springer Verlag, p. 46-56 (Lecture notes in computer science, Vol. 2372).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    22. 2001
    23. Published

      From standard to non-standard semantics by semantics modifiers

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    24. Recursion removal and introduction using assignments

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    25. Relating accumulative and non-accumulative functional programs

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    26. 2000
    27. Published

      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. (eds.). Springer Verlag, p. 201-213 (Lecture notes in computer science, Vol. 1974).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    28. Published

      The universal resolving algorithm: inverse computation in a functional language

      Abramov, S. M. & Glück, Robert, 2000, Mathematics of Program Construction. Backhouse, R. & Oliveira, J. N. (eds.). Vol. 1837. p. 187-212 (Lecture notes in computer science, Vol. 1837).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    29. Published

      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, p. 80-92 (Lecture notes in computer science, Vol. 1755).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    30. Published

      Generative programming and active libraries

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

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    31. Published

      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. (eds.). Springer, Vol. 1755. p. 93-100 (Lecture Notes in Computer Science (LNCS)).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    Previous 1 2 3 4 5 6 Next

    ID: 9668