Robert Glück
Professor
- Udgivet
Fundamentals of reversible flowchart languages
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2016, I: Theoretical Computer Science. 611, s. 87-115 29 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Generalization in hierarchies of online program specialization systems
Glück, Robert, Hatcliff, J. & Jørgensen, J., 1999, Logic-Based Program Synthesis and Transformation. Proceedings. Flener, P. (red.). Springer Verlag, s. 179-198 (Lecture notes in computer science, Bind 1559).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generating optimizing specializers
Glück, Robert & Jørgensen, J., 1994, IEEE International Conference on Computer Languages. IEEE Computer Society Press, s. 183-194Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generating transformers for deforestation and supercompilation
Glück, Robert & Jørgensen, J., 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (red.). Springer, s. 432-448 17 s. (Lecture notes in computer science, Bind 864).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generative Programming and Component Engineering. Proceedings
Glück, Robert (red.) & Lowry, M. (red.), 2005, Springer Verlag. 448 s. (Lecture notes in computer science, Bind 3676).Publikation: Bog/antologi/afhandling/rapport › Bog › fagfællebedømt
- Udgivet
Generative programming and active libraries
Czarnecki, K., Eisenecker, U., Glück, Robert, Vandervoorde, D. & Veldhuizen, T., 2000, Generic Programming. Proceedings. Springer Verlag, s. 25-39 (Lecture notes in computer science, Bind 1766).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Implementation of an experimental system for automatic program transformation based on generalized partial computation
Futamura, Y., Konishi, Z. & Glück, Robert, 2009. 10 s.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 66-73 8 s. (Lecture notes in computer science, Bind 10301).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
International Workshop on Program Understanding. Proceedings
Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 s.Publikation: Bog/antologi/afhandling/rapport › Antologi
- Udgivet
International Workshop on Program Understanding. Proceedings
Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2003, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 111 s.Publikation: Bog/antologi/afhandling/rapport › Antologi
ID: 9668
Flest downloads
-
253
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi
Udgivet -
199
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › 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