Robert Glück

Research output

Research output per year 1990 1994 1996 2000 2002 2012 2016 2019

• 61 Article in proceedings
• 33 Journal article
• 8 Anthology
• 5 Book chapter
• 11 More
  • 4 Editorial
  • 3 Book
  • 2 Conference article
  • 1 Report chapter
  • 1 Paper

Research output per year

Research output per year

Search results

• 1996

  On the mechanics of metasystem hierarchies in program transformation

  Glück, R., 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

  10 Citations (Scopus)

• Partial Evaluation

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

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

• Reasoning about hierarchies of online program specialization systems

  Hatcliff, J. & Glück, R., 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

  9 Citations (Scopus)

• Specialization of numerical programs with the FSpec system

  Baier, R., Glück, R. & 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
• 1995

  An algorithm of generalization in positive supercompilation

  Sørensen, M. H. & Glück, R., 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

• Efficient multi-level generating extensions for program specialization

  Glück, R. & 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

• Fortran program specialization

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

  Research output: Contribution to journal › Journal article › Research

• Metasystem transition schemes in computer science and mathematics

  Glück, R. & 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

• The generation of a higher-order online partial evaluator

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

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

  Generating optimizing specializers

  Glück, R. & 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

  26 Citations (Scopus)

• Generating transformers for deforestation and supercompilation

  Glück, R. & 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

  25 Citations (Scopus)

• Metacomputation as a tool for formal linguistic modeling

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

  Research output: Contribution to journal › Conference article › Research

• On the generation of specializers

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

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

  27 Citations (Scopus)

• Partial deduction and driving are equivalent

  Glück, R. & 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

  45 Citations (Scopus)

• Partial evaluation of numerical programs in Fortran

  Baier, R., Glück, R. & 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

• Towards unifying partial evaluation, deforestation, supercompilation, and GPC

  Sørensen, M. H., Glück, R. & 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

  51 Citations (Scopus)
• 1993

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

  Glück, R. & 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

  75 Citations (Scopus)
• 1990

  Application of metasystem transition to function inversion and transformation

  Glück, R. & 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

  21 Citations (Scopus)