Robert Glück
Professor
- Published
Generative Programming and Component Engineering. Proceedings
Glück, Robert (ed.) & Lowry, M. (ed.), 2005, Springer Verlag. 448 p. (Lecture notes in computer science, Vol. 3676).Research output: Book/Report › Book › 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
The universal resolving algorithm: inverse computation in a functional language
Abramov, S. M. & Glück, Robert, 2000, Mathematics of Program Construction. Backhouse, R. & Oliveira, J. N. (eds.). Vol. 1837. p. 187-212 (Lecture notes in computer science, Vol. 1837).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Self-generating program specializers
Glück, Robert, 2010, In: Information Processing Letters. 110, 17, p. 787-793 7 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
An experiment with the fourth Futamura projection
Glück, Robert, 2010, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 135-150 16 p. (Lecture notes in computer science, Vol. 5947).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a reversible functional language
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 14-29 16 p. (Lecture notes in computer science, Vol. 7165).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A self-applicable online partial evaluator for recursive flowchart languages
Glück, Robert, 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
What do reversible programs compute?
Axelsen, H. B. & Glück, Robert, 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (ed.). Springer, p. 42-56 15 p. (Lecture notes in computer science, Vol. 6604).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
Relating accumulative and non-accumulative functional programs
Kühnemann, A., Glück, Robert & Kakehi, K., 2001, Rewriting Techniques and Applications. Proceedings. Springer Verlag, p. 154-168 (Lecture notes in computer science, Vol. 2051).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