Robert Glück
Professor
- Udgivet
Multi-level specialization
Glück, Robert & Jørgensen, J., 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (red.). Springer Verlag, s. 326-337 (Lecture notes in computer science, Bind 1706).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Nonlinear configurations for superlinear speedup by supercompilation
Glück, Robert, Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (red.). University of Pereslavl, s. 32-51 20 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Occam's razor in metacomputation: the notion of a perfect process tree
Glück, Robert & Klimov, A. V., 1993, Static Analysis. Proceedings. Cousot, P., Falaschi, M., Filé, G. & Rauzy, A. (red.). Springer Verlag, s. 112-123 (Lecture notes in computer science, Bind 724).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Offline partial evaluation can be as accurate as online partial evaluation
Christensen, N. H. & Glück, Robert, 2004, I: ACM Transactions on Programming Languages and Systems. 26, 1, s. 191-220Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On Jones-optimal specializers: a case study using Unmix
Gade, J. & Glück, Robert, 2006, Programming Languages and Systems. Proceedings. Kobayashi, N. (red.). Springer, s. 406-422 (Lecture notes in computer science, Bind 4279).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
On deforesting parameters of accumulating maps
Kakehi, K., Glück, Robert & Futamura, Y., 2002, Logic Based Program Synthesis and Transformation. Pettorossi, A. (red.). Springer Verlag, s. 46-56 (Lecture notes in computer science, Bind 2372).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
On reversible Turing machines and their function universality
Axelsen, H. B. & Glück, Robert, 2016, I: Acta Informatica. 53, 5, s. 509-543 35 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On the degeneration of program generators by program composition
Glück, Robert & Klimov, A. V., 1998, I: New Generation Computing. 16, 1, s. 75-95Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On the generation of specializers
Glück, Robert, 1994, I: Journal of Functional Programming. 4, 4, s. 499-514Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On the mechanics of metasystem hierarchies in program transformation
Glück, Robert, 1996, Logic Program Synthesis and Transformation. Proceedings. Proietti, M. (red.). Springer Verlag, s. 234-251 (Lecture notes in computer science, Bind 1048).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Optimized Reversible Binary-Coded Decimal Adders
Thomsen, Michael Kirkedal & Glück, Robert, 2008, I: Journal of Systems Architecture. 54, 7, s. 697-706 9 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Optimizing reversible simulation of injective functions
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 5-24 20 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Partial Evaluation
Danvy, O. (red.), Glück, Robert (red.) & Thiemann, P. (red.), 1996, Springer Verlag. 514 s. (Lecture notes in computer science, Bind 1110).Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt
- Udgivet
Partial Evaluation of Reversible Flowchart Programs
Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (red.). Association for Computing Machinery, s. 119-133 15 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Partial deduction and driving are equivalent
Glück, Robert & Sørensen, M. H., 1994, Programming Language Implementation and Logic Programming Book Subtitle: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings. Hermenegildo, M. & Penjam, J. (red.). Springer, s. 165-181 17 s. (Lecture notes in computer science, Bind 844).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Partial evaluation of numerical programs in Fortran
Baier, R., Glück, Robert & Zöchling, R., 1994, I: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipul.. s. 119-132Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Principles of a reversible programming language
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Conference on Computing Frontiers, CF 2008: Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italy May 5-7, 2008. Association for Computing Machinery, s. 43-54Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer Verlag, s. 269-295 (Lecture notes in computer science, Bind 2566).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Proceedings of the 1st DIKU-IST Workshop on the Foundations of Software
Glück, Robert (red.) & Hu, Z. (red.), 2005, Department of Computer Science, University of Copenhagen. 166 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2005/07).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Proceedings of the 2nd DIKU-IST Workshop on the Foundations of Software
Glück, Robert (red.) & Hu, Z. (red.), 2006, Department of Computer Science, University of Copenhagen. 174 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2006/07).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software
Glück, Robert (red.) & Hagiya, M. (red.), 2007, Department of Computer Science, University of Copenhagen. 172 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2007/07).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Glück, Robert (red.), Henglein, Fritz (red.), Hu, Z. (red.) & Takeichi, M. (red.), 2011, Department of Computer Science, University of Copenhagen. 280 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2011/01).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Program transformation system based on generalized partial computation
Futamura, Y., Konishi, Z. & Glück, Robert, 2002, I: New Generation Computing. 20, 1, s. 75-99Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Reasoning about hierarchies of online program specialization systems
Hatcliff, J. & Glück, Robert, 1996, Partial Evaluation. Springer Verlag, s. 161-182 (Lecture notes in computer science, Bind 1110).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Recursion removal and introduction using assignments
Kakehi, K., Glück, Robert & Futamura, Y., 2001, I: IPSJ Transactions on Programming. 42, SIG 7(PRO 11), s. 12-34Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 9668
Flest downloads
-
265
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