Bibliography
@TechReport{Ram92,
author = "Norman Ramsey",
title = "Literate Programming Tools Need Not Be Complex",
institution = "Department of Computer Science, Princeton University",
number = "TR-351-91",
pages = "42",
month = oct # " 1991, revised " # sep,
year = "1992"
}
@techreport{Rek89c,
key = {Rek89},
author = {J. Rekers},
title = {{M}odular parser generation},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8933},
address = {Amsterdam},
year = {1989}
}
@inproceedings{RY89,
key = {RY89},
author = {T. Reps and W. Yang},
title = {The Semantics of Program Slicing and Program
Integration},
booktitle = {Proceedings of the Colloquium on Current
Issues in
Programming Languages},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {60-74},
year = {1989}
}
@techreport{RY88,
key = {RY88},
author = {T. Reps and W. Yang},
title = {The Semantics of Program Slicing},
institution = {University of Wisconsin-Madison},
type = {Computer Sciences Technical Report \#777},
year = {1988}
}
@misc{RS,
key = {RS},
author = {J.-C. Raoult and R. Sethi},
title = {{P}roperties of a notation for combining
functions},
pages = {429-441}}
@article{Rei83,
key = {Rei83},
author = {S.P. Reiss},
title = {{G}eneration of compiler symbol processing
mechanisms from specifications},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {5},
number = {2},
pages = {127-163},
year = {1983}}
@techreport{Rek87a,
key = {Rek87a},
author = {J. Rekers},
title = {{A} parser generator for finitely ambiguous
context-free grammars},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8712},
address = {Amsterdam},
year = {1987},
note = {Extended abstract in: Conference Proceedings of
Computing
Science in the Netherlands, CSN'87, pp. 69-86,
SION (1987)}}
@inproceedings{Rek87b,
key = {Rek87b},
author = {J. Rekers},
title = {{A} parser generator for finitely ambiguous
context-free grammars},
booktitle = {Conference Proceedings of Computing Science in
the Netherlands, CSN'87},
pages = {69-86},
organization = {SION},
address = {Amsterdam},
year = {1987}}
@techreport{RK90,
key = {RK90},
author = {J. Rekers and J.W.C. Koorn},
title = {Substring parsing for arbitrary context-free
grammars},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9037},
address = {Amsterdam},
year = {1990}}
@inproceedings{RZ84,
key = {RZ84},
author = {J.L. Remy and H. Zhang},
title = {{REVEUR} 4: A system for validating conditional
algebraic specifications of abstract data types},
booktitle = {ECAI-84: Advances in Artificial Intelligence},
editor = {T. O'Shea},
pages = {563-572},
organization = {Elsevier},
year = {1984}}
@inproceedings{RMT86,
key = {RMT86},
author = {T. Reps and C. Marceau and T. Teitelbaum},
title = {Remote attribute updating for language-based
editors},
booktitle = {Conference Record of the Thirteenth Annual ACM
Symposium
on Principles of Programming Languages},
pages = {1-13},
organization = {ACM},
year = {1986}}
@article{RTD83,
key = {RTD83},
author = {T. Reps and T. Teitelbaum and A. Demers},
title = {{I}ncremental context-dependent analysis for
language-based editors},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {5},
number = {3},
pages = {449-477},
year = {1983}}
@article{Rey85,
key = {Rey85},
author = {J.C. Reynolds},
title = {{T}hree approaches to type structure},
journal = {Lecture Notes in Computer Science},
year = {1985}}
@article{Ric85,
key = {Ric85},
author = {H. Richter},
title = {{N}oncorrecting syntax error recovery},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {7},
number = {3},
pages = {478-489},
year = {1985}}
@misc{Rin,
key = {Rin},
author = {J. Ringstr{\"{o}}m},
title = {{PREDULA}, {A} multi-paradigm parallel
programming environment},
address = {Link{\"{o}}ping},
note = {Draft}}
@inproceedings{Rob71,
key = {Rob71},
author = {J.A. Robinson},
title = {{C}omputational logic: the unification
computation},
booktitle = {Machine Intelligence 6},
editor = {Meltzer and Michie},
pages = {63-72},
year = {1971}}
@article{Ros73,
key = {Ros73},
author = {B.K. Rosen},
title = {{T}ree-manipulating systems and
{C}hurch-{R}osser theorems},
journal = {Journal of the ACM},
volume = {20},
number = {1},
pages = {160-187},
year = {1973}}
@inproceedings{RC88,
key = {RC88},
author = {T. Rush and D. Coleman},
title = {{A}rchitecture for conditional term rewriting},
booktitle = {Proceedings of the First International Workshop
on Conditional Term Rewriting Systems},
series = {Lecture Notes in Computer Science},
editor = {S. Kaplan and J.-P. Jouannaud},
volume = {308},
pages = {266-278},
organization = {Springer-Verlag},
year = {1988}}
@inproceedings{Rus85,
key = {Rus85},
author = {M. Rusinowitch},
title = {{P}ath of subterms ordering and recursive
decomposition ordering revisited},
booktitle = {Proceedings of the First International
Conference on Rewriting Techniques and Applications},
series = {Lecture Notes in Computer Science},
editor = {J.-P. Jouannaud},
volume = {202},
pages = {225-240},
organization = {Springer-Verlag},
year = {1985}}
@inproceedings{RR93,
author = "G. Ramalingam and T. Reps",
title = "A Categorized bibliography on incremental
computation",
booktitle = "Conference Record of the Twentieth ACM
Symposium on Principles of Programming
Languages",
pages = "502-510",
organization = "ACM",
year = "1993"}
@techreport{RR91,
key = "RR91",
author = "G. Ramalingam and T. Reps",
title = "On the computational complexity of incremental
algorithms",
institution = "University of Wisconsin-Madison",
type = "{C}omputer {S}cience {T}echnical {R}eports
1033",
year = "1991"}
@techreport{Rek91a,
key = {Rek91},
author = {J. Rekers},
title = {Generalized {LR} parsing for general
context-free grammars},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9153},
address = {Amsterdam},
year = {1991}
}
@inproceedings{RK91a,
key = {RK91a},
author = {J. Rekers and W. Koorn},
title = {Substring parsing for arbitrary context-free
grammars},
booktitle = {Proceedings of the Second International
Workshop on
Parsing Technologies, {IWPT}'91},
pages = {218-224},
organization = {Association for Computational Linguistics},
year = {1991},
note = {Also in: {\it SIGPLAN Notices},
26(5):59-66,1991}
}
@incollection{Rek89a,
key = {Rek89},
author = {J. Rekers},
title = {{A}n implementation of {SDF}},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {339-358},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
address = {Amsterdam},
year = {1989},
note = {Chapter 8}}
@manual{Rek89b,
key = {Rek89},
author = {J. Rekers},
title = {{I}mplementation of {SDF}},
series = {The CENTAUR Documentation - Version 0.9, Volume
II - User's Manual},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@techreport{Rep82,
key = {Rep82},
author = {T. Reps},
title = {{G}enerating language-based environments},
institution = {Cornell University},
type = {{T}echnical report {TR} 82-514},
address = {Ithaca},
year = {1982},
note = {Ph.D. Thesis}}
@book{RT89a,
key = {RT89},
author = {T. Reps and T. Teitelbaum},
title = {{T}he {S}ynthesizer {G}enerator: a {S}ystem for
{C}onstructing {L}anguage-{B}ased {E}ditors},
publisher = {Springer-Verlag},
year = {1989}}
@book{RT89b,
key = {RT89},
author = {T. Reps and T. Teitelbaum},
title = {{T}he {S}ynthesizer {G}enerator {R}eference
{M}anual - {T}hird edition},
publisher = {Springer-Verlag},
year = {1989}}
@manual{Rid89,
key = {Rid89},
author = {L. Rideau},
title = {{A}n experiment in implementing specifications
of a new language in the {C}entaur system},
series = {The CENTAUR Documentation - Version 0.9, Volume
I - User's Guide},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@TechReport{Ros95a,
author = "Guido van Rossum",
title = "Python Tutorial",
institution = "CWI",
year = 1995,
number = "CS-R9526",
month = "april"
}
@TechReport{Ros95b,
author = "Guido van Rossum",
title = "Extending and embedding the Python interpreter",
institution = "CWI",
year = 1995,
number = "CS-R9527",
month = "april"
}
@TechReport{Ros95c,
author = "Guido van Rossum",
title = "Python reference manual",
institution = "CWI",
year = 1995,
number = "CS-R9525",
month = "april"
}
@Article{Roy94,
author = "Peter van Roy",
title = "1983--1993: The wonder years of sequential Prolgog Implementation",
key = "Roy94",
journal = "The Journal Of Logic Programming",
year = 1994,
number = "19,20",
pages = "385--441"
}
@inproceedings{RV94,
key = "RV94",
title = "Parallel computations with algebraic numbers a case study: Jordan
normal form of matrices",
author = "J.L. Roch and G. Villard",
pages = "701--712",
booktitle = "PARLE'94 Parallel Architectures and Languages Europe",
editor = "C. Halatsis and D. Maritsas and G. Philokyprou and S. Theodoridis",
year = "1994",
series = "Lecture Notes in Computer Science",
volume = "817"
}
@article{RW93,
key = "RW93",
title = "Heap profiling of lazy functional programs",
author = "Colin Runciman and David Wakeling",
journal = "Journal of Functional Programming",
volume = "3",
number = "2",
year = "1993",
month = "April",
pages = "217--245"
}
@article{RM83,
key = "RM83",
title = "The Liveness Property of on-the-fly Garbage Collector -- A Proof",
author = "S. Ramesh and S.L. Mehndiratta",
journal = "Information Processing Letters",
volume = "17",
number = "4",
year = "1983",
publisher = "Elsevier Science Publishers",
pages = "189--195"
}
@inproceedings{Red85,
author = {U.S. Reddy},
title = {Narrowing as the Operational Semantics of Functional
Languages},
booktitle = {Proceedings of the {IEEE} International Symposium on
Logic Programming},
year = {1985},
pages = {1387--151}
}
@phdthesis{Rek92,
key = {Rek92},
author = {J. Rekers},
title = {Parser Generation for Interactive Environments},
school = {University of Amsterdam},
year = {1992},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
Rek92.ps.Z}
}
@Unpublished{Ros95d,
author = "Kristoffer H. Rose",
title = "Deriving Abstract Machines with Sharing",
note = "Available from http://www.diku.dk/~kris/, submitted
to ICFP '96, October 1995"
}