Robert Glück
Professor
- 1996
- 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
- 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-93Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 1995
- 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-479Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
Fortran program specialization
Kleinrubatscher, P., Kriegshaber, A., Zöchling, R. & Glück, Robert, 1995, In: SIGPLAN Notices. 30, 4, p. 61-70Research output: Contribution to journal › Journal article
- 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-243Research output: Contribution to journal › Journal article › peer-review
- Published
The generation of a higher-order online partial evaluator
Thiemann, P. & Glück, Robert, 1995, Functional and Logic Programming. World Scientific, p. 239-253Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 1994
- Published
Generating optimizing specializers
Glück, Robert & Jørgensen, J., 1994, IEEE International Conference on Computer Languages. IEEE Computer Society Press, p. 183-194Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- 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-1570Research output: Contribution to journal › Conference article
ID: 9668
Most downloads
-
253
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology
Published -
199
downloads
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › peer-review
Published -
117
downloads
Simulation of two-way pushdown automata revisited
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Published