Robert Glück
Professor
- 1996
- Published
A positive supercompiler
Sørensen, M. H., Glück, Robert & Jones, N. D., 1996, In: Journal of Functional Programming. 6, 6, p. 811-838Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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-77Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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-146Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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-413Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- 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
- 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
- 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
- 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
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