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 × Germany
1 × Italy
2 × Denmark
2 × France
2 × Spain
5 × USA
Collaborated with:
J.Cai D.Goyal Z.Yang R.E.Tarjan A.Goldberg S.Koenig J.T.Schwartz J.G.Henriksen J.L.Jensen M.E.Jørgensen N.Klarlund T.Rauhe A.Sandholm
Talks about:
transform (4) algorithm (3) program (3) system (3) problem (2) level (2) work (2) view (2) time (2) high (2)

Person: Robert Paige

DBLP DBLP: Paige:Robert

Contributed to:

SAS 19981998
POPL 19971997
TACAS 19951995
ALP 19941994
PLILP 19941994
FSE 19931993
POPL 19911991
ESOP 19901990
POPL 19871987
ICALP 19841984
LFP 19841984
POPL 19831983
VLDB 19811981
POPL 19771977

Wrote 14 papers:

SAS-1998-GoyalP #problem
A New Solution to the Hidden Copy Problem (DG, RP), pp. 327–348.
POPL-1997-PaigeY #compilation #data type
High Level Reading and Data Structure Compilation (RP, ZY), pp. 456–469.
TACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named
Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.
ALP-1994-Paige #program transformation
Viewing A program Transformation System At Work (RP), p. 5.
PLILP-1994-Paige #program transformation
Viewing A Program Transformation System At Work (RP), pp. 5–24.
FSE-1993-CaiP #algorithm #implementation #towards
Towards Increased Productivity of Algorithm Implementation (JC, RP), pp. 71–78.
POPL-1991-CaiP #array #quote
“Look Ma, No Hashing, And No Arrays Neither” (JC, RP), pp. 143–154.
ESOP-1990-Paige #difference #finite
Symbolic Finite Differencing — Part I (RP), pp. 36–56.
POPL-1987-CaiP #design #performance
Binding Performance at Language Design Time (JC, RP), pp. 85–97.
ICALP-1984-PaigeT #algorithm #linear #problem
A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem (RP, RET), pp. 371–379.
Stream Processing (AG, RP), pp. 53–62.
POPL-1983-Paige #algorithm #programming
Transformational Programming — Applications to Algorithms and Systems (RP), pp. 73–87.
VLDB-1981-KoenigP #automation #framework
A Transformational Framework for the Automatic Control of Derived Data (SK, RP), pp. 306–318.
POPL-1977-PaigeS #reduction
Reduction in Strength of High Level Operations (RP, JTS), pp. 58–71.

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.