Robert Glück
Professor
ORCID: 0000-0001-6990-3935
1 - 3 out of 3Page size: 10
- 2017
- Published
A minimalist’s reversible while language
Glück, Robert & Yokoyama, T., May 2017, In: IEICE Transactions on Information and Systems. E100-D, 5, p. 1026-1034 9 p.Research output: Contribution to journal › Journal article › peer-review
- Published
Implementing reversible object-oriented language features on reversible machines
Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Join inverse categories and reversible recursion
Kaarsgaard, R., Axelsen, H. B. & Glück, Robert, 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.Research output: Contribution to journal › Journal article › peer-review
ID: 9668
Most downloads
-
253
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology
Published -
199
downloads
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › 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