Robert Glück
Professor
- 1990
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-287Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 1993
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
- 1994
- 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-132Research output: Contribution to journal › Journal article › Research › peer-review
- 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 › Research
- Published
On the generation of specializers
Glück, Robert, 1994, In: Journal of Functional Programming. 4, 4, p. 499-514Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
- 1995
- 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
ID: 9668
Most downloads
-
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
203
downloads
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › Research › 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