Robert Glück - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2011

Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)Robert Glück, Eelco Visser. SCP, 76(5):347-348, May 2011. [doi]

2009

An Experiment with the Fourth Futamura ProjectionRobert Glück. In Ershov Memorial Conference. 2009: [doi]

Is there a fourth Futamura projection?Robert Glück. PEPM 2009: 51-60 [doi]

2008

2007

Reversible Machine Code and Its Abstract Processor ArchitectureHolger Bock Axelsen, Robert Glück, Tetsuo Yokoyama. csr 2007: 56-69 [doi]

A reversible programming language and its invertible self-interpreterTetsuo Yokoyama, Robert Glück. PEPM 2007: 144-153 [doi]

2006

An Universal Resolving Algorithm for Inverse Computation of Lazy LanguagesSergei M. Abramov, Robert Glück, Yuri A. Klimov. ershov 2007: 27-40 [doi]

On Jones-Optimal Specializers: A Case Study Using UnmixJohan Gade, Robert Glück. aplas 2006: 406-422 [doi]

2005

Revisiting an automatic program inverter for LispRobert Glück, Masahiko Kawabe. SIGPLAN, 40(5):8-17, 2005. [doi]

A Method for Automatic Program Inversion Based on LR(0) ParsingRobert Glück, Masahiko Kawabe. FUIN, 66(4):367-395, 2005. [doi]

Generative Programming and Component Engineering, 4th International Conference, GPCE 2005Robert Glück, Michael R. Lowry, editors, Volume 3676 of Lecture Notes in Computer Science, Springer, Tallinn, Estonia, September 2005.

The Program Inverter LRinv and Its StructureMasahiko Kawabe, Robert Glück. padl 2005: 219-234 [doi]

2004

Offline partial evaluation can be as accurate as online partial evaluationNiels H. Christensen, Robert Glück. TOPLAS, 26(1):191-220, 2004. [doi]

Derivation of Deterministic Inverse Programs Based on LR ParsingRobert Glück, Masahiko Kawabe. FLOPS 2004: 291-306 [doi]

2003

A Program Inverter for a Functional Language with Equality and ConstructorsRobert Glück, Masahiko Kawabe. aplas 2003: 246-264 [doi]

The Translation Power of the Futamura ProjectionsRobert Glück. ershov 2003: 133-147 [doi]

Transforming interpreters into inverse interpreters by partial evaluationRobert Glück, Youhei Kawada, Takuya Hashimoto. PEPM 2003: 10-19 [doi]

2002

Principles of Inverse Computation and the Universal Resolving AlgorithmSergei M. Abramov, Robert Glück. BIRTHDAY 2002: 269-295 [doi]

The universal resolving algorithm and its correctness: inverse computation in a functional languageSergei M. Abramov, Robert Glück. SCP, 43(2-3):193-229, 2002. [doi]

Automatic generation of efficient string matching algorithms by generalized partial computationYoshihiko Futamura, Zenjiro Konishi, Robert Glück. PEPM 2002: 1-8 [doi]

WSDFU: Program Transformation System Based on Generalized Partial ComputationYoshihiko Futamura, Zenjiro Konishi, Robert Glück. BIRTHDAY 2002: 358-378 [doi]

An Automatic Program Inverter for Lisp: Potential and LimitationsRobert Glück, Masahiko Kawabe. aplas 2002: 230-245

Jones optimality, binding-time improvements, and the strength of program specializersRobert Glück. PEPM 2002: 9-19 [doi]

2001

2000

1999

Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit AllNiels H. Christensen, Robert Glück, Søren Laursen. ershov 2000: 80-92 [doi]

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software VerificationRobert Glück, Michael Leuschel. ershov 2000: 93-100 [doi]

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and ExperimentsDanny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen. jlp, 41(2-3):231-277, 1999.

1998

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming LanguagesSergei M. Abramov, Robert Glück. FLOPS 1998: 247-270

Generative Programming and Active LibrariesKrzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen. dagstuhl 2000: 25-39 [doi]

1998 Symposium on Partial EvaluationOlivier Danvy, Robert Glück, Peter Thiemann. ACM Comput. Surv., 30(3):285-290, 1998. [doi]

On the Degeneration of Program Generators by Program CompositionRobert Glück, Andrei V. Klimov. ngc, 16(1):75-96, 1998.

Multi-Level Specialization (Extended Abstract)Robert Glück, Jesper Jørgensen. PEPM 1999: 326-337

Generalization in Hierarchies of Online Program Specialization SystemsRobert Glück, John Hatcliff, Jesper Jørgensen. LOPSTR 1990: 179-198 [doi]

Introduction to SupercompilationMorten Heine Sørensen, Robert Glück. PEPM 1999: 246-270

1997

An Automatic Program Generator for Multi-Level SpecializationRobert Glück, Jesper Jørgensen. lisp, 10(2):113-158, 1997.

A Regeneration Scheme for Generating ExtensionsRobert Glück, Andrei V. Klimov. ipl, 62(3):127-134, 1997. [doi]

1996

Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected PapersOlivier Danvy, Robert Glück, Peter Thiemann, editors, Volume 1110 of Lecture Notes in Computer Science, Springer, 1996.

Controlling Conjunctive Partial DeductionRobert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen. plilp 1996: 152-166

A Roadmap to Metacomputation by SupercompilationRobert Glück, Morten Heine Sørensen. dagstuhl 1996: 137-160

Fast Binding-Time Analysis for Multi-Level SpecializationRobert Glück, Jesper Jørgensen. ershov 1996: 261-272

Reasoning about Hierarchies of Online Program Specialization SystemsJohn Hatcliff, Robert Glück. dagstuhl 1996: 161-182

Bootstrapping higher-order program transformers from interpretersMichael Sperber, Robert Glück, Peter Thiemann. SAC 1996: 408-413 [doi]

A Positive SupercompilerMorten Heine Sørensen, Robert Glück, Neil D. Jones. JFP, 6(6):811-838, 1996.

1995

Efficient Multi-level Generating Extensions for Program SpecializationRobert Glück, Jesper Jørgensen. plilp 1995: 259-278

On the Mechanics of Metasystem Hierarchies in Program TransformationRobert Glück. LOPSTR 1996: 234-251

Fortran Program SpecializationPaul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück. SIGPLAN, 30(4):61-70, 1995.

An Algorithm of Generalization in Positive SupercompilationMorten Heine Sørensen, Robert Glück. slp 1995: 465-479

1994

1993

Occam s Razor in Metacompuation: the Notion of a Perfect Process TreeRobert Glück, Andrei V. Klimov. SAS 1993: 112-123

1991

Towards Multiple Self-ApplicationRobert Glück. PEPM 1991: 309-320

1990

Application of Metasystem Transition to Function Inversion and TransformationRobert Glück, Valentin F. Turchin. issac 1990: 286-287 [doi]