default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert Paige
@article{DBLP:journals/ma/LiuHWP17,
author = {Xuejing Liu and
Lei Huo and
Xuerong Meggie Wen and
Robert Paige},
title = {A link-free approach for testing common indices for three or more
multi-index models},
journal = {J. Multivar. Anal.},
volume = {153},
pages = {236--245},
year = {2017},
url = {https://doi.org/10.1016/j.jmva.2016.10.002},
doi = {10.1016/J.JMVA.2016.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ma/LiuHWP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ma/LiuYWP15,
author = {Xuejing Liu and
Zhou Yu and
Xuerong Meggie Wen and
Robert Paige},
title = {On testing common indices for two multi-index models: {A} link-free
approach},
journal = {J. Multivar. Anal.},
volume = {136},
pages = {75--85},
year = {2015},
url = {https://doi.org/10.1016/j.jmva.2015.01.009},
doi = {10.1016/J.JMVA.2015.01.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ma/LiuYWP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Paige05,
author = {Robert Paige},
title = {An {NSF} Proposal},
journal = {High. Order Symb. Comput.},
volume = {18},
number = {1-2},
pages = {211--235},
year = {2005},
url = {https://doi.org/10.1007/s10990-005-7009-2},
doi = {10.1007/S10990-005-7009-2},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Paige05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GoyalP98,
author = {Deepak Goyal and
Robert Paige},
editor = {Giorgio Levi},
title = {A New Solution to the Hidden Copy Problem},
booktitle = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
September 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1503},
pages = {327--348},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49727-7\_20},
doi = {10.1007/3-540-49727-7\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GoyalP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Paige97,
author = {Robert Paige},
title = {Future Directions In Program Transformations},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {1},
pages = {94--97},
year = {1997},
url = {https://doi.org/10.1145/251595.251609},
doi = {10.1145/251595.251609},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Paige97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChangP97,
author = {Chia{-}Hsiang Chang and
Robert Paige},
title = {From Regular Expressions to DFA's Using Compressed NFA's},
journal = {Theor. Comput. Sci.},
volume = {178},
number = {1-2},
pages = {1--36},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00140-5},
doi = {10.1016/S0304-3975(96)00140-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChangP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/GoyalP97,
author = {Deepak Goyal and
Robert Paige},
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {The formal reconstruction and speedup of the linear time fragment
of Willard's relational calculus subset},
booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
pages = {382--414},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 03 Jan 2002 11:52:45 +0100},
biburl = {https://dblp.org/rec/conf/alc/GoyalP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PaigeY97,
author = {Robert Paige and
Zhe Yang},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {High Level Reading and Data Structure Compilation},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {456--469},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263762},
doi = {10.1145/263699.263762},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PaigeY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Paige96,
author = {Robert Paige},
title = {Future Directions in Program Transformations},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {170},
year = {1996},
url = {https://doi.org/10.1145/242224.242444},
doi = {10.1145/242224.242444},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Paige96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cad/BoumaFHCP95,
author = {William Bouma and
Ioannis Fudos and
Christoph M. Hoffmann and
Jiazhen Cai and
Robert Paige},
title = {Geometric constraint solver},
journal = {Comput. Aided Des.},
volume = {27},
number = {6},
pages = {487--501},
year = {1995},
url = {https://doi.org/10.1016/0010-4485(94)00013-4},
doi = {10.1016/0010-4485(94)00013-4},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cad/BoumaFHCP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BloomP95,
author = {Bard Bloom and
Robert Paige},
title = {Transformational Design and Implementation of a New Efficient Solution
to the Ready Simulation Problem},
journal = {Sci. Comput. Program.},
volume = {24},
number = {3},
pages = {189--220},
year = {1995},
url = {https://doi.org/10.1016/0167-6423(95)00003-B},
doi = {10.1016/0167-6423(95)00003-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BloomP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaiP95,
author = {Jiazhen Cai and
Robert Paige},
title = {Using Multiset Discrimination to Solve Language Processing Problems
Without Hashing},
journal = {Theor. Comput. Sci.},
volume = {145},
number = {1{\&}2},
pages = {189--228},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00183-J},
doi = {10.1016/0304-3975(94)00183-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaiP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HenriksenJJKPRS95,
author = {Jesper G. Henriksen and
Jakob L. Jensen and
Michael E. J{\o}rgensen and
Nils Klarlund and
Robert Paige and
Theis Rauhe and
Anders Sandholm},
editor = {Ed Brinksma and
Rance Cleaveland and
Kim Guldstrand Larsen and
Tiziana Margaria and
Bernhard Steffen},
title = {Mona: Monadic Second-Order Logic in Practice},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, First
International Workshop, {TACAS} '95, Aarhus, Denmark, May 19-20, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1019},
pages = {89--110},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60630-0\_5},
doi = {10.1007/3-540-60630-0\_5},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HenriksenJJKPRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Paige94,
author = {Robert Paige},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Viewing {A} program Transformation System At Work},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {5},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_3},
doi = {10.1007/3-540-58431-5\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/Paige94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Paige94,
author = {Robert Paige},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Efficient Translation of External Input in a Dynamically Typed Language},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {603--608},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Paige94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Paige94,
author = {Robert Paige},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Viewing {A} Program Transformation System At Work},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {5--24},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_3},
doi = {10.1007/3-540-58402-1\_3},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Paige94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CaiP93,
author = {Jiazhen Cai and
Robert Paige},
editor = {David Notkin},
title = {Towards Increased Productivity of Algorithm Implementation},
booktitle = {Proceedings of the First {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1993, Los Angeles, California,
USA, December 7-10, 1993},
pages = {71--78},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/256428.167067},
doi = {10.1145/256428.167067},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CaiP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaiPT92,
author = {Jiazhen Cai and
Robert Paige and
Robert Endre Tarjan},
title = {More Efficient Bottom-Up Multi-Pattern Matching in Trees},
journal = {Theor. Comput. Sci.},
volume = {106},
number = {1},
pages = {21--60},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90277-M},
doi = {10.1016/0304-3975(92)90277-M},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaiPT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/ChangP92,
author = {Chia{-}Hsiang Chang and
Robert Paige},
editor = {Alberto Apostolico and
Maxime Crochemore and
Zvi Galil and
Udi Manber},
title = {From Regular Expressions to DFA's Using Compressed NFA's},
booktitle = {Combinatorial Pattern Matching, Third Annual Symposium, {CPM} 92,
Tucson, Arizona, USA, April 29 - May 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {644},
pages = {90--110},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56024-6\_8},
doi = {10.1007/3-540-56024-6\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/cpm/ChangP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/napaw/BloomP92,
author = {Bard Bloom and
Robert Paige},
editor = {S. Purushothaman and
Amy E. Zwarico},
title = {Computing Ready Simulations Efficiently},
booktitle = {{NAPAW} 92, Proceedings of the First North American Process Algebra
Workshop, Stony Brook, New York, USA, 28 Agust 1992},
series = {Workshops in Computing},
pages = {119--134},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3217-2\_8},
doi = {10.1007/978-1-4471-3217-2\_8},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/napaw/BloomP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CaiP91,
author = {Jiazhen Cai and
Robert Paige},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Language Polynomial in the Input Plus Output},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {287--300},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/CaiP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CaiP91,
author = {Jiazhen Cai and
Robert Paige},
editor = {David S. Wise},
title = {"Look Ma, No Hashing, And No Arrays Neither"},
booktitle = {Conference Record of the Eighteenth Annual {ACM} Symposium on Principles
of Programming Languages, Orlando, Florida, USA, January 21-23, 1991},
pages = {143--154},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/99583.99605},
doi = {10.1145/99583.99605},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CaiP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/CaiPT90,
author = {Jiazhen Cai and
Robert Paige and
Robert Endre Tarjan},
editor = {Andr{\'{e}} Arnold},
title = {More Efficient Bottom-Up Tree Pattern Matching},
booktitle = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
Denmark, May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {431},
pages = {72--86},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52590-4\_41},
doi = {10.1007/3-540-52590-4\_41},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/CaiPT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Paige90,
author = {Robert Paige},
editor = {Neil D. Jones},
title = {Symbolic Finite Differencing - Part {I}},
booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {432},
pages = {36--56},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52592-0\_54},
doi = {10.1007/3-540-52592-0\_54},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Paige90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CaiP89,
author = {Jiazhen Cai and
Robert Paige},
title = {Program Derivation by Fixed Point Computation},
journal = {Sci. Comput. Program.},
volume = {11},
number = {3},
pages = {197--261},
year = {1989},
url = {https://doi.org/10.1016/0167-6423(88)90033-0},
doi = {10.1016/0167-6423(88)90033-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CaiP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PaigeH87,
author = {Robert Paige and
Fritz Henglein},
title = {Mechanical Translation of Set Theoretic Problem Specifications into
Efficient {RAM} Code-A Case Study},
journal = {J. Symb. Comput.},
volume = {4},
number = {2},
pages = {207--232},
year = {1987},
url = {https://doi.org/10.1016/S0747-7171(87)80066-4},
doi = {10.1016/S0747-7171(87)80066-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PaigeH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/PaigeT87,
author = {Robert Paige and
Robert Endre Tarjan},
title = {Three Partition Refinement Algorithms},
journal = {{SIAM} J. Comput.},
volume = {16},
number = {6},
pages = {973--989},
year = {1987},
url = {https://doi.org/10.1137/0216062},
doi = {10.1137/0216062},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/PaigeT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paa/ApostolicoIP87,
author = {Alberto Apostolico and
Costas S. Iliopoulos and
Robert Paige},
editor = {Andreas Alexander Albrecht and
Hermann Jung and
Kurt Mehlhorn},
title = {On O(n log n) Cost Parallel Algorithm for the Single Function Coarsest
Partition Problem},
booktitle = {Parallel Algorithms and Architectures, International Workshop, Suhl,
GDR, May 25-30, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {269},
pages = {70--76},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18099-0\_30},
doi = {10.1007/3-540-18099-0\_30},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/paa/ApostolicoIP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CaiP87,
author = {Jiazhen Cai and
Robert Paige},
title = {Binding Performance at Language Design Time},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {85--97},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41633},
doi = {10.1145/41625.41633},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CaiP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Paige86,
author = {Robert Paige},
title = {Programming with Invariants},
journal = {{IEEE} Softw.},
volume = {3},
number = {1},
pages = {56--69},
year = {1986},
url = {https://doi.org/10.1109/MS.1986.233070},
doi = {10.1109/MS.1986.233070},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Paige86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PaigeTB85,
author = {Robert Paige and
Robert Endre Tarjan and
Robert Bonic},
title = {A Linear Time Solution to the Single Function Coarsest Partition Problem},
journal = {Theor. Comput. Sci.},
volume = {40},
pages = {67--84},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90159-8},
doi = {10.1016/0304-3975(85)90159-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PaigeTB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/PaigeH85,
author = {Robert Paige and
Fritz Henglein},
editor = {Bob F. Caviness},
title = {Mechanical Translation of Set Theoretic Problem Specifications into
Efficient {RAM} Code - {A} Case Study},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 2: Research Contributions},
series = {Lecture Notes in Computer Science},
volume = {204},
pages = {554--567},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15984-3\_329},
doi = {10.1007/3-540-15984-3\_329},
timestamp = {Tue, 29 Aug 2023 20:47:14 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/PaigeH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PaigeT84,
author = {Robert Paige and
Robert Endre Tarjan},
editor = {Jan Paredaens},
title = {A Linear Time Algorithm to Solve the Single Function Coarsest Partition
Problem},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {371--379},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_33},
doi = {10.1007/3-540-13345-3\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PaigeT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GoldbergP84,
author = {Allen Goldberg and
Robert Paige},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Stream Processing},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {53--62},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802021},
doi = {10.1145/800055.802021},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GoldbergP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Paige83,
author = {Robert Paige},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Transformational Programming - Applications to Algorithms and Systems},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {73--87},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567076},
doi = {10.1145/567067.567076},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Paige83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PaigeK82,
author = {Robert Paige and
Shaye Koenig},
title = {Finite Differencing of Computable Expressions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {402--454},
year = {1982},
url = {https://doi.org/10.1145/357172.357177},
doi = {10.1145/357172.357177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PaigeK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbt/Paige82,
author = {Robert Paige},
editor = {Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas and
Jack Minker},
title = {Applications of Finite Differencing to Database Integrity Control
and Query/Transaction Optimization},
booktitle = {Advances in Data Base Theory, Vol. 2, Based on the Proceedings of
the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'{\'{e}}tudes
et de recherches de Toulouse, France},
series = {Advances in Data Base Theory},
pages = {171--209},
publisher = {Plemum Press},
address = {New York},
year = {1982},
timestamp = {Thu, 29 Mar 2018 16:54:19 +0200},
biburl = {https://dblp.org/rec/conf/adbt/Paige82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/KoenigP81,
author = {Shaye Koenig and
Robert Paige},
title = {A Transformational Framework for the Automatic Control of Derived
Data},
booktitle = {Very Large Data Bases, 7th International Conference, September 9-11,
1981, Cannes, France, Proceedings},
pages = {306--318},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
biburl = {https://dblp.org/rec/conf/vldb/KoenigP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Paige79,
author = {Robert Paige},
title = {Expression Continuity and the Formal Differentiation of Algorithms},
school = {New York University, {USA}},
year = {1979},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Paige79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PaigeS77,
author = {Robert Paige and
Jacob T. Schwartz},
editor = {Robert M. Graham and
Michael A. Harrison and
Ravi Sethi},
title = {Reduction in Strength of High Level Operations},
booktitle = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
Languages, Los Angeles, California, USA, January 1977},
pages = {58--71},
publisher = {{ACM}},
year = {1977},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/popl/PaigeS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
