Robert Glück
Professor
ORCID: 0000-0001-6990-3935
1 - 3 out of 3Page size: 50
- Published
From standard to non-standard semantics by semantics modifiers
Abramov, S. M. & Glück, Robert, 2001, In: International Journal of Foundations of Computer Science. 12, 2, p. 171-211Research output: Contribution to journal › Journal article › Research › peer-review
Recursion removal and introduction using assignments
Kakehi, K., Glück, Robert & Futamura, Y., 2001, In: IPSJ Transactions on Programming. 42, SIG 7(PRO 11), p. 12-34Research output: Contribution to journal › Journal article › 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
-
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