Robert Glück
Professor
- 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
Principles of inverse computation and the universal resolving algorithm
Abramov, S. M. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. & Sudborough, I. H. (eds.). Springer Verlag, p. 269-295 (Lecture notes in computer science, Vol. 2566).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Combining semantics with non-standard interpreter hierarchies
Abramov, S. M. & Glück, Robert, 2000, Foundations of Software Technology and Theoretical Computer Science. Proceedings. Kapoor, S. & Prasad, S. (eds.). Springer Verlag, p. 201-213 (Lecture notes in computer science, Vol. 1974).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- Published
A universal resolving algorithm for inverse computation of lazy languages
Abramov, S. M., Glück, Robert & Klimov, Y., 2007, Perspectives of Systems Informatics. Proceedings. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 27-40 (Lecture notes in computer science; No. 4378).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The universal resolving algorithm and its correctness: inverse computation in a functional language
Abramov, S. M. & Glück, Robert, 2002, In: Science of Computer Programming. 43, 2-3, p. 193-229Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Semantics modifiers: an approach to non-standard semantics of programming languages
Abramov, S. M. & Glück, Robert, 1998, Functional and Logic Programming. World Scientific, p. 247-270Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Foundations of reversible computation
Aman, B., Ciobanu, G., Glück, Robert, Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 1-40 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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
Reversible representation and manipulation of constructor terms in the heap
Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).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