Robert Glück
Professor
- Udgivet
Towards a Dereversibilizer: Fewer Asserts, Statically
Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (red.). Springer, s. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (red.). Springer, s. 24-39 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards unifying partial evaluation, deforestation, supercompilation, and GPC
Sørensen, M. H., Glück, Robert & Jones, N. D., 1994, Programming Languages and Systems - ESOP '94. Sannella, D. (red.). Springer Verlag, s. 485-500 (Lecture notes in computer science, Bind 788).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Transforming interpreters into inverse interpreters by partial evaluation
Glück, Robert, Kawada, Y. & Hashimoto, T., 2003, Partial evaluation and semantics-based program manipulation. ACM Press, s. 10-19Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
WSDFU: program transformation system based on generalized partial computation
Futamura, Y., Konishi, Z. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. A. & Sudborough, I. H. (red.). Springer Verlag, s. 358-378 (Lecture notes in computer science, Bind 2566).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 42-56 15 s. (Lecture notes in computer science, Bind 6604).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 9668
Flest downloads
-
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
203
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
117
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet