Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    101 - 136 out of 136Page size: 100
    1. 2000
    2. 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

    3. 1999
    4. Published

      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, In: The journal of logic programming. 41, 2&3, p. 231-277

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

    5. Published

      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. (ed.). Springer Verlag, p. 179-198 (Lecture notes in computer science, Vol. 1559).

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

    6. Published

      Introduction to supercompilation

      Sørensen, M. H. & Glück, Robert, 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (eds.). Springer Verlag, p. 246-270 (Lecture notes in computer science, Vol. 1706).

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

    7. Published

      Multi-level specialization

      Glück, Robert & Jørgensen, J., 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (eds.). Springer Verlag, p. 326-337 (Lecture notes in computer science, Vol. 1706).

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

    8. Published

      Reduction of language hierarchies by metacomputation

      Glück, Robert & Klimov, A. V., 1999, The Evolution of Complexity. Kluwer Academic Publishers, p. 129-140

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

    9. 1998
    10. Published

      1998 symposium on partial evaluation

      Danvy, O., Glück, Robert & Thiemann, P., 1998, In: ACM Computing Surveys. 30, 3, p. 285-290

      Research output: Contribution to journal › Editorial › Research

    11. Published

      On the degeneration of program generators by program composition

      Glück, Robert & Klimov, A. V., 1998, In: New Generation Computing. 16, 1, p. 75-95

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

    12. Published

      Semantics modifiers: an approach to non-standard semantics of programming languages

      Abramov, S. M. & Glück, Robert, 1998, Functional and Logic Programming. World Scientific, p. 247-270

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

    13. 1997
    14. Published

      A regeneration scheme for generating extensions

      Glück, Robert & Klimov, A. V., 1997, In: Information Processing Letters. Vol.62, nr.3, p. 127-134

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

    15. Published

      An Automatic Program Generator for Multi-Level Specialization

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

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

    16. 1996
    17. Published

      A positive supercompiler

      Sørensen, M. H., Glück, Robert & Jones, N. D., 1996, In: Journal of Functional Programming. 6, 6, p. 811-838

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

    18. Published

      A roadmap to metacomputation by supercompilation

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

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

    19. Published

      Automatic program specialization by partial evaluation: an introduction

      Glück, Robert & Jones, N. D., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (eds.). Vieweg Verlag, p. 70-77

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

    20. Published

      Binding-time analysis applied to mathematical algorithms

      Glück, Robert, Nakashige, R. & Zöchling, R., 1996, System Modelling and Optimization. Doležal, J. & Fidler, J. (eds.). Chapman & Hall, p. 137-146

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

    21. Published

      Bootstrapping higher-order program transformers from interpreters

      Sperber, M., Glück, Robert & Thiemann, P., 1996, Proceedings of the 1996 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 408-413

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

    22. Published

      Controlling conjunctive partial deduction

      Glück, Robert, Jørgensen, J., Martens, B. & Sørensen, M. H., 1996, Programming Languages: Implementations, Logics and Programs. Kuchen, H. & Swierstra, S. D. (eds.). Springer Verlag, p. 152-166 (Lecture notes in computer science, Vol. 1140).

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

    23. Published

      Fast binding-time analysis for multi-level specialization

      Glück, Robert & Jørgensen, J., 1996, Perspectives of System Informatics. Bjørner, D., Broy, M. & Pottosin, I. V. (eds.). Springer Verlag, p. 261-272 (Lecture notes in computer science, Vol. 1181).

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

    24. Published

      On the mechanics of metasystem hierarchies in program transformation

      Glück, Robert, 1996, Logic Program Synthesis and Transformation. Proceedings. Proietti, M. (ed.). Springer Verlag, p. 234-251 (Lecture notes in computer science, Vol. 1048).

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

    25. Published

      Partial Evaluation

      Danvy, O. (ed.), Glück, Robert (ed.) & Thiemann, P. (ed.), 1996, Springer Verlag. 514 p. (Lecture notes in computer science, Vol. 1110).

      Research output: Book/Report › Book › Research › peer-review

    26. Published

      Reasoning about hierarchies of online program specialization systems

      Hatcliff, J. & Glück, Robert, 1996, Partial Evaluation. Springer Verlag, p. 161-182 (Lecture notes in computer science, Vol. 1110).

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

    27. Published

      Specialization of numerical programs with the FSpec system

      Baier, R., Glück, Robert & Zöchling, R., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (eds.). Vieweg Verlag, p. 86-93

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

    28. 1995
    29. Published

      An algorithm of generalization in positive supercompilation

      Sørensen, M. H. & Glück, Robert, 1995, Logic Programming: Proceedings of the 1995 International Symposium. Lloyd, J. W. (ed.). MIT Press, p. 465-479

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

    30. Published

      Efficient multi-level generating extensions for program specialization

      Glück, Robert & Jørgensen, J., 1995, Programming Languages: Implementations, Logics and Programs. Springer Verlag, p. 259-278 (Lecture notes in computer science, Vol. 982).

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

    31. Fortran program specialization

      Kleinrubatscher, P., Kriegshaber, A., Zöchling, R. & Glück, Robert, 1995, In: SIGPLAN Notices. 30, 4, p. 61-70

      Research output: Contribution to journal › Journal article › Research

    32. Published

      Metasystem transition schemes in computer science and mathematics

      Glück, Robert & Klimov, A. V., 1995, In: World Futures: The Journal of New Paradigm Research. 45, 1-4, p. 213-243

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

    33. Published

      The generation of a higher-order online partial evaluator

      Thiemann, P. & Glück, Robert, 1995, Functional and Logic Programming. World Scientific, p. 239-253

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

    34. 1994
    35. Published

      Generating optimizing specializers

      Glück, Robert & Jørgensen, J., 1994, IEEE International Conference on Computer Languages. IEEE Computer Society Press, p. 183-194

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

    36. Published

      Generating transformers for deforestation and supercompilation

      Glück, Robert & Jørgensen, J., 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (ed.). Springer, p. 432-448 17 p. (Lecture notes in computer science, Vol. 864).

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

    37. Published

      Metacomputation as a tool for formal linguistic modeling

      Glück, Robert & Klimov, A. V., 1994, In: Cybernetics and Systems '94. Vol 2, p. 1563-1570

      Research output: Contribution to journal › Conference article › Research

    38. Published

      On the generation of specializers

      Glück, Robert, 1994, In: Journal of Functional Programming. 4, 4, p. 499-514

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

    39. Published

      Partial deduction and driving are equivalent

      Glück, Robert & Sørensen, M. H., 1994, Programming Language Implementation and Logic Programming Book Subtitle: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings. Hermenegildo, M. & Penjam, J. (eds.). Springer, p. 165-181 17 p. (Lecture notes in computer science, Vol. 844).

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

    40. Published

      Partial evaluation of numerical programs in Fortran

      Baier, R., Glück, Robert & Zöchling, R., 1994, In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipul.. p. 119-132

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

    41. Published

      Towards unifying partial evaluation, deforestation, supercompilation, and GPC

      Sørensen, M. H., Glück, Robert & Jones, N. D., 1994, Programming Languages and Systems - ESOP '94. Sannella, D. (ed.). Springer Verlag, p. 485-500 (Lecture notes in computer science, Vol. 788).

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

    42. 1993

    43. Occam's razor in metacomputation: the notion of a perfect process tree

      Glück, Robert & Klimov, A. V., 1993, Static Analysis. Proceedings. Cousot, P., Falaschi, M., Filé, G. & Rauzy, A. (eds.). Springer Verlag, p. 112-123 (Lecture notes in computer science, Vol. 724).

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

    44. 1990

    45. Application of metasystem transition to function inversion and transformation

      Glück, Robert & Turchin, V. F., 1990, International Symposium on Symbolic and Algebraic Computation. Proceedings. ACM Press, p. 286-287

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

    Previous 1 2 Next

    ID: 9668