BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Cyprus
1 × France
1 × Iceland
1 × Italy
2 × Spain
2 × United Kingdom
3 × Germany
3 × Japan
3 × The Netherlands
7 × USA
Collaborated with:
J.Jørgensen M.H.Sørensen H.B.Axelsen M.Kawabe S.M.Abramov T.Yokoyama Y.Futamura K.Kakehi A.V.Klimov Y.Kawada T.Hashimoto Z.Konishi A.Kühnemann J.Hatcliff M.Sperber P.Thiemann N.D.Jones R.Baier R.Zöchling B.Martens
Talks about:
program (15) revers (7) partial (6) languag (6) transform (4) interpret (4) semant (4) supercompil (3) standard (3) deforest (3)

Person: Robert Glück

DBLP DBLP: Gl=uuml=ck:Robert

Facilitated 3 volumes:

PEPM 2008Ed
GPCE 2005Ed
GPCE 2005Ed

Contributed to:

BX 20112011
FOSSACS 20112011
LATA 20112011
PEPM 20092009
BX 20082008
ICALP (2) 20082008
PEPM 20072007
PADL 20052005
FLOPS 20042004
PEPM 20032003
ASIA-PEPM 20022002
LOPSTR 20012001
RTA 20012001
FLOPS 19981998
IJFCS/FLOPS 19982001
LOPSTR 19981998
PLILP 19961996
SAC 19961996
ILPS 19951995
LOPSTR 19951995
PPDP 19951995
ESOP 19941994
PEPM 19941994
PLILP 19941994
SAS 19941994
WSA 19931993
PEPM 19911991

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.
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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.