Robert Glück
Professor
ORCID: 0000-0001-6990-3935
1 - 3 out of 3Page size: 500
- 2006
- Published
On Jones-optimal specializers: a case study using Unmix
Gade, J. & Glück, Robert, 2006, Programming Languages and Systems. Proceedings. Kobayashi, N. (ed.). Springer, p. 406-422 (Lecture notes in computer science, Vol. 4279).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Proceedings of the 2nd DIKU-IST Workshop on the Foundations of Software
Glück, Robert (ed.) & Hu, Z. (ed.), 2006, Department of Computer Science, University of Copenhagen. 174 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2006/07).Research output: Book/Report › Anthology › Research
- Published
Reversible structured program theorem
Yokoyama, T. & Glück, Robert, 2006, Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 3 p.Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
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