Person: Robert Glück

DBLP: Gl=uuml=ck:Robert

Facilitated 3 volumes:

Ed

Ed

Ed

Contributed to:

2011

2011

2011

2009

2008

2008

2007

2005

2004

2003

2002

2001

2001

1998

2001

1998

1996

1996

1995

1995

1995

1994

1994

1994

1994

1993

1991

Wrote 29 papers:

BX-2011-Glueck #programming language

Principles of Reversible Programming Languages (RG), p. 50.

FoSSaCS-2011-AxelsenG #question #source code #what

What Do Reversible Programs Compute? (HBA, RG), pp. 42–56.

LATA-2011-AxelsenG #performance #turing machine

A Simple and Efficient Universal Reversible Turing Machine (HBA, RG), pp. 117–128.

PEPM-2009-Gluck #question

Is there a fourth Futamura projection? (RG), pp. 51–60.

BX-2008-Glueck

Languages Short Talk 1 (RG), p. 1.

BX-2008-Glueck1 #programming language

Reversible Programming Languages (RG), p. 35.

ICALP-B-2008-YokoyamaAG #theorem

Reversible Flowchart Languages and the Structured Reversible Program Theorem (TY, HBA, RG), pp. 258–270.

PEPM-2007-YokoyamaG #programming language #self

A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.

PADL-2005-KawabeG

The Program Inverter LRinv and Its Structure (MK, RG), pp. 219–234.

FLOPS-2004-GluckK #lr #parsing #source code

Derivation of Deterministic Inverse Programs Based on LR Parsing (RG, MK), pp. 291–306.

PEPM-2003-GluckKH #partial evaluation

Transforming interpreters into inverse interpreters by partial evaluation (RG, YK, TH), pp. 10–19.

ASIA-PEPM-2002-FutamuraKG #algorithm #automation #generative #performance #string

Automatic generation of efficient string matching algorithms by generalized partial computation (YF, ZK, RG), pp. 1–8.

ASIA-PEPM-2002-Gluck

Jones optimality, binding-time improvements, and the strength of program specializers (RG), pp. 9–19.

LOPSTR-2001-KakehiGF #deforestation #on the #parametricity

On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.

RTA-2001-KuhnemannGK #cumulative #functional #source code

Relating Accumulative and Non-accumulative Functional Programs (AK, RG, KK), pp. 154–168.

FLOPS-1998-AbramovG #approach #programming language #semantics #standard

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (SMA, RG), pp. 247–270.

FLOPS-J2-1998-AbramovG01 #semantics #standard

From Standard to Non-Standard Semantics by Semantics Modifiers (SMA, RG), pp. 171–211.

LOPSTR-1998-GluckHJ #online

Generalization in Hierarchies of Online Program Specialization Systems (RG, JH, JJ), pp. 179–198.

PLILP-1996-GluckJMS #deduction

Controlling Conjunctive Partial Deduction (RG, JJ, BM, MHS), pp. 152–166.

SAC-1996-SperberGT #higher-order

Bootstrapping higher-order program transformers from interpreters (MS, RG, PT), pp. 408–413.

ILPS-1995-SorensenG #algorithm #supercompilation

An Algorithm of Generalization in Positive Supercompilation (MHS, RG), pp. 465–479.

LOPSTR-1995-Gluck #on the #program transformation

On the Mechanics of Metasystem Hierarchies in Program Transformation (RG), pp. 234–251.

PLILP-1995-GluckJ #generative #multi #performance

Efficient Multi-level Generating Extensions for Program Specialization (RG, JJ), pp. 259–278.

ESOP-1994-SorensenGJ #deforestation #partial evaluation #supercompilation #towards

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.

PEPM-1994-BaierGZ #fortran #partial evaluation #source code

Partial Evaluation of Numerical Programs in Fortran (RB, RG, RZ), pp. 119–132.

PLILP-1994-GluckS #deduction

Partial Deduction and Driving are Equivalent (RG, MHS), pp. 165–181.

SAS-1994-GluckJ #deforestation #generative #supercompilation

Generating Transformers for Deforestation and Supercompilation (RG, JJ), pp. 432–448.

WSA-1993-GluckK #process

Occam’s Razor in Metacompuation: the Notion of a Perfect Process Tree (RG, AVK), pp. 112–123.

PEPM-1991-Gluck #multi #self #towards

Towards Multiple Self-Application (RG), pp. 309–320.