Follow
Robert Glück
Robert Glück
DIKU, Department of Computer Science, University of Copenhagen
Verified email at di.ku.dk - Homepage
Title
Cited by
Cited by
Year
Generative programming and active libraries
K Czarnecki, U Eisenecker, R Glück, D Vandevoorde, T Veldhuizen
Generic Programming 1766, 25-39, 2000
310*2000
A positive supercompiler
MH Sørensen, R Glück, ND Jones
Journal of Functional Programming 6 (6), 811-838, 1996
2291996
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
2121995
A reversible programming language and its invertible self-interpreter
T Yokoyama, R Glück
Symposium on Partial Evaluation and Semantics-Based Program Manipulation …, 2007
1802007
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008
1542008
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
1451993
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
1261999
Efficient multi-level generating extensions for program specialization
R Glück, J Jørgensen
International Symposium on Programming Language Implementation and Logic …, 1995
1171995
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
1102010
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
107*1994
Partial Evaluation
O Danvy, R Glück, P Thiemann
Lecture Notes in Computer Science 1110, 1996
104*1996
A roadmap to metacomputation by supercompilation
R Glück, MH Sørensen
Partial Evaluation, 137-160, 1996
771996
Partial deduction and driving are equivalent
R Glück, MH Sørensen
International Symposium on Programming Language Implementation and Logic …, 1994
761994
What do reversible programs compute?
HB Axelsen, R Glück
Foundations of Software Science and Computation Structures, 42-56, 2011
732011
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
712011
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
Computer Science - Theory and Applications, 56-69, 2007
702007
Partial evaluation of numerical programs in Fortran
R Baier, R Glück, R Zöchling
PEPM 94, 119-132, 1994
681994
An automatic program generator for multi-level specialization
R Glück, J Jørgensen
Lisp and Symbolic Computation 10 (2), 113-158, 1997
651997
Principles of inverse computation and the universal resolving algorithm
SM Abramov, R Glück
The Essence of Computation: Complexity, Analysis, Transformation, 269-295, 2002
632002
A program inverter for a functional language with equality and constructors
R Glück, M Kawabe
APLAS, 246-264, 2003
592003
The system can't perform the operation now. Try again later.
Articles 1–20