| Generative programming and active libraries K Czarnecki, U Eisenecker, R Glück, D Vandevoorde, T Veldhuizen Generic Programming 1766, 25-39, 2000 | 309* | 2000 |
| A positive supercompiler MH Sørensen, R Glück, ND Jones Journal of Functional Programming 6 (6), 811-838, 1996 | 234 | 1996 |
| An algorithm of generalization in positive supercompilation MH Sørensen, R Glück Proceedings of ILPS'95, the International Logic Programming Symposium, 465-479, 1995 | 214* | 1995 |
| A reversible programming language and its invertible self-interpreter T Yokoyama, R Glück Symposium on Partial Evaluation and Semantics-Based Program Manipulation …, 2007 | 211 | 2007 |
| Principles of a reversible programming language T Yokoyama, HB Axelsen, R Glück Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008 | 185 | 2008 |
| Occam's razor in metacomputation: the notion of a perfect process tree R Glück, AV Klimov International Workshop on Static Analysis, 112-123, 1993 | 149 | 1993 |
| Reversible arithmetic logic unit for quantum arithmetic MK Thomsen, R Glück, HB Axelsen Journal of Physics A: Mathematical and Theoretical 43 (38), 382002, 2010 | 145 | 2010 |
| Conjunctive partial deduction: foundations, control, algorithms, and experiments D De Schreye, R Glück, J Jørgensen, M Leuschel, B Martens, ... The Journal of Logic Programming 41 (2), 231-277, 1999 | 136 | 1999 |
| Efficient multi-level generating extensions for program specialization R Glück, J Jørgensen International Symposium on Programming Language Implementation and Logic …, 1995 | 123 | 1995 |
| Towards a reversible functional language T Yokoyama, HB Axelsen, R Glück International Workshop on Reversible Computation, 14-29, 2011 | 108 | 2011 |
| Towards unifying partial evaluation, deforestation, supercompilation, and GPC MH Sørensen, R Glück, ND Jones Programming Languages and Systems - ESOP '94 788, 485-500, 1994 | 106* | 1994 |
| What do reversible programs compute? HB Axelsen, R Glück Foundations of Software Science and Computation Structures, 42-56, 2011 | 88 | 2011 |
| Reversible machine code and its abstract processor architecture HB Axelsen, R Glück, T Yokoyama Computer Science - Theory and Applications, 56-69, 2007 | 86 | 2007 |
| A roadmap to metacomputation by supercompilation R Glück, MH Sørensen Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005 | 78 | 2005 |
| Partial Evaluation O Danvy, R Glück, P Thiemann Lecture Notes in Computer Science 1110, 1996 | 78* | 1996 |
| Partial deduction and driving are equivalent R Glück, MH Sørensen International Symposium on Programming Language Implementation and Logic …, 1994 | 77 | 1994 |
| Principles of inverse computation and the universal resolving algorithm SM Abramov, R Glück The Essence of Computation: Complexity, Analysis, Transformation, 269-295, 2002 | 74 | 2002 |
| An automatic program generator for multi-level specialization R Glück, J Jørgensen Lisp and Symbolic Computation 10 (2), 113-158, 1997 | 70 | 1997 |
| A program inverter for a functional language with equality and constructors R Glück, M Kawabe APLAS, 246-264, 2003 | 67 | 2003 |
| Partial evaluation of numerical programs in Fortran R Baier, R Glück, R Zöchling PEPM 94, 119-132, 1994 | 66 | 1994 |
Tetsuo YokoyamaDepartment of Electronics and Communication TechnologyVerified email at acm.org
