Robert Glück
Professor
- 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
An efficient composition of bidirectional programs by memoization and lazy update
Tsushima, K., Trong, B. N., Glück, Robert & Hu, Z., 2020, Functional and Logic Programming.: 15th International Symposium, FLOPS 2020 Akita, Japan, September 14–16, 2020 Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer, p. 159-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12073 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
An experiment combining specialization with abstract interpretation
Gallagher, J. P. & Glück, Robert, 2020, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. arXiv.org, p. 155-158 4 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 320).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
An experiment in ping-pong protocol verification by nondeterministic pushdown automata
Glück, Robert, 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Proceedings. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). Open Publishing Association, p. 169-184 (Electronic Proceedings in Theoretical Computer Science, Vol. 268).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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
An extension of shortcut deforestation for accumulative list folding
Kakehi, K., Futamura, Y. & Glück, Robert, 2002, In: IEICE Transactions on Information and Systems. E85-D, 9, p. 1372-1383Research output: Contribution to journal › Journal article › Research › peer-review
- Published
An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion
Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). arxiv.org, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 341).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
An investigation of Jones optimality and BTI-universal specializers
Glück, Robert, 2008, In: Higher-Order and Symbolic Computation. 21, 3, p. 283-309Research output: Contribution to journal › Journal article › Research › peer-review
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
- Published
Automatic generation of a Boyer-Moore type pattern matcher by generalized partial computation
Futamura, Y., Konishi, Z. & Glück, Robert, 2002, IEEE International Conference on Systems, Man and Cybernetics. IEEE Press, p. 200-205Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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 -
204
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