Robert Glück
Professor
- 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-277Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
- 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
- Published
Reduction of language hierarchies by metacomputation
Glück, Robert & Klimov, A. V., 1999, The Evolution of Complexity. Kluwer Academic Publishers, p. 129-140Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
ID: 9668
Most downloads
-
265
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