Last update: Tue May 28 02:01:27 MDT 2024
Return to index directory
R
-
R, 7(4)447--449, 9(3)347--354, 11(2)253--262, 11(5)589--589, 13(4)824--826,
14(2)249--251, 14(5)598--600, 16(2)250--251, 21(1)115--117
-
Rabhi, 13(4)828--829
-
Rabhi, Fethi, 0(0)xi--235
-
Rabhi:1999:AFP, 0(0)xi--235
-
Rachel, 5(1)131--134
-
Racket, 0(0)0--0, 24(2)419--421
-
radically, 0(0)xi--277
-
radix, 9(3)339--346
-
Rafael, 7(2)227--229
-
Ragde, Prabhakar, 23(3)352--354, 30(z)z
-
Ragde:2013:BRO, 23(3)352--354
-
Ragde:2020:RAF, 30(z)z
-
railway, 21(3)309--329
-
Rainey, Mike, 20(5)537--576, 22(4)382--438, 26(z)z
-
Rainey, Mike, see Acar, Umut A.,
see Bergstrom, Lars, \see{Fluet, Matthew
-
rainfall, 31(z)z
-
Rakow, Ramon, 32(z)z
-
Rakow, Ramon, see Koronkevich, Paulette
-
Ramakrishnan, 14(2)249--251
-
Ramakrishnan, C. R., 7(2)183--217
-
Ramakrishnan, C. R., see Kaser, Owen
-
Ramakrishnan, I. V., 7(2)183--217
-
Ramakrishnan, I. V., see Kaser, Owen
-
Ramsey, Norman, 13(3)601--646, 21(6)585--615
-
Ramsey:2003:PAR, 13(3)601--646
-
Ramsey:2011:EIL, 21(6)585--615
-
random, 2(2)203--212, 13(1)235--240, 25(z)z
-
random, pseudo-, 25(z)z
-
random-access, 30(z)z
-
random-number, 2(2)203--212
-
RandomGen, 13(1)149--152
-
randomization, 9(6)605--624
-
range, 0(0)xv--240
-
ranging, 0(0)xxvi--586
-
rank, arbitrary-, 17(1)1--82
-
Ranta, Aarne, 14(2)145--189, 18(5)567--598
-
Ranta, Aarne, see Bringert, Björn
-
Ranta:2004:GF, 14(2)145--189
-
rational, 13(1)149--152, 16(3)281--291, 27(z)z
-
Ray, Sandip, 18(1)15--46
-
Ray, Sandip, see Greve, David A.
-
Raymond, Jean-, 22(2)217--219
-
Rayward-Smith, V. J., 4(1)65--75
-
Rayward-Smith, V. J., see Burton, F. Warren
-
re-evaluated, 22(4)574--613
-
re-examined, 19(2)173--190
-
reachability, 18(5)821--864
-
reactive, 0(0)xiv--600, 10(3)245--268, 17(6)813--814, 30(z)z, 32(z)z
-
Readash, 33(z)z--99999999
-
Reade, Chris, 3(2)247--250, 7(4)447--449, 14(1)125--128
-
Reade:1993:TC, 3(2)247--250
-
Reade:1997:BRM, 7(4)447--449
-
Reade:2004:BRP, 14(1)125--128
-
readers, 0(0)xvii--485, 0(0)xxvi--586
-
reading, 0(0)xviii--471
-
Ready, 31(z)z
-
real-time, 31(z)z
-
real-world, 0(0)xvii--485, 0(0)xxiii--402, 31(z)z
-
realistic, 3(3)315--346
-
Realm, 0(0)0--0, 24(2)419--421
-
reasoning, 0(0)xi--277, 0(0)xiv--427, 0(0)xviii--237, 0(0)xix--681,
0(0)xxvi--586, 14(5)588--589, 14(5)589--592, 18(1)15--46,
18(3)421--422, 21(6)663--664, 22(4)477--528, 22(6)797--852, 26(z)z,
31(z)z, 32(z)z, 33(z)z--99999999, 2654(0)xxii--398
-
rebinding, 18(4)437--502
-
reconfigured, 22(4)574--613
-
reconstruction, 5(2)201--224, 7(3)321--347, 23(1)1--37, 30(z)z
-
record, 10(2)137--166, 14(3)263--315, 24(6)675--716
-
rectangle, 21(2)119--128
-
recurrence, 32(z)z
-
recursion, 0(0)xiii--448, 2(1)73--79, 9(4)427--462, 12(1)1--41,
13(6)1061--1075, 21(3)235--286, 22(6)757--796, 26(z)z
-
recursive, 9(6)605--624, 12(6)511--548, 14(3)263--315, 17(4)433--471,
32(z)z, 33(z)z--99999999
-
recursive, non-, 3(2)191--215
-
recursively, 9(4)427--462
-
RED, 6(5)723--756
-
red-black, 9(4)471--477, 11(4)425--432, 24(4)423--433
-
redex-time, 18(4)437--502
-
Reduceron, 22(4)574--613
-
reducing, 0(0)xxiii--402, 2(2)233--236
-
reducing, full-, 29(z)z
-
reduction, 1(3)329--366, 5(4)637--651, 6(2)299--327, 6(5)723--756,
13(5)925--933, 18(3)373--419, 18(4)437--502, 27(z)z, 29(z)z,
31(z)z
-
Refactoring, 23(3)293--350
-
reference, 6(2)195--244, 13(1)125--138
-
refinement, 0(0)xxvi--586, 6(2)329--354
-
Refining, 5(4)637--651
-
reflect, 0(0)xxiii--657
-
reflective, 16(2)157--196
-
refutation, 27(z)z
-
region, 2(3)245--271, 12(3)229--292, 16(4)485--545, 31(z)z
-
register, 30(z)z
-
regular, 13(6)961--1004, 14(5)503--518, 16(6)711--750, 25(z)z, 31(z)z
-
Regular-expression, 19(2)173--190
-
Reichwein, James, 11(2)155--206
-
Reichwein, James, see Burnett, Margaret
-
Reina, José Luis, Ruiz-, 18(1)15--46
-
Reisig, Wolfgang, 27(z)z
-
Reisig, Wolfgang, see Brandt, Jörgen
-
relation, 0(0)xviii--471, 6(1)1--28, 14(5)519--546
-
relational, 19(5)545--579, 22(4)477--528, 31(z)z
-
relevant, Proof-, 28(z)z
-
Reliability, 0(0)xv--240
-
reliable, 14(1)21--68
-
remark, 16(2)137--155
-
removing, 1(2)235--243
-
Rémy, D., 5(1)111--130, see Abadi, M.
-
report, 6(2)355--364, 19(z)1--301, 20(2)123--136, 22(1)1--8,
23(6)701--712, 25(z)z
-
Reppy, 11(2)253--262, 16(2)250--251
-
Reppy, John, 19(2)173--190, 20(5)537--576, 22(4)382--438
-
Reppy, John, see Bergstrom, Lars,
see Fluet, Matthew, \see{Owens, Scott
-
Reppy, John H., 0(0)xiv--308
-
Reppy:1999:CPM, 0(0)xiv--308
-
representation, 2(1)61--72, 6(1)143--170, 6(1)181--188, 12(4)435--468,
14(5)588--589, 15(6)797--835, 22(4)529--573, 24(6)675--716, 25(z)z,
30(z)z, 32(z)z
-
Representing, 2(3)367--374, 6(4)563--585
-
request-response, 0(0)xvi--133
-
requests, 0(0)xvi--133
-
require, 0(0)xv--240, 0(0)xvi--133
-
Research, 10(5)501--508
-
researchers, 0(0)xv--240
-
Residual, 4(3)371--394
-
resource, 6(1)29--46, 25(z)z
-
response, request-, 0(0)xvi--133
-
REST, 0(0)xvi--133
-
rest, 0(0)xviii--471
-
restriction, 27(z)z, 34(z)z--99999999
-
result, 14(2)211--245
-
retrieval, 5(3)317--343
-
Retrieving, 1(2)191--211
-
return, 0(0)xvi--133, 30(z)z
-
return, Multi-, 16(4)547--582
-
return-time, 22(3)275--299
-
returning, 0(0)xviii--471
-
Reus, B., 8(6)543--572
-
Reus, B., see Streicher, Th.
-
reusable, 1(2)191--211, 13(3)601--646, 31(z)z
-
revealed, 12(6)511--548, 28(z)z
-
reversal, bit-, 10(3)305--317
-
reverse, 32(z)z
-
review, 2(2)227--231, 2(3)365--365, 4(4)557--559, 5(1)131--134,
5(4)653--660, 6(1)189--193, 6(2)375--377, 7(2)227--229,
7(4)447--449, 7(5)555--556, 7(6)667--668, 8(4)445--446,
8(5)537--542, 8(6)633--637, 9(1)105--111, 9(3)347--354,
9(4)479--482, 9(5)577--578, 10(5)501--508, 11(2)253--262,
11(4)433--436, 11(5)589--589, 12(1)89--90, 13(4)823--824,
13(4)824--826, 13(4)826--828, 13(4)828--829, 13(4)829--831,
13(4)831--832, 13(6)1087--1088, 14(1)125--128, 14(2)247--249,
14(2)249--251, 14(5)588--589, 14(5)589--592, 14(5)592--594,
14(5)594--597, 14(5)597--598, 14(5)598--600, 15(4)651--651,
16(2)247--249, 16(2)249--250, 16(2)250--251, 17(3)423--424,
17(3)424--426, 17(3)426--428, 17(3)428--429, 17(6)813--814,
18(3)421--422, 19(2)253--254, 19(2)254--256, 19(2)256--259,
19(2)259--261, 19(6)723--725, 21(1)115--117, 21(2)215--217,
21(2)217--218, 21(6)663--664, 21(6)664--666, 22(2)217--219,
22(2)219--221, 22(3)375--377, 22(6)853--854, 22(6)854--855,
23(2)225--226, 23(2)226--227, 23(3)351--352, 23(3)352--354,
24(1)128--130, 24(2)419--421, 24(2)421--422, 24(4)523--523,
24(4)524--527, 24(5)608--609, 25(z)z, 26(z)z, 30(z)z,
34(z)z--99999999
-
revised, 11(6)591--627, 19(z)1--301
-
revision, 0(0)xxiii--657
-
revisited, 14(3)263--315, 16(6)663--670
-
reworked, 0(0)xxiii--657
-
rewrite, 11(2)207--251, 14(4)379--427, 24(4)434--473
-
rewriting, 0(0)xii--301, 9(2)113--146, 11(2)207--251, 11(2)253--262,
13(2)339--414, 15(4)651--651, 16(2)247--249, 20(3)375--413, 28(z)z
-
Reynolds, 10(5)501--508
-
Rhiger, Morten, 11(6)673--680, 19(2)145--156
-
Rhiger, Morten, see Danvy, Olivier
-
Rhiger:2009:TSP, 19(2)145--156
-
Richard, 0(0)xi--277, 7(2)227--229, 9(3)347--354, 23(2)226--227, 25(z)z,
30(z)z
-
Richards, Hamilton, 8(6)633--637
-
Richards:1998:BRH, 8(6)633--637
-
Richter, Tim, 31(z)z
-
Richter, Tim, see Botta, Nicola
-
Ridge, Thomas, 20(1)71--122
-
Ridge, Thomas, see Sewell, Peter
-
Riecke, Jon G., 6(2)195--244
-
Riecke, Jon G., see Chirimar, Jawahar
-
right, 29(z)z, 33(z)z--99999999
-
R{\'i}os, Alejandro, 7(4)395--420, 19(5)581--631,
see Arbiser, Ariel,
see Kamareddine, Fairouz
-
Rischel, 11(2)253--262
-
Rischel, Hans, 0(0)xvi--355
-
Rischel, Hans, see Hansen, Michael R.
-
risks, 14(1)113--123
-
Rittri, Mikael, 1(1)71--89, 4(1)117--123
-
Rittri, Mikael, see Augustsson, Lennart
-
Rittri:1991:UTS, 1(1)71--89
-
Rivas, Exequiel, 27(z)z, 30(z)z
-
Rivas, Exequiel, see Pieters, Ruben P.
-
Rivas:2017:NCM, 27(z)z
-
Rizkallah, Christine, 31(z)z
-
Rizkallah, Christine, see Breitner, Joachim,
see O'Connor, Liam
-
road, 4(0)x--426, 16(2)249--250
-
Robert, 5(4)653--660, 21(2)217--218, 24(4)523--523, 32(z)z
-
Robin, 11(4)433--436, 14(1)125--128
-
Robinson, Ken, 3(1)5--34
-
Robinson, Ken, see Lambert, Tim
-
Rocca, Simona Ronchi Della, 8(4)335--365
-
Rocca, Simona Ronchi Della, see Honsell, Furio
-
Röckl, Christine, 13(2)415--451
-
Rockl:2003:FAS, 13(2)415--451
-
Rodin, 0(0)xxvi--586
-
Röjemo, Niklas, 6(4)587--620, 6(4)621--655,
see Hartel, Pieter H.,
see Runciman, Colin
-
role, 0(0)xxiii--657
-
Roles, 21(2)159--207
-
Romeo, 26(z)z
-
Rompf, Tiark, 29(z)z
-
Rompf:2019:SCC, 29(z)z
-
Rondogiannis, P., 7(1)73--101, 9(5)527--564
-
Rondogiannis:1997:FOF, 7(1)73--101
-
Rondogiannis:1999:HOF, 9(5)527--564
-
Ronen, Amir, 7(4)421--440
-
Ronen, Amir, see Aharoni, Gad
-
rooted, 26(z)z
-
Rose, 24(2)419--421
-
Rose, Kristoffer H., 11(6)673--680
-
Rose, Kristoffer H., see Danvy, Olivier
-
Rossberg, Andreas, 21(4)497--562, 24(5)529--607, 28(z)z
-
Rossberg, Andreas, see Neis, Georg
-
Rossberg:2014:FIM, 24(5)529--607
-
Rossberg:2018:CMU, 28(z)z
-
Rosu, Grigore, 24(2)166--217
-
Rosu, Grigore, see Endrullis, Jörg
-
Rouyer-Degli, Jocelyne, 6(5)699--722
-
Rouyer-Degli, Jocelyne, see Benaissa, Zine-El-Abidine
-
Roy, 19(2)254--256
-
Roy, Peter, Van, 0(0)xxvii--900
-
Royer, James S., 11(1)117--153
-
Royer, James S., see Irwin, Robert J.
-
RPC, 29(z)z
-
Ruf, Erik, 3(3)251--281
-
Ruf:1993:SOP, 3(3)251--281
-
Ruiz-Reina, José Luis, 18(1)15--46,
see Greve, David A.
-
rule, 0(0)xviii--471, 6(2)329--354, 8(5)493--502, 17(1)83--129
-
rule-based, 15(3)477--502
-
Rules, C-, 20(2)123--136
-
run, 0(0)xxiii--657
-
Run-Time, 24(6)612--612
-
run-time, 2(4)387--405, 13(3)677--708, 16(6)681--710, 24(6)675--716
-
Runciman, 7(5)555--556, 8(4)445--446
-
Runciman, Colin, 1(2)191--211, 3(1)93--115, 3(2)217--245, 6(4)587--620,
7(2)219--225, 11(5)525--556, 22(4)574--613, 32(z)z
-
Runciman, Colin, see Hinze, Ralf,
see Moss, Graeme E., \see{Naylor, Matthew
-
Runciman:1991:RRS, 1(2)191--211
-
Runciman:1993:HPL, 3(2)217--245
-
Runciman:1993:IET, 3(1)93--115
-
Runciman:1996:NDH, 6(4)587--620
-
Runciman:1997:FPL, 7(2)219--225
-
Rünger, Gudula, 14(6)697--713, see O'Donnell, John T.
-
running, 0(0)xvi--133
-
runtime, 8(2)131--176, 24(6)613--674, 26(z)z, 30(z)z, 31(z)z
-
Russell, D., 13(4)828--829
-
Russell:2003:BRA, 13(4)828--829
-
Russo, Alejandro, 27(z)z
-
Russo, Alejandro, see Stefan, Deian
-
Russo, Claudio, 24(5)529--607
-
Russo, Claudio, see Rossberg, Andreas
-
Rutledge, 17(3)423--424
-
Rutledge, Lloyd, 0(0)xxx--439
-
Rutledge, Lloyd, see Bulterman, Dick C. A.
-
Rutten, Luc M. W. J., 5(3)383--414
-
Rutten, Luc M. W. J., see De Hoon, Walter A. C. A. J.
-
Ryan, 18(3)421--422, 24(2)419--421
-
Ryan, Mark, 0(0)xiv--427
-
Ryan, Mark, see Huth, Michael