Index file section R for toplas.bib

Last update: Thu Apr 11 02:12:53 MDT 2024

Return to index directory

R

R, 4(2)283--294, 10(4)633--634, 16(3)370--386, 16(3)607--648, 20(6)1223--1250
r, 41(4)20--20
R3000, 19(3)492--524
R4RS, 19(1)87--152
race, 28(2)207--255, 30(4)20--20, 31(1)1--1, 33(1)3--3, 34(1)4--4, 35(4)12--12, 36(1)2--2, 37(3)8--8, 37(3)10--10, 38(2)4--4, 38(4)16--16, 41(1)6--6, 44(4)22--22
race, data-, 38(4)14--14
race-detection, 28(2)207--255
race-free, Data-, 38(4)16--16
race-free, data-, 38(4)16--16
racy, 36(2)6--6, 38(2)4--4, 38(4)16--16
radically, 17(2)366--393, 21(4)703--746
Raffalli, Christophe, 41(1)5--5
Raffalli, Christophe, see Lepigre, Rodolphe
Raffelsieper, Matthias, 33(2)7--7
Raffelsieper, Matthias, see Giesl, Jürgen
Rai, Siddhartha, 22(6)973--1001
Rai, Siddhartha, see Madhavan, Maya
raise, 11(4)598--632, 14(3)339--395, 35(2)7--7
raised, 36(1)4--4
Raja, N., 19(6)899--915
Raja:1997:CFC, 19(6)899--915
Rajamani, Sriram K., 24(1)51--64, 27(2)314--343
Rajamani, Sriram K., see Ball, Thomas, see Henzinger, Thomas A.
Rajan, V. T., 29(4)20--20
Rajan, V. T., see Paz, Harel
Rajopadhye, Sanjay, 22(5)773--815, 34(1)3--3
Rajopadhye, Sanjay, see Quilleré, Fabien, see Renganarayanan, Lakshminarayanan
Rakamari{\'c}, Zvonimir, 41(1)2--2, see Solovyev, Alexey
Ramachandran, Viswanath, 17(4)635--671
Ramachandran, Viswanath, see Van Hentenryck, Pascal
Ramakrishna, U., 22(6)973--1001, 27(3)426--440
Ramakrishna, U., see Das, Dibyendu, see Madhavan, Maya
Ramakrishnan, C. R., 18(5)528--563, 26(3)464--509
Ramakrishnan, C. R., see Dawson, Steven, see Roychoudhury, Abhik
Ramakrishnan, I. V., 17(6)896--937, 26(3)464--509
Ramakrishnan, I. V., see Roychoudhury, Abhik, see Sekar, R.
Ramalingam, 42(4)16--16
Ramalingam, G., 16(5)1467--1471, 21(2)175--188, 22(2)416--430, 30(3)13--13, 33(5)17--17
Ramalingam, G., see Gulavani, Bhargav S., see Rinetzky, N.
Ramalingam:1994:UA, 16(5)1467--1471
Ramalingam:1999:ILA, 21(2)175--188
Ramalingam:2000:CSS, 22(2)416--430
Ramanath, M. V. S., 6(4)527--545
Ramanath:1984:JML, 6(4)527--545
Ramanathan, Jayashree, 1(1)142--160
Ramanathan, Jayashree, see Kennedy, Ken
Ramanujam, J., 21(6)1251--1297
Ramanujam, J., see Kandemir, M.
Ramesh, S., 28(6)1088--1144
Ramesh, S., see Nanda, Mangala Gowri
ramification, 16(6)1811--1841, 28(5)848--907
Ramsdell, John D., 12(1)123--134
Ramsdell, John D., see Farmer, William M.
Ramsey, Norman, 19(3)492--524, 25(2)210--224
Ramsey:1997:SRM, 19(3)492--524
Ramsey:2003:TAB, 25(2)210--224
ran, 18(4)424--453, 28(1)1--69, 37(3)8--8
Rand, Robert, 45(3)18--18
Rand, Robert, see Hietala, Kesha
random, 2(1)122--128, 31(2)8--8, 39(4)17--17, 41(2)10--10, 42(2)6--6
randomization, 16(3)798--842
randomized, 35(3)9--9, 43(2)5--5
randomly, 14(4)574--588
Ranganath, Venkatesh Prasad, 29(5)27--27
Ranganath:2007:NFC, 29(5)27--27
range, 8(4)524--546, 9(2)235--256, 14(1)28--53, 17(2)217--227, 18(2)139--174, 18(4)355--400, 18(4)477--518, 18(6)683--710, 19(1)188--222, 19(4)617--638, 21(2)189--239, 21(5)895--913, 22(3)431--470, 23(2)105--186, 27(6)1147--1215, 28(5)795--847, 32(2)4--4, 32(6)21--21, 34(3)12--12, 34(3)14--14, 35(1)3--3, 35(2)7--7, 36(4)11--11, 36(4)14--14, 37(4)11--11, 38(1)1--1, 38(3)12--12, 39(1)5--5, 39(4)17--17, 40(2)5--5, 40(4)16--16, 41(3)16--16, 41(3)17--17, 43(1)4--4, 44(4)25--25
ranging, 14(1)1--27, 17(2)197--216, 23(2)105--186, 30(1)4--4, 32(1)3--3
rank, 25(4)401--451
rank, higher-, 42(1)2--2
ranking, 31(3)10--10, 39(4)16--16, 40(1)1--1, 40(2)7--7, 41(4)20--20, 43(2)5--5
ranking-supermartingale, 40(2)7--7
ranking-supermartingales, 40(2)7--7
Ranzato, Francesco, 19(1)7--47, 38(2)7--7
Ranzato, Francesco, see Cortesi, Agostino, see Dissegna, Stefano
Rao, Josyula R., 16(3)798--842
Rao:1994:RAP, 16(3)798--842
RAPID, 20(6)1195--1222
rapid, 9(3)367--389, 12(4)670--699, 18(4)355--400, 20(6)1223--1250, 34(4)15--15
rapidly, 3(2)126--143, 28(3)476--516, 34(1)5--5
rare, 28(1)134--174, 32(1)3--3
rarely, 28(1)134--174, 29(1)2--2, 32(1)2--2, 38(2)5--5
Rascal, 16(3)456--492
rate, 14(2)265--297, 16(6)1661--1674, 18(4)424--453, 19(1)188--222, 21(5)977--1027, 29(1)3--3, 29(6)35--35, 31(6)20--20, 32(6)23--23, 41(2)12--12, 41(4)21--21
rather, 6(4)527--545, 8(4)491--523, 14(2)173--200, 14(2)201--264, 14(4)471--489, 16(2)205--258, 16(3)1010--1023, 16(4)1117--1155, 16(4)1319--1360, 16(5)1399--1410, 17(1)47--62, 17(2)366--393, 17(2)394--429, 17(4)561--575, 17(4)635--671, 17(4)672--689, 18(2)175--234, 18(3)268--299, 19(1)7--47, 19(3)444--461, 19(6)916--941, 20(1)208--258, 20(4)724--767, 20(4)869--916, 20(6)1265--1296, 20(6)1297--1322, 35(2)8--8, 36(1)2--2, 36(4)13--13, 38(3)8--8, 40(1)4--4, 40(4)14--14, 41(1)5--5, 45(1)5--5
rating, 16(4)1156--1214, 30(3)17--17
Ratio, 16(6)1768--1810
rational, 17(4)635--671, 21(1)90--137, 21(3)569--626, 30(5)27--27, 33(3)11--11, 34(4)16--16
rationale, 28(3)517--575
ratios, 29(1)3--3
Rau, 30(4)23--23
Rauchwerger, Lawrence, 41(1)6--6
Rauchwerger, Lawrence, see Liu, Bozhen
Ravn, A. P., 6(2)129--158
Ravn, A. P., see Appelbe, William F.
Ray, 41(4)21--21
re-execute, 32(1)3--3
re-executed, 37(1)3--3
re-executes, 32(1)3--3
re-executing, 32(1)3--3
re-ordering, 32(5)17--17
re-verify, 30(6)30--30
re-write, 44(1)4--4
reach, 4(3)382--401, 4(3)455--495, 16(2)175--204, 20(3)679--706, 22(4)583--637, 32(5)18--18, 35(3)9--9, 35(4)14--14, 39(4)17--17, 45(1)1--1
reachability, 17(5)777--803, 34(1)6--6, 35(3)10--10, 35(4)14--14, 39(2)7--7, 41(1)6--6, 41(2)11--11, 41(3)14--14, 42(4)16--16, 43(2)5--5, 44(2)11--11
reachability, graph-, 22(1)162--186, 44(2)11--11
reachability, InterDyck-, 44(2)11--11
reachable, 16(2)175--204, 20(5)917--979
reached, 4(3)382--401, 17(2)181--196, 34(1)1--1, 35(1)3--3, 41(3)17--17
reaching, 16(2)175--204, 18(3)268--299, 41(4)23--23
reaching, far-, 14(2)173--200
reaching-definitions, 16(5)1467--1471, 19(6)992--1030
react, 37(1)3--3
reactivate, 21(2)240--285
reactive, 16(3)649--686, 19(2)253--291, 26(2)339--369, 37(1)3--3
read, 13(1)124--149, 15(5)745--770, 16(6)1699--1718, 22(2)187--223, 28(5)795--847, 32(6)22--22, 34(1)2--2, 36(3)9--9, 40(2)6--6
read-modify-write, 16(3)939--953
read-only, 27(1)126--162, 32(6)22--22
readability, 4(1)44--82, 41(1)4--4
Readable, 8(2)215--243
readash, 23(2)187--242
reader, 9(2)125--163, 9(3)297--318, 34(1)1--1, 38(2)5--5
readily, 14(4)471--489, 16(3)328--369, 19(4)568--585, 19(4)617--638, 41(3)17--17, 44(4)22--22
reading, 5(1)46--55, 16(3)387--427, 37(1)3--3, 44(4)22--22
read/write, 13(1)124--149
ready, 16(3)954--985
real, 6(2)215--238, 7(3)404--425, 14(3)339--395, 16(5)1543--1571, 17(2)197--216, 17(4)635--671, 18(1)30--72, 18(3)325--353, 18(4)477--518, 19(3)525--555, 20(1)116--165, 20(6)1223--1250, 20(6)1265--1296, 21(1)46--89, 29(6)33--33, 30(6)32--32, 31(1)4--4, 32(3)9--9, 32(6)21--21, 33(3)11--11, 39(2)8--8, 41(1)3--3, 43(1)2--2
real-life, 17(4)635--671
Real-Time, 6(2)215--238, 14(4)521--573
real-time, 6(2)215--238, 14(4)521--573, 15(4)632--658, 15(4)681--705, 16(5)1543--1571, 16(6)1661--1674, 19(2)386--412, 19(3)525--555, 19(4)586--616, 20(2)274--301, 21(1)46--89, 29(6)33--33, 32(4)13--13, 45(2)11--11
real-valued, 39(2)8--8, 39(2)9--9, 40(2)7--7
real-world, 14(2)201--264, 20(6)1223--1250, 30(2)8--8, 32(4)13--13, 35(1)5--5, 35(3)10--10, 37(3)8--8, 37(3)10--10, 38(3)8--8, 38(3)11--11, 40(4)14--14, 41(1)6--6, 41(2)12--12, 42(2)7--7
Real2Float, 41(1)2--2
realism, 28(4)619--695
realistic, 19(6)853--898, 32(1)3--3, 39(4)16--16, 40(4)14--14, 40(4)15--15
reality, 26(1)47--56, 27(6)1147--1215
realizability, 16(5)1543--1571
realization, 14(2)127--144, 18(4)454--476, 31(6)22--22
realize, 16(4)1248--1278, 17(3)431--447, 21(3)569--626, 32(1)3--3, 40(4)16--16
realized, 9(2)198--234, 18(4)454--476, 19(3)525--555
realizing, 32(1)3--3
reallocation, 21(3)430--501
really, 14(4)490--520, 20(6)1223--1250
realm, 31(2)6--6, 42(3)15--15
reanalysis, 22(2)187--223, 41(4)21--21
reappear, 4(3)496--517
rearrange, 39(2)9--9
rearranged, 39(2)9--9
reason, 4(1)113--119, 4(3)455--495, 8(4)524--546, 9(3)367--389, 13(1)52--98, 16(3)872--923, 16(4)1248--1278, 16(6)1675--1683, 17(2)181--196, 18(3)325--353, 21(1)90--137, 21(3)417--429, 21(4)703--746, 22(2)416--430, 30(6)34--34, 31(1)1--1, 31(1)4--4, 32(4)14--14, 33(1)4--4, 34(1)2--2, 34(2)9--9, 35(2)6--6, 36(1)1--1, 36(1)3--3, 36(1)4--4, 36(2)6--6, 37(3)10--10, 37(4)13--13, 38(2)4--4, 38(4)15--15, 38(4)16--16, 39(2)9--9, 40(4)16--16, 42(1)3--3, 43(1)2--2
reasonable, 10(2)189--203, 19(5)639--684, 19(6)853--898, 20(1)166--207, 20(6)1195--1222, 20(6)1265--1296, 21(2)189--239, 38(3)8--8, 42(1)3--3
reasonably, 9(2)257--276, 10(2)248--266, 17(4)635--671, 27(6)1270--1343, 35(1)5--5, 41(1)5--5
reborrowing, 43(1)3--3
recasting, 21(5)948--976
receive, Send-, 26(1)47--56
received, 17(3)535--559, 44(3)18--18
receiver, 17(2)264--292, 18(4)355--400, 30(6)30--30, 30(6)33--33, 38(3)8--8
receives, 13(2)211--236, 34(2)7--7
recent, 4(2)283--294, 9(4)491--542, 13(1)124--149, 14(2)173--200, 16(1)35--101, 17(1)28--44, 17(2)233--263, 17(4)561--575, 18(6)730--751, 19(6)916--941, 20(3)635--678, 21(1)46--89, 21(5)1028--1075, 22(2)378--415, 27(6)1147--1215, 28(5)942--965, 32(1)2--2, 32(1)3--3, 34(1)5--5, 36(1)1--1, 37(4)11--11, 38(2)5--5, 44(4)25--25, 45(3)15--15
recently, 14(2)147--172, 16(5)1467--1471, 17(2)217--227, 17(2)394--429, 17(3)487--506, 18(1)16--29, 21(2)175--188, 22(3)431--470, 28(3)389--428, 34(2)7--7, 35(3)9--9, 36(2)7--7, 38(3)9--9, 39(2)9--9, 41(2)13--13, 44(4)22--22
receptions, 16(2)259--303
receptive, 25(5)549--577
Recipe, 16(5)1543--1571
reclaim, 28(1)1--69, 38(3)9--9
reclaiming, 16(2)205--258
reclamation, 14(1)1--27
reclassification, 24(2)153--191
recoding, 3(2)126--143, 9(4)491--542
RECOGNITION, 7(4)600--621, 20(2)259--273, 20(5)1014--1066
recognition, 4(2)149--178, 16(3)1051--1077, 30(6)32--32
recognize, 19(3)492--524, 30(6)32--32
recognized, 16(3)370--386, 17(1)85--122, 30(6)32--32
recognizer, 2(3)415--462, 45(2)9--9
recognizing, 16(3)1051--1077, 19(4)557--567
Recombination-Delaying, 6(1)118--125
recommendations, 20(2)274--301
recommended, 4(2)239--257, 7(4)501--538, 18(2)139--174
recompilation, 8(3)273--291, 10(4)627--632, 10(4)633--634, 14(2)173--200, 15(3)367--399, 28(1)134--174, 31(5)17--17
recompiled, 28(1)134--174
recomputation, 22(2)187--223
recomputed, 22(2)187--223
recomputing, 32(1)3--3
reconciles, 18(4)355--400
reconciling, 14(4)589--616, 18(4)355--400
reconfiguration, 16(1)151--174
reconsider, 18(6)752--779
reconstruct, 16(3)775--797, 28(3)476--516
reconstructed, 32(1)2--2, 42(3)15--15
reconstructing, 16(3)775--797
reconstruction, 16(3)775--797, 21(1)90--137, 42(3)15--15
record, 1(2)226--244, 10(2)204--214, 16(4)1319--1360, 16(5)1411--1430, 17(6)844--895, 18(2)109--138, 32(1)3--3, 40(3)10--10, 41(4)21--21
record-based, 17(3)431--447
recover, 9(2)235--256, 16(3)305--327, 21(4)790--812, 21(5)914--947, 32(6)23--23, 41(3)15--15
recoverable, 41(3)15--15
recovered, 21(2)324--369, 22(1)1--44, 32(6)23--23, 39(4)17--17
recovery, 2(1)18--41, 3(3)318--347, 4(2)226--238, 4(2)239--257, 6(1)1--19, 6(2)192--214, 7(2)183--213, 7(2)214--243, 7(3)478--489, 8(1)50--87, 9(2)164--197, 17(1)47--62, 17(2)217--227, 17(4)672--689, 20(6)1111--1130, 22(2)224--264, 22(2)340--377, 32(6)23--23, 34(4)15--15, 39(4)17--17, 41(3)15--15
rectangular, 34(1)3--3
rectify, 18(5)528--563, 28(1)175--205, 31(3)12--12
recurrence, 18(4)477--518, 22(5)773--815, 30(6)32--32, 34(3)11--11
recurring, 32(4)12--12
recurse, 21(3)430--501
recursion, 4(2)295--322, 4(3)362--381, 6(1)55--67, 7(4)680--685, 9(2)235--256, 10(2)248--266, 11(4)633--649, 12(1)26--60, 13(4)531--557, 15(2)253--289, 15(2)290--311, 15(4)575--631, 16(2)175--204, 16(6)1737--1767, 18(6)752--779, 19(2)223--238, 19(3)444--461, 19(6)1085--1087, 20(4)724--767, 21(4)848--894, 28(3)389--428, 28(3)429--475, 30(6)34--34, 31(3)10--10, 31(6)21--21, 38(3)8--8, 41(1)5--5, 41(4)20--20
recursion''ACM, 19(6)1085--1087
recursion, mutual-, 19(6)1085--1087
recursion, tail-, 42(3)13--13
recursion-free, 36(4)14--14
recursive, 4(2)295--322, 4(3)362--381, 5(3)265--299, 7(4)680--685, 9(2)125--163, 9(2)235--256, 9(3)441--462, 10(2)248--266, 11(4)633--649, 15(4)575--631, 16(3)924--938, 16(5)1467--1471, 16(5)1613--1647, 16(6)1737--1767, 17(2)233--263, 17(2)264--292, 17(4)576--599, 18(2)175--234, 18(4)401--423, 18(5)519--527, 19(1)87--152, 19(3)444--461, 19(5)751--803, 20(3)586--634, 20(5)1067--1109, 20(6)1251--1264, 21(3)430--501, 22(6)1037--1080, 23(5)657--683, 24(6)711--804, 27(4)786--818, 31(3)10--10, 32(2)5--5, 32(5)16--16, 33(3)11--11, 34(4)17--17, 35(1)2--2, 35(3)10--10, 36(3)9--9, 38(1)2--2, 38(1)3--3, 38(3)8--8, 41(1)5--5, 41(4)20--20, 41(4)23--23, 42(4)16--16, 43(4)17--17, 45(2)7--7
Recursive, Iso-, 39(1)4--4, 44(4)24--24
recursive, iso-, 39(1)4--4, 44(4)24--24
recursive, non-, 41(4)20--20
recursive, tail-, 26(6)1029--1052
recursive., 31(3)10--10
recursively, 16(5)1467--1471, 35(3)10--10, 41(2)11--11
recursivetypes, 15(4)575--631
redefine, 17(1)28--44
redefining, 17(1)28--44
redefinition, 18(6)711--729
redesign, 19(3)525--555, 21(1)46--89
redirect, 41(3)18--18
redirection, 41(3)18--18
rediscovers, 17(2)293--330
rediscovery, 4(4)615--649
reduce, 4(2)149--178, 7(2)183--213, 9(3)408--440, 13(1)150--178, 14(1)28--53, 14(2)173--200, 14(2)265--297, 16(2)259--303, 16(3)428--455, 16(3)1051--1077, 16(4)1319--1360, 16(5)1512--1542, 16(6)1768--1810, 17(4)635--671, 17(5)691--703, 18(6)659--682, 19(6)1031--1052, 20(2)302--343, 20(6)1111--1130, 20(6)1223--1250, 21(1)138--173, 21(4)703--746, 22(2)378--415, 22(3)490--505, 22(5)932--972, 23(1)30--72, 27(6)1097--1146, 28(5)908--941, 28(5)942--965, 29(1)2--2, 30(3)17--17, 30(4)22--22, 30(5)27--27, 31(1)3--3, 31(3)9--9, 32(1)2--2, 32(4)11--11, 32(5)17--17, 34(2)7--7, 34(3)13--13, 35(4)14--14, 36(3)10--10, 38(3)9--9, 39(4)16--16, 39(4)17--17, 40(1)3--3, 41(1)3--3, 41(2)12--12, 41(4)21--21, 43(3)10--10
Reduce, Shift-, 17(4)672--689, 21(1)1--10
reduce, shift-, 17(4)672--689, 28(4)577--618
reduced, 14(2)265--297, 19(1)7--47, 20(5)1067--1109, 21(5)948--976, 21(6)1137--1195, 22(3)471--489, 26(4)702--734, 30(6)31--31, 31(6)21--21, 33(6)21--21, 36(3)10--10, 38(2)6--6, 40(3)13--13, 42(1)2--2
reducer, 14(2)265--297, 16(5)1449--1466
reducibility, 15(4)632--658, 17(4)600--634, 19(4)557--567, 41(2)10--10
reducible, 18(6)649--658, 19(4)557--567, 19(6)1031--1052, 21(2)175--188
reducing, 14(2)265--297, 19(6)992--1030, 20(2)274--301, 21(2)370--416, 21(5)977--1027, 21(6)1251--1297, 28(1)1--69, 28(1)134--174, 32(4)13--13, 34(1)3--3, 34(3)13--13, 37(3)10--10, 41(2)12--12, 42(1)3--3
reduction, 4(2)179--195, 4(3)402--454, 4(4)650--667, 6(2)159--174, 6(4)603--631, 8(3)406--407, 11(4)491--516, 11(4)598--632, 12(1)123--134, 13(1)124--149, 14(2)265--297, 14(4)589--616, 16(3)370--386, 16(4)1279--1318, 16(5)1449--1466, 17(1)85--122, 17(4)635--671, 18(3)268--299, 18(3)300--324, 19(6)916--941, 20(2)302--343, 20(2)344--387, 20(4)768--844, 20(6)1297--1322, 21(2)370--416, 21(5)914--947, 21(6)1251--1297, 22(1)45--86, 22(2)378--415, 22(5)932--972, 22(6)1037--1080, 23(5)603--625, 28(2)290--330, 28(4)577--618, 30(4)20--20, 30(6)32--32, 31(4)13--13, 34(1)6--6, 34(4)16--16, 35(2)7--7, 36(4)14--14, 38(3)11--11, 41(3)17--17, 43(4)15--15
reduction, beta-, 17(1)47--62
reduction, subject-, 17(1)47--62, 31(3)12--12
reduction, beta-, 17(1)47--62
Redundancies, 10(4)635--640, 11(4)666--668
redundancy, 17(5)777--803, 20(6)1297--1322, 21(3)627--676, 21(6)1251--1297, 22(5)816--860, 41(3)15--15
redundant, 5(2)236--264, 5(3)265--299, 7(4)680--685, 14(2)173--200, 16(4)1156--1214, 20(6)1223--1250, 22(1)45--86, 22(3)540--582, 23(1)30--72, 33(4)12--12, 35(1)3--3, 41(1)6--6
Reed, Joylyn, 10(1)156--177
Reed:1988:SVL, 10(1)156--177
reengineering, 22(3)540--582
reentrance, 38(2)7--7
Reentrant, 2(3)269--273
reevaluated, 18(2)139--174
reevaluating, 18(2)139--174
reevaluation, 18(2)139--174
Reexamination, 17(2)217--227
reexamine, 19(3)413--426
reexamined, 7(1)159--175
refactor, 28(2)331--388, 40(4)16--16
refactored, 33(3)9--9, 40(1)2--2
refactoring, 33(3)9--9, 34(1)4--4, 40(1)2--2, 40(2)5--5
refactoring, co-, 40(1)2--2
Refal, 8(3)292--325
refer, 17(4)600--634, 18(1)16--29, 32(1)3--3, 38(1)2--2, 38(2)5--5
reference, 1(1)115--120, 2(3)269--273, 11(2)284--329, 14(4)471--489, 14(4)521--573, 16(2)175--204, 16(6)1768--1810, 18(3)254--267, 18(5)615--647, 18(6)752--779, 20(3)635--678, 21(3)430--501, 21(4)703--746, 21(4)848--894, 22(5)816--860, 23(1)30--72, 27(6)1344--1395, 28(1)1--69, 28(2)290--330, 28(3)429--475, 28(5)942--965, 30(1)1--1, 30(5)27--27, 32(2)4--4, 32(3)7--7, 32(3)8--8, 33(1)2--2, 34(2)9--9, 35(1)2--2, 36(4)12--12, 37(2)6--6, 38(2)5--5, 38(3)9--9, 38(4)14--14, 39(3)11--11, 39(4)14--14, 40(4)15--15, 40(4)16--16, 41(3)18--18, 41(4)22--22, 43(1)3--3
reference-counting, 15(1)1--35, 28(1)1--69
reference-counting, local-, 15(1)1--35
reference-counting, weighted-, 15(1)1--35
reference-counts, 28(1)1--69
References,, 42(2)11--11
references, cross-, 13(1)1--20
references., 14(4)471--489
Referencing, 3(3)263--292
referential, 17(1)180--180, 31(3)12--12
referred, 16(5)1648--1659, 17(4)600--634
refined, 15(5)876--895, 16(4)1117--1155, 20(2)302--343, 32(5)19--19, 42(1)2--2
refinement, 0(z)0--0, 1(1)27--49, 8(3)326--343, 8(4)524--546, 14(3)417--461, 15(5)876--895, 16(2)259--303, 16(6)1842--1874, 17(1)180--180, 17(2)366--393, 19(4)586--616, 21(1)11--45, 21(3)502--526, 21(3)677--701, 26(2)339--369, 30(6)34--34, 31(4)16--16, 32(2)6--6, 33(2)8--8, 33(4)14--14, 36(1)3--3, 36(2)6--6, 37(4)11--11, 39(3)11--11, 39(4)16--16, 40(1)3--3, 41(4)22--22, 43(1)2--2, 44(2)6--6, 44(3)14--14, 45(4)22--22
refinement-based, 36(2)6--6
refines, 31(5)19--19, 32(5)19--19, 36(1)3--3
refining, 4(1)44--82, 14(3)417--461, 15(5)876--895, 39(1)3--3, 40(3)10--10
reflect, 14(2)173--200, 14(3)339--395, 18(6)649--658, 19(4)617--638, 22(3)540--582, 31(3)12--12, 32(4)14--14, 32(6)24--24, 34(1)5--5, 36(4)12--12, 38(2)4--4, 40(3)12--12, 43(1)1--1
reflected, 4(3)362--381, 16(3)456--492, 33(3)10--10
reflecting, 33(2)6--6
reflection, 19(6)916--941, 41(3)18--18
reflective, 16(3)456--492
reflexive, 4(3)362--381
reformulate, 17(2)293--330, 44(2)6--6
reformulation, 17(2)293--330
\refsec-byzantine, 4(3)382--401
\refsec-guardscheduling, 6(2)215--238
refunctionalize, 38(1)2--2
regard, 13(2)211--236, 16(3)607--648, 40(4)16--16
regarded, 18(4)401--423, 19(6)853--898, 19(6)916--941, 40(4)14--14
regarding, 16(3)370--386, 18(5)528--563, 41(1)1--1
regardless, 13(1)124--149, 19(5)804--851, 19(6)942--991, 29(1)2--2, 32(5)19--19
Regeneration, 42(4)18--18
regime, 31(1)1--1
region, 4(4)527--551, 4(4)687--710, 17(4)672--689, 20(4)724--767, 22(3)431--470, 22(4)701--771, 22(5)816--860, 22(5)932--972, 27(2)185--235, 28(1)134--174, 29(1)2--2, 31(5)17--17, 38(4)16--16, 40(2)6--6, 41(3)18--18
region-based, 22(4)701--771, 28(1)134--174, 43(1)3--3, 44(4)22--22
register, 9(3)367--389, 11(1)1--32, 12(4)501--536, 13(1)124--149, 14(1)28--53, 14(3)299--338, 15(4)632--658, 16(3)370--386, 16(3)428--455, 16(4)1117--1155, 17(5)740--776, 18(3)235--253, 18(3)300--324, 18(6)683--710, 18(6)752--779, 21(5)895--913, 22(1)129--161, 22(3)431--470, 24(4)409--453, 26(4)735--765, 26(6)938--974, 29(2)9--9, 30(4)23--23, 32(4)11--11, 32(4)15--15, 34(1)3--3, 35(4)13--13, 41(3)17--17
REGISTER-TRANSFER-LEVEL, 8(1)142--153, 16(5)1512--1542, 18(3)235--253, 18(3)300--324
registered, 30(4)18--18
registering, 20(1)208--258
regression, 32(4)15--15
regular, 3(2)168--206, 8(2)244--263, 14(4)490--520, 19(3)413--426, 19(5)726--750, 20(6)1171--1194, 20(6)1251--1264, 22(6)973--1001, 27(1)46--90, 28(3)389--428, 31(3)10--10, 36(3)9--9, 38(2)5--5, 39(2)9--9, 44(3)18--18
regular-tree, 21(2)370--416
regularity, 14(2)127--144, 30(4)23--23, 34(3)12--12
regulate, 20(4)845--868
Rehof, Jakob, 23(2)243--272
Rehof, Jakob, see Knoblock, Todd B.
Reif, 3(2)126--143
Reif, John H., 6(2)215--238
Reif:1984:RTS, 6(2)215--238
reification, 14(4)589--616
reified, 16(3)456--492
reify, 14(4)589--616
Reiss, Steven P., 5(2)127--163
Reiss:1983:GCS, 5(2)127--163
Reiter, Michael K., 16(3)986--1009
Reiter:1994:HSR, 16(3)986--1009
Reitman, Richard P., 2(1)56--76
Reitman, Richard P., see Andrews, Gregory R.
reject, 38(3)8--8
rejected, 31(2)7--7
rejected., 30(5)29--29
rejection, 40(1)4--4
Rekers, J., 14(4)490--520, 16(3)1010--1023
Rekers, J., see Heering, J.
relate, 13(2)237--268, 15(4)575--631, 18(2)109--138, 20(2)344--387, 34(2)8--8, 36(2)6--6, 36(4)11--11, 41(2)8--8, 42(1)2--2, 42(1)3--3, 44(4)25--25
related, 6(4)546--572, 7(2)270--298, 7(2)299--310, 8(3)406--407, 9(3)319--349, 10(2)204--214, 10(2)248--266, 11(1)67--89, 11(4)633--649, 12(1)123--134, 14(2)147--172, 14(4)589--616, 15(2)211--252, 15(2)253--289, 15(4)575--631, 16(3)607--648, 16(3)1010--1023, 16(4)1081--1096, 16(6)1811--1841, 17(3)535--559, 17(5)704--739, 17(6)844--895, 18(6)730--751, 19(4)586--616, 19(5)639--684, 19(5)804--851, 19(6)899--915, 20(2)344--387, 21(3)677--701, 21(4)813--847, 30(2)8--8, 31(4)15--15, 31(4)16--16, 31(6)20--20, 33(6)21--21, 34(1)2--2, 34(1)3--3, 34(2)7--7, 36(1)1--1, 36(3)9--9, 37(1)2--2, 41(3)19--19
related, Concurrency-, 34(1)4--4
related, security-, 41(3)18--18
relating, 41(4)21--21, 45(1)5--5
relating, Trace-, 43(4)14--14
relation, 2(4)580--595, 4(3)362--381, 4(4)615--649, 8(4)577--608, 14(3)417--461, 15(4)575--631, 15(5)876--895, 16(2)259--303, 16(3)607--648, 16(3)843--871, 16(3)924--938, 16(4)1114--1116, 16(5)1449--1466, 16(5)1467--1471, 16(6)1811--1841, 16(6)1842--1874, 17(2)366--393, 17(3)431--447, 18(4)401--423, 19(3)462--491, 20(1)208--258, 20(2)302--343, 20(4)707--723, 20(4)768--844, 20(5)1067--1109, 21(3)677--701, 27(6)1270--1343, 28(4)747--793, 29(5)29--29, 30(4)19--19, 31(2)7--7, 31(3)12--12, 31(5)19--19, 32(1)2--2, 32(2)5--5, 32(3)7--7, 32(6)24--24, 33(4)14--14, 36(1)3--3, 36(4)11--11, 38(1)3--3, 39(1)3--3, 39(1)4--4, 42(1)2--2, 42(2)9--9, 43(3)11--11, 44(4)25--25
relation, affine-, 36(4)11--11
Relation, Subtyping-, 39(1)4--4
relation-maintenance, 32(6)24--24
relational, 2(3)386--414, 8(4)577--608, 18(3)325--353, 20(2)302--343, 20(5)1067--1109, 30(4)19--19, 32(2)5--5, 33(3)11--11, 33(4)14--14, 35(2)6--6, 35(3)9--9, 36(3)8--8, 38(2)6--6, 39(1)3--3, 40(2)6--6, 42(1)3--3, 42(4)18--18, 44(4)25--25
relations., 32(2)5--5
relationship, 9(3)319--349, 10(2)338--342, 16(4)1361--1398, 16(6)1811--1841, 17(2)331--365, 17(4)600--634, 18(1)30--72, 20(1)208--258, 21(2)370--416, 22(3)540--582, 27(6)1216--1269, 30(5)29--29, 30(6)32--32, 33(3)9--9, 40(3)11--11, 41(3)18--18, 43(1)4--4
relative, 4(4)711--732, 5(3)405--421, 14(3)396--416, 16(3)328--369, 16(4)1279--1318, 20(6)1171--1194, 29(6)33--33, 30(5)29--29, 32(5)17--17, 35(3)10--10
relatively, 4(4)650--667, 8(4)524--546, 14(1)107--125, 17(1)16--27, 18(5)564--614, 21(4)703--746, 22(4)701--771, 31(3)9--9, 32(4)14--14, 33(6)19--19, 39(4)14--14, 43(1)3--3, 43(4)17--17, 44(2)12--12
relax, 41(2)8--8
relaxation, 23(1)73--103
relaxed, 21(3)677--701, 36(2)6--6
RELEASE, 39(4)17--17
release, 16(3)727--774, 30(1)4--4, 30(2)8--8, 39(4)17--17, 41(1)2--2, 43(1)3--3
release-acquire, 36(2)7--7
release-times, 23(1)73--103
released, 16(2)205--258
relevance, 20(1)208--258, 21(2)189--239, 31(2)8--8, 41(3)18--18, 43(1)1--1
relevant, 9(3)319--349, 16(3)387--427, 17(3)487--506, 28(3)389--428, 31(3)12--12, 35(1)3--3, 37(1)3--3, 43(1)1--1
reliability, 4(3)382--401, 7(1)176--181, 7(2)214--243, 7(2)244--269, 7(3)404--425, 8(1)50--87, 9(2)235--256, 10(1)118--155, 10(2)189--203, 11(2)169--193, 11(2)249--283, 11(2)330--344, 12(2)178--202, 13(1)124--149, 15(1)36--72, 15(1)182--205, 15(3)563--573, 16(3)939--953, 16(3)986--1009, 16(6)1719--1736, 17(2)217--227, 17(3)535--559, 18(2)139--174, 19(1)87--152, 19(5)726--750, 20(2)274--301, 20(4)724--767, 20(5)917--979, 21(1)46--89, 30(2)8--8, 39(4)17--17, 40(1)3--3
reliable, 4(3)382--401, 14(3)417--461, 20(2)436--482, 21(6)1077--1136, 27(6)1147--1215, 32(4)12--12, 38(2)4--4, 39(4)17--17
reliably, 29(6)35--35, 39(4)17--17
reliance, 7(3)404--425, 30(5)25--25
relied, 39(2)9--9
relieves, 21(4)790--812
relinquished, 22(4)701--771
reloading, 32(4)13--13
relocatable, 19(3)492--524
relocation, 19(3)492--524
rely, 15(5)745--770, 16(5)1411--1430, 16(5)1648--1659, 17(2)233--263, 19(1)188--222, 19(3)525--555, 19(4)557--567, 22(2)340--377, 27(6)1216--1269, 28(2)256--289, 28(2)290--330, 30(5)28--28, 30(6)30--30, 32(6)21--21, 34(1)2--2, 34(1)4--4, 34(4)15--15, 36(2)7--7, 37(4)12--12, 38(2)4--4, 38(2)7--7, 39(2)6--6, 39(2)9--9, 39(4)18--18, 40(2)6--6, 40(3)13--13, 43(1)1--1
Rely-Guarantee, 39(3)11--11, 43(1)2--2
rely-guarantee, 39(3)11--11, 43(1)2--2
Rely-Guarantee-Based, 36(1)3--3
Rely-Guarantee-based, 36(1)3--3
rely-guarantee-based, 43(1)2--2
rely/guarantee, 36(1)3--3
relying, 37(4)12--12
Rem, Martin, 3(3)251--262
Rem:1981:APN, 3(3)251--262
remain, 8(4)419--490, 9(2)125--163, 17(2)197--216, 22(1)87--128, 27(6)1147--1215, 32(1)3--3, 32(3)9--9, 32(4)15--15, 34(1)3--3, 34(1)5--5, 38(1)1--1, 40(4)16--16, 41(1)4--4, 41(3)18--18, 41(4)21--21, 42(3)12--12, 42(3)15--15, 43(1)3--3, 43(3)9--9
remained, 16(1)35--101, 17(1)47--62, 28(4)696--714, 36(1)4--4
remaining, 16(6)1842--1874, 19(1)87--152, 20(1)208--258, 20(2)259--273, 28(5)848--907, 32(5)17--17, 34(2)7--7
remapping, 20(4)869--916
remark, 2(1)42--55, 2(3)359--385, 3(1)1--10, 3(1)83--103, 4(1)21--36, 4(3)323--344, 6(4)603--631, 9(3)390--407, 10(2)204--214, 10(4)627--632, 10(4)635--640, 11(4)650--665, 31(4)15--15
remarkable, 31(5)17--17
Remarkably, 31(5)19--19
rematerialization, 16(3)428--455, 32(4)15--15
rematerialize, 35(4)13--13
remedied, 19(3)525--555
remedies, 17(2)217--227
remembering, 32(1)3--3
Remembrances, 31(4)17--17
reminiscence, 32(1)2--2
remolded, 16(5)1613--1647
remote, 12(4)537--565, 20(6)1131--1170, 20(6)1195--1222, 30(4)22--22
remotely, 20(6)1131--1170
removal, 4(2)295--322, 20(6)1223--1250, 34(3)14--14
removal, feature-, 36(2)5--5
remove, 20(6)1223--1250, 22(3)540--582, 35(1)3--3
removing, 18(6)659--682, 32(3)9--9, 36(2)5--5
renaming, 18(6)711--729, 19(6)853--898, 30(5)26--26
render, 14(4)589--616, 45(2)12--12
rendezvous, 9(3)350--366, 30(5)27--27
renewed, 35(4)13--13
Renganarayanan, Lakshminarayanan, 34(1)3--3
Renganarayanan:2012:PLT, 34(1)3--3
Renvoise, 10(4)635--640, 11(4)666--668, 13(2)291--294
reoptimization, 14(2)173--200
reoptimize, 14(2)173--200
reorder, 14(3)417--461, 16(4)1248--1278
reordering, 6(4)527--545, 20(6)1111--1130, 20(6)1223--1250, 24(6)667--697, 36(1)3--3
repair, 9(2)164--197, 10(3)456--469, 17(4)672--689, 21(1)1--10, 23(4)451--471, 37(1)3--3
Repairing, 24(6)698--710
repeatable, 41(3)18--18
repeated, 16(3)428--455, 22(2)378--415, 42(2)8--8
repeatedly, 13(2)211--236
repertoire, 31(4)14--14
repetition, 41(4)21--21
repetitive, 30(4)23--23
replace, 16(4)1279--1318, 17(3)431--447, 21(3)430--501, 23(1)30--72, 28(1)70--105, 35(1)3--3, 40(1)4--4
replaced, 4(2)179--195, 20(6)1171--1194, 21(3)430--501, 29(5)29--29
replacement, 11(1)33--56, 20(6)1297--1322, 28(1)134--174, 31(5)19--19
Replacing, 37(1)4--4
replay, 34(1)5--5
replayed, 34(1)5--5
Replicate, 16(3)986--1009
replicated, 16(3)986--1009, 20(6)1131--1170, 36(2)5--5, 36(4)14--14
replicating, 40(4)15--15
replication, 18(5)615--647, 19(6)899--915, 25(3)316--359, 40(4)15--15
reply, 3(1)112--113, 4(1)122--123, 5(1)122--122, 5(3)499--500, 13(4)630--630, 13(4)633--633
report, 5(2)236--264, 11(4)598--632, 16(1)35--101, 16(3)872--923, 17(2)233--263, 17(2)331--365, 17(4)672--689, 19(6)992--1030, 20(4)724--767, 20(4)869--916, 20(5)980--1013, 20(6)1265--1296, 21(2)189--239, 22(2)265--295, 22(6)973--1001, 28(5)848--907, 30(4)19--19, 30(4)22--22, 32(1)1--1, 32(4)12--12, 32(4)15--15, 32(6)21--21, 35(2)7--7, 35(3)9--9, 36(1)4--4, 37(3)8--8, 37(3)9--9, 38(1)3--3, 38(3)11--11, 39(2)6--6, 39(2)7--7, 39(4)16--16, 39(4)17--17, 40(3)10--10, 41(1)4--4, 43(2)8--8
reported, 4(4)601--614, 14(2)265--297, 16(5)1431--1448, 22(6)1002--1036, 23(2)105--186, 28(2)256--289, 28(4)747--793, 30(4)20--20, 41(1)3--3
reporting, 30(6)31--31, 32(4)14--14
repository, 4(4)527--551, 44(4)22--22
Reppy, John H., 17(2)233--263
Reppy, John H., see Rogers, Anne
represent, 4(3)496--517, 5(2)236--264, 9(2)277--295, 9(3)319--349, 10(2)204--214, 15(4)659--680, 16(3)524--576, 16(3)775--797, 16(4)1215--1247, 16(5)1399--1410, 16(6)1661--1674, 16(6)1842--1874, 16(6)1875--1903, 19(1)48--86, 20(3)635--678, 21(2)240--285, 21(3)430--501, 21(3)627--676, 21(4)703--746, 22(1)129--161, 22(4)638--672, 22(5)861--931, 30(4)23--23, 31(4)13--13, 32(1)2--2, 32(2)5--5, 32(5)19--19, 33(5)17--17, 35(2)8--8, 36(1)1--1, 36(4)11--11, 38(3)12--12, 42(1)3--3, 42(2)6--6, 45(1)6--6
representable, 16(3)1051--1077, 19(5)639--684
representation, 1(1)27--49, 2(2)137--152, 3(1)111--111, 3(2)126--143, 4(3)496--517, 4(4)527--551, 7(1)1--9, 7(1)62--79, 7(2)270--298, 7(4)560--599, 9(2)257--276, 9(3)297--318, 9(3)319--349, 9(4)618--645, 10(1)118--155, 10(4)555--578, 11(1)67--89, 11(1)115--146, 11(3)418--450, 12(1)61--83, 13(4)626--629, 14(2)127--144, 14(2)173--200, 14(4)574--588, 14(4)589--616, 15(5)745--770, 15(5)876--895, 16(3)775--797, 16(6)1842--1874, 17(1)85--122, 17(2)181--196, 17(5)777--803, 19(1)7--47, 19(3)427--443, 19(3)462--491, 19(3)492--524, 19(5)639--684, 20(1)1--50, 20(4)845--868, 20(5)980--1013, 21(4)703--746, 21(4)747--789, 22(1)129--161, 27(6)1344--1395, 30(6)32--32, 31(3)12--12, 31(6)21--21, 32(6)23--23, 34(1)3--3, 36(1)4--4, 36(2)6--6, 36(4)12--12, 36(4)13--13, 37(4)12--12, 40(2)8--8, 41(1)1--1, 42(3)13--13, 44(4)25--25, 45(3)18--18
Representation-Independent, 14(4)589--616
representational, 30(4)18--18
REPRESENTATIONS, 7(1)62--79, 8(1)88--108, 9(3)297--318, 9(3)367--389, 10(4)555--578, 13(4)626--629, 14(2)201--264, 14(4)574--588, 20(1)1--50, 20(1)116--165
representative, 9(2)257--276, 19(3)492--524, 19(4)557--567, 20(2)302--343, 33(1)5--5, 41(3)15--15, 41(4)22--22, 44(4)25--25
represented, 4(1)44--82, 4(3)496--517, 4(4)615--649, 8(4)577--608, 9(3)367--389, 14(4)574--588, 16(3)872--923, 16(6)1842--1874, 17(2)293--330, 19(5)726--750, 19(5)751--803, 21(5)914--947, 32(1)3--3, 34(3)14--14, 38(1)1--1, 40(3)11--11, 40(4)17--17
representing, 4(3)323--344, 9(3)367--389, 15(5)876--895, 16(3)775--797, 16(4)1215--1247, 16(5)1512--1542, 19(4)557--567, 21(4)848--894, 32(3)7--7, 43(1)2--2
reprinted, 10(3)403--419
Reproduction, 41(4)21--21
Reps, Thomas, 5(3)449--477, 8(4)417--418, 9(3)408--440, 11(3)345--387, 12(1)26--60, 20(1)1--50, 20(2)259--273, 22(1)162--186, 24(3)217--298, 27(4)786--818, 32(2)5--5, 32(6)23--23, 32(6)24--24, 35(1)4--4, 36(2)5--5, 36(4)11--11, 39(2)9--9, 42(4)16--16, 44(2)11--11
Reps, Thomas, see Alur, Rajeev, \see{Aung, Min, see Balakrishnan, Gogul, \see{Elder, Matt, see Horwitz, Susan, see Jeannet, Bertrand, \see{Li, Yuanbo, see Lim, Junghee, \see{Liu, Peizun, see Sagiv, Mooly
Reps:1983:ICD, 5(3)449--477
Reps:1986:GEI, 8(4)417--418
Reps:1987:SSE, 9(3)408--440
Reps:1998:MMT, 20(2)259--273
Reps:2000:UCS, 22(1)162--186
Reps:2010:FDL, 32(6)24--24
Reps:2017:NPA, 39(2)9--9
Repulsing, 43(2)5--5
reputation, 40(4)14--14
request, 15(4)706--734, 16(3)986--1009, 16(5)1449--1466, 17(3)535--559, 34(2)10--10, 38(4)13--13
requested, 16(3)775--797
requested, oft-, 10(2)189--203
require, 4(2)226--238, 4(4)601--614, 4(4)711--732, 4(4)758--762, 6(2)159--174, 9(2)235--256, 9(3)319--349, 9(3)408--440, 10(2)189--203, 14(4)574--588, 15(1)73--132, 16(1)3--34, 16(3)428--455, 16(3)939--953, 16(6)1768--1810, 17(1)28--44, 17(1)85--122, 17(2)181--196, 17(2)394--429, 17(3)461--486, 17(4)600--634, 17(4)672--689, 18(1)30--72, 18(3)254--267, 18(6)730--751, 18(6)752--779, 19(4)557--567, 19(6)1031--1052, 20(1)51--115, 20(3)635--678, 20(4)869--916, 20(6)1171--1194, 20(6)1223--1250, 21(1)90--137, 21(1)138--173, 21(2)240--285, 21(4)703--746, 22(2)187--223, 22(2)224--264, 22(3)471--489, 22(4)638--672, 22(5)773--815, 28(1)1--69, 28(2)207--255, 28(3)476--516, 28(4)715--746, 30(4)18--18, 30(5)28--28, 31(5)17--17, 31(6)22--22, 32(1)3--3, 32(3)8--8, 32(4)12--12, 33(6)20--20, 36(1)3--3, 36(2)6--6, 37(1)2--2, 37(1)3--3, 38(2)4--4, 39(1)5--5, 40(3)9--9, 40(4)14--14, 41(2)10--10, 41(2)12--12, 41(4)22--22, 42(1)3--3, 42(2)8--8, 42(3)14--14, 42(3)15--15, 44(4)21--21
required, 6(2)159--174, 6(4)527--545, 8(4)491--523, 9(2)198--234, 9(3)319--349, 12(4)643--669, 14(1)28--53, 14(3)396--416, 16(2)175--204, 16(3)986--1009, 16(4)1156--1214, 16(5)1399--1410, 16(5)1449--1466, 16(6)1768--1810, 17(1)28--44, 17(5)691--703, 18(2)139--174, 18(4)477--518, 18(5)564--614, 19(6)942--991, 19(6)1053--1084, 21(1)138--173, 21(3)430--501, 22(3)540--582, 22(6)1037--1080, 27(6)1097--1146, 27(6)1147--1215, 27(6)1270--1343, 28(2)207--255, 28(3)517--575, 31(2)7--7, 33(3)9--9, 34(1)2--2, 34(2)7--7, 34(3)13--13, 36(3)10--10, 36(4)13--13, 37(2)5--5, 37(3)10--10, 38(3)10--10, 41(2)13--13, 41(4)23--23
requirement, 7(1)159--175, 8(4)577--608, 16(1)151--174, 18(1)30--72, 18(6)730--751, 19(6)899--915, 19(6)992--1030, 20(1)116--165, 20(2)274--301, 20(6)1171--1194, 21(1)138--173, 28(5)848--907, 30(4)23--23, 30(6)33--33, 31(1)3--3, 32(3)9--9, 33(5)15--15, 34(1)5--5, 35(1)3--3, 38(2)4--4, 38(3)11--11, 38(4)16--16, 39(1)5--5, 40(1)2--2, 40(3)11--11, 43(2)6--6, 44(4)21--21, 45(2)12--12
Requirements/Specifications, 7(1)10--36, 8(3)344--387, 8(4)524--546, 9(1)1--24, 9(2)198--234, 9(3)441--462, 9(4)646--685, 10(1)156--177, 10(3)403--419, 11(1)147--167, 11(2)284--329, 12(2)224--252, 12(3)463--492, 14(2)147--172, 14(4)521--573, 15(5)876--895, 16(2)259--303, 16(6)1661--1674, 16(6)1811--1841, 18(6)711--729, 19(2)292--333, 20(2)302--343, 21(3)502--526
requirements/specifications, 19(2)292--333
requiring, 3(2)126--143, 16(4)1156--1214, 16(5)1411--1430, 21(2)240--285, 28(3)429--475, 28(4)715--746, 31(5)18--18, 39(3)11--11, 43(1)1--1
requisite, 15(1)73--132
rescheduling, 29(1)3--3
research, 4(1)1--20, 8(4)577--608, 10(2)248--266, 14(2)147--172, 15(1)36--72, 16(1)35--101, 16(3)328--369, 17(2)233--263, 17(3)431--447, 20(2)274--301, 20(6)1223--1250, 22(3)506--539, 27(6)1147--1215, 28(3)476--516, 30(6)32--32, 31(3)12--12, 31(5)19--19, 36(1)1--1, 37(4)11--11, 38(4)15--15, 40(1)1--1, 41(4)21--21, 44(1)5--5, 44(4)22--22, 45(3)19--19
researchers, 16(1)35--101, 22(5)773--815, 28(3)476--516, 31(1)4--4, 34(1)2--2, 34(2)7--7, 38(3)8--8, 40(4)16--16
resemblance, 16(4)1215--1247
resemble, 10(2)204--214, 16(4)1215--1247
reshaping, 30(1)2--2
reside, 14(2)201--264, 38(1)3--3
residual, 22(5)773--815, 34(2)7--7, 38(2)7--7
resiliency, 41(3)15--15
resilient, 7(2)244--269, 41(3)15--15
resolution, 3(1)11--23, 4(2)258--282, 4(4)601--614, 6(4)632--646, 18(5)528--563, 20(3)586--634, 20(4)768--844, 37(3)8--8
resolution-based, 18(5)528--563, 31(1)5--5
resolve, 13(1)1--20, 18(5)528--563, 34(3)12--12, 39(1)3--3, 40(2)8--8, 41(3)16--16
resolved, 6(4)632--646, 7(2)183--213, 16(3)687--726, 38(2)5--5, 39(1)3--3, 44(4)22--22
resolving, 6(4)632--646, 14(3)339--395, 18(2)109--138, 38(2)6--6
resort, 22(2)378--415, 37(4)12--12
resorting, 19(6)853--898, 20(4)869--916, 40(4)16--16
resource, 2(3)338--358, 3(4)405--430, 7(4)501--538, 11(1)90--114, 13(1)99--123, 15(4)632--658, 17(3)535--559, 19(3)525--555, 19(6)853--898, 21(2)189--239, 22(3)471--489, 24(5)566--591, 27(2)264--313, 27(3)441--476, 29(5)28--28, 30(2)8--8, 31(3)11--11, 31(6)23--23, 32(3)9--9, 34(3)14--14, 35(2)8--8, 37(1)2--2, 37(1)4--4, 38(4)13--13, 40(3)9--9, 41(3)15--15, 41(4)23--23, 42(3)14--14, 44(3)14--14, 44(3)17--17
resource-aware, 37(4)11--11
resource-conscious, 37(4)11--11
resource-limited, 30(4)22--22, 39(2)7--7
resource-safe, 31(6)23--23
respect, 5(3)318--354, 7(1)159--175, 8(4)524--546, 8(4)577--608, 9(2)164--197, 13(1)99--123, 13(2)269--290, 14(2)265--297, 15(5)876--895, 16(4)1081--1096, 16(4)1319--1360, 16(4)1361--1398, 16(5)1411--1430, 17(1)47--62, 17(1)157--179, 17(2)366--393, 17(3)487--506, 17(3)535--559, 20(3)546--585, 20(4)724--767, 22(2)224--264, 28(2)256--289, 28(4)619--695, 28(4)696--714, 29(1)2--2, 30(5)25--25, 31(3)12--12, 32(3)8--8, 34(4)17--17, 35(3)11--11, 36(1)3--3, 36(2)5--5, 37(1)1--1, 37(2)7--7, 37(3)10--10, 37(4)11--11, 39(1)4--4, 40(2)6--6, 41(1)1--1, 41(2)11--11, 41(4)22--22, 42(1)2--2, 43(1)4--4, 44(4)25--25
respected, 38(2)4--4
respective, 41(4)20--20
respectively, 32(4)11--11, 32(4)13--13, 40(3)11--11, 41(3)16--16, 41(4)22--22
respond, 17(3)535--559, 32(1)3--3
response, 6(2)215--238, 10(4)633--634, 14(2)173--200, 17(3)535--559, 19(6)992--1030, 32(4)13--13, 32(6)24--24
responsibility, 8(4)491--523, 37(1)2--2, 44(1)3--3
responsible, 35(3)11--11, 39(2)7--7, 44(1)3--3
Responsiveness, 18(4)355--400
rest, 16(5)1543--1571, 21(3)430--501, 39(1)5--5
restarts, 5(1)56--65
restored, 17(4)635--671, 18(6)752--779
Restores, 1(1)115--120
restoring, 4(3)323--344, 30(2)8--8, 39(2)6--6
restrict, 16(3)328--369, 16(3)924--938, 22(1)87--128, 33(6)20--20, 38(4)13--13
restricted, 7(1)62--79, 14(2)265--297, 14(4)589--616, 15(4)575--631, 16(4)1215--1247, 17(2)366--393, 20(6)1265--1296, 21(2)175--188, 21(3)569--626, 23(1)73--103, 34(1)3--3, 36(2)7--7, 36(3)8--8, 40(2)5--5, 41(2)8--8, 42(3)13--13, 43(3)10--10, 44(3)19--19
restricting, 16(4)1156--1214, 39(3)11--11
restriction, 13(1)52--98, 18(1)30--72, 19(5)639--684, 20(6)1171--1194, 21(4)790--812, 22(4)673--700, 28(3)429--475, 36(4)13--13, 41(2)8--8
restrictive, 14(3)417--461, 20(5)980--1013
restructure, 16(6)1768--1810
restructurers, 19(4)557--567
restructuring, 11(3)345--387, 17(1)85--122, 19(3)462--491, 19(4)557--567, 22(3)540--582, 38(3)12--12
result., 31(5)17--17
resultant, 14(2)173--200
resulted, 19(6)1031--1052, 35(4)12--12
resulting, 4(2)149--178, 9(3)319--349, 16(3)986--1009, 16(3)1024--1050, 16(5)1572--1612, 17(2)181--196, 19(1)48--86, 20(3)483--545, 20(4)869--916, 21(2)370--416, 21(4)790--812, 22(2)340--377, 22(4)583--637, 22(4)638--672, 22(5)861--931, 28(3)429--475, 30(6)33--33, 31(4)14--14, 31(5)19--19, 31(6)20--20, 32(2)6--6, 34(1)4--4, 35(2)8--8, 36(1)3--3, 36(3)8--8, 40(3)11--11, 40(4)16--16, 41(4)20--20, 44(2)9--9
results, analysis-, 41(3)16--16
resumption, 14(1)107--125
retain, 9(2)277--295, 9(3)408--440, 16(3)986--1009, 16(6)1675--1683, 18(1)1--15, 31(2)7--7
retained, 9(3)408--440
retaining, 18(4)355--400, 19(1)153--187, 20(6)1195--1222, 40(1)1--1
retarget, 6(4)505--526
retargetability, 7(4)560--599
retargetable, 2(2)191--202, 3(1)110--110, 6(4)505--526, 9(2)257--276, 19(3)492--524, 22(6)973--1001, 35(1)4--4
retargeted, 35(1)4--4
retargeting, 9(2)257--276, 16(5)1648--1659
retention, 3(3)263--292, 9(2)277--295
Rethinking, 41(1)6--6
retraction, 15(5)771--794
RETRIEVAL, 11(1)115--146, 15(5)795--825, 16(3)775--797, 19(6)992--1030
retrieval, 11(1)115--146, 15(5)795--825, 18(5)615--647, 19(6)992--1030
retrieve, 42(4)18--18
retroactive, 33(4)12--12
retrofitting, 27(3)477--526, 37(1)4--4
return, 14(4)471--489, 16(2)175--204, 19(4)568--585, 21(2)240--285, 22(1)129--161, 22(1)162--186, 33(1)4--4, 36(2)5--5, 38(3)8--8, 42(1)1--53
returned, 16(5)1411--1430
reunion.fr, http://www.univ-, 28(2)256--289
reusable, 16(3)524--576, 17(2)264--292, 17(5)691--703, 18(4)355--400, 20(2)274--301
reuse, 14(4)490--520, 15(4)632--658, 16(1)151--174, 16(2)205--258, 17(1)28--44, 17(2)394--429, 18(4)424--453, 18(4)454--476, 20(5)980--1013, 21(3)430--501, 21(4)703--746, 22(5)773--815, 28(2)331--388, 28(5)848--907, 30(4)22--22, 31(6)20--20, 32(1)1--1, 32(1)3--3, 33(4)13--13, 40(2)8--8, 40(3)10--10, 43(3)10--10
reuse-distance, 31(6)20--20
reused, 16(3)577--604, 17(1)28--44
reusing, 30(4)22--22, 32(1)3--3
reveal, 16(6)1768--1810, 21(6)1196--1250, 32(1)1--1, 32(5)17--17
revealed, 30(4)20--20, 32(5)17--17, 36(2)7--7
revealing, 32(5)17--17, 41(3)19--19
reversal, 6(1)1--19, 18(4)424--453, 20(1)1--50, 38(3)12--12
reverse, 16(3)775--797, 22(3)540--582, 32(1)1--1, 32(6)23--23, 44(3)20--20
Reverse-mode, 30(2)7--7
reversed, 4(2)283--294
reversible, 20(5)980--1013
review, 5(2)236--264, 18(4)454--476, 22(5)861--931, 32(4)14--14, 38(2)5--5, 39(4)14--14, 43(2)8--8
reviewing, 14(4)589--616
Revised, 39(1)3--3
revision, 9(2)277--295, 20(3)586--634
revisit, 31(3)9--9, 41(3)15--15
revisited, 18(6)752--779, 27(6)1344--1395
Revisiting, 31(2)6--6, 44(4)24--24
revival, 31(2)6--6
revolutionizing, 39(1)5--5
rewards, 40(1)4--4
rework, 19(6)899--915
rewrite, 9(4)491--542, 16(4)1215--1247, 17(3)461--486, 20(3)679--706, 22(1)45--86, 22(4)583--637, 28(4)696--714, 31(3)10--10
rewriting, 7(1)159--175, 8(2)264--271, 8(4)547--576, 9(4)473--490, 9(4)543--566, 10(2)338--342, 10(3)345--373, 11(2)169--193, 11(4)491--516, 12(1)26--60, 12(1)61--83, 12(1)123--134, 12(3)429--462, 12(4)610--640, 13(1)150--178, 13(2)269--290, 13(3)295--314, 15(3)535--562, 16(3)493--523, 16(3)1024--1050, 16(3)1051--1077, 16(4)1081--1096, 17(2)228--232, 17(2)293--330, 18(1)73--108, 20(3)679--706, 21(6)1077--1136, 22(1)45--86, 22(2)224--264, 27(5)882--945, 28(1)175--205, 28(5)848--907, 29(2)12--12, 31(4)14--14, 33(2)7--7
rewriting, binary-, 22(2)378--415
rewriting, term-, 4(1)83--112, 16(4)1215--1247, 20(3)679--706, 20(4)768--844, 22(1)45--86
rewritten, 9(4)491--542, 28(4)696--714
Reynold, 4(3)496--517, 32(1)2--2, 33(5)17--17, 35(2)6--6
Reynolds, John C., 30(4)24--24, 31(3)11--11
Reynolds, John C., see O'Hearn, Peter W., see Torp-Smith, Noah
Reynolds, Jr., Paul F., 9(1)25--53
Reynolds, Jr., Paul F., see Carson, Scott D.
Rezk, Tamara, 31(5)18--18, 34(2)10--10
Rezk, Tamara, see Barthe, Gilles, see Boudol, Gérard
RGSim, 36(1)3--3
Rhiger, Morten, 25(3)291--315
Rhiger:2003:FEL, 25(3)291--315
RHTT, 35(2)6--6
Ribeiro, Rodrigo G., 42(3)15--15
Ribeiro, Rodrigo G., see Melo, Leandro T. C.
Ribichini, Andrea, 37(1)3--3
Ribichini, Andrea, see Demetrescu, Camil
Rice, 8(4)491--523, 20(4)869--916
rich, 16(3)524--576, 17(1)63--84, 20(3)635--678, 30(4)18--18, 31(1)4--4, 32(3)9--9, 35(2)6--6, 35(3)11--11, 36(4)14--14, 38(3)9--9, 38(4)14--14, 41(1)5--5, 43(2)6--6
Richards, Christopher D., 32(3)7--7
Richards, Christopher D., see Ahmed, Amal
Richardson, Joel E., 15(3)494--534
Richardson:1993:DPL, 15(3)494--534
richer, 10(2)248--266, 41(2)10--10
richness, 31(5)19--19
Richter, David, 45(3)17--17
Richter, Helmut, 7(3)478--489
Richter:1985:NSE, 7(3)478--489
Richter:2023:PTL, 45(3)17--17
riders, 18(1)1--15
Riely, James, 24(5)566--591
Riely, James, see Hennessy, Matthew
right, 3(2)168--206, 16(3)607--648, 19(3)413--426, 20(2)259--273, 21(3)502--526, 28(4)577--618, 38(3)11--11
Right, Access-, 5(1)78--96
right-hand, 4(2)179--195, 22(1)162--186
rigid, 36(4)12--12
rigor, 16(3)798--842
rigorous, 4(3)455--495, 10(2)204--214, 15(1)73--132, 18(3)325--353, 21(3)417--429, 22(4)638--672, 28(5)795--847, 30(5)26--26, 33(3)10--10, 34(3)13--13, 41(1)2--2, 46(1)3--3
rigorously, 20(4)707--723, 41(3)15--15
Rinard, Martin C., 19(6)942--991, 20(3)483--545, 25(1)70--116, 25(3)316--359, 27(2)185--235, 42(4)18--18
Rinard, Martin C., see Rugina, Radu, see Shen, Jiasi
Rinard:1997:CAN, 19(6)942--991
Rinard:1998:DIE, 20(3)483--545
Rinard:2003:ESB, 25(3)316--359
Rinetzky, N., 30(3)13--13
Rinetzky, Noam, 44(3)17--17
Rinetzky, Noam, see Ish-Shalom, Oren
Rinetzky:2008:CPF, 30(3)13--13
ring, 4(4)758--762, 11(2)330--344, 15(3)563--573, 17(1)123--156, 29(5)29--29, 36(4)11--11
Ringer, Talia, 45(2)12--12
Ringer, Talia, see Sanchez-Stern, Alex
RISC, 15(4)632--658, 16(4)1156--1214, 19(3)492--524, 21(3)527--568
RISC/CISC, 21(5)1028--1075
rise, 9(4)491--542, 14(3)339--395, 31(3)9--9, 31(3)11--11, 35(2)7--7, 40(1)2--2, 44(2)10--10
risk, 28(5)908--941, 40(3)10--10
Ritson, Carl G., 40(4)15--15
Ritson, Carl G., see Ugawa, Tomoharu
Rival, Xavier, 29(5)26--26, 40(3)13--13
Rival, Xavier, see Kim, Se-Won
Rival:2007:TPA, 29(5)26--26
Rivas, Exequiel, 45(3)15--15
Rivas, Exequiel, see Haselwarter, Philipp G.
Rivieres, 5(1)122--122
Rivieres, Jim des, 3(1)83--103
Rivieres, Jim des, see LaLonde, Wilf R.
RMI, 23(6)747--775, 27(6)1344--1395
Rn, 8(4)491--523
Robatmili, Behnam, 37(1)2--2
Robatmili, Behnam, see Nowatzki, Tony
Robertson, Edward L., 1(1)71--83
Robertson:1979:CGS, 1(1)71--83
robin, round-, 16(5)1472--1511
Robinson, K. A., 0(z)0--0
Robinson, K. A., see Morgan, C. C.
robot, 31(1)4--4
robotic, 7(2)334--347, 31(1)4--4
Robson, 34(3)13--13
robust, 5(3)381--404, 41(4)22--22
robustly, 43(1)1--1
robustness, 27(6)1049--1096
Roever, 5(3)500--501
Roever, Willem P. de, 2(3)359--385
Roever, Willem P. de, see Apt, Krzysztof R.
Rogers, Anne, 17(2)233--263, 20(6)1265--1296, 26(2)301--338, 27(3)383--387
Rogers, Anne, see Buchsbaum, Adam L., see Cortes, Corinna
Rogers:1995:SDD, 17(2)233--263
Rohde, Henning Korsholm, 28(4)696--714
Rohde, Henning Korsholm, see Ager, Mads Sig
role, 4(2)283--294, 16(3)954--985, 16(4)1081--1096, 16(6)1737--1767, 17(1)157--179, 19(3)462--491, 20(5)980--1013, 21(2)189--239, 22(6)1002--1036, 31(1)4--4, 31(6)20--20, 34(2)8--8, 35(1)2--2, 40(1)4--4, 40(4)17--17, 41(2)12--12, 46(1)1--1
roll-backs, 28(5)942--965
rollback, 7(3)404--425, 15(5)771--794, 33(1)2--2
rollback, lookahead-, 7(3)404--425
rollback-free, 15(5)771--794
Roman, 19(3)462--491
Rong, Hongbo, 30(4)23--23
Rong:2008:RAS, 30(4)23--23
room, 15(4)681--705, 40(3)9--9
Roop, Partha S., 45(2)11--11
Roop, Partha S., see Yip, Eugene
root, 9(2)235--256, 9(3)408--440, 16(5)1472--1511, 17(2)228--232, 19(3)413--426, 31(4)13--13, 32(5)17--17, 39(2)9--9, 40(1)1--1, 44(1)3--3
rooted, 14(4)574--588
Rosa, 39(2)8--8, 41(1)2--2
Rosà, Andrea, 41(3)19--19, 45(2)10--10, see Basso, Matteo
Rosa:2019:AOT, 41(3)19--19
Rosales, Eduardo, 41(3)19--19
Rosales, Eduardo, see Rosà, Andrea
Rose, Luiz, De, 21(2)286--323
Rosen, Barry K., 13(4)451--490
Rosen, Barry K., see Cytron, Ron
Rosenkrantz, D. J., 9(4)543--566
Rosenkrantz, Daniel J., 16(3)775--797, 28(6)1145--1177
Rosenkrantz, Daniel J., see Yu, Lin
Rosenkrantz:1987:EAA, 9(4)543--566
Rosenkrantz:2006:MMA, 28(6)1145--1177
Rossberg, Andreas, 35(1)2--2
Rossberg:2013:MMM, 35(1)2--2
Rossi, Francesca, 23(1)1--29
Rossi, Francesca, see Bistarelli, Stefano
Rossi, Gianfranco, 22(5)861--931
Rossi, Gianfranco, see Dovier, Agostino
rotating, 30(4)23--23
Rotem, D., 6(3)380--401
Rotem, D., see Korach, E.
Rothamel, Tom, 27(1)91--125
Rothamel, Tom, see Liu, Yanhong A.
Roukounaki, Katerina, 39(4)17--17
Roukounaki, Katerina, see Trinder, Phil
round, 33(4)14--14, 39(2)9--9
Round-Off, 41(1)2--2
round-off, 41(1)2--2
round-robin, 16(5)1472--1511
rounding, 37(2)5--5
roundoff, 39(2)8--8
Routeau, J. P., 3(1)11--23
Routeau, J. P., see André, F.
routine, 14(4)471--489, 18(1)1--15
routinely, 19(6)1053--1084
routing, 37(1)2--2
Row, 11(1)33--56
rows, 22(2)340--377
Roy, 16(1)35--101
Roy, Peter, Van, 19(5)804--851, 21(3)569--626
Roy, Indrajit, 37(1)4--4
Roy, Indrajit, see Porter, Donald E.
Roychoudhury, Abhik, 26(3)464--509, 30(2)10--10, 32(4)13--13
Roychoudhury, Abhik, see Suhendra, Vivy, see Wang, Tao
Roychoudhury:2004:UFT, 26(3)464--509
RS/6000, 22(2)265--295
RSC, 43(1)1--1
RSMs, 41(4)23--23
RTL, 31(5)18--18
Ruby, 40(2)8--8
Rudolph, Larry, 5(2)164--189, 10(4)579--601
Rudolph, Larry, see Gottlieb, Allan, see Kruskal, Clyde P.
Ruggieri, Salvatore, 32(6)21--21
Ruggieri:2010:TLC, 32(6)21--21
Rugina, Radu, 25(1)70--116, 27(2)185--235
Rugina:2003:PAS, 25(1)70--116
Rugina:2005:SBA, 27(2)185--235
Ruiz, Antonio, 24(6)698--710
Ruiz, Antonio, see Corchuelo, Rafael
rule, 2(4)564--579, 4(1)113--119, 4(4)650--667, 6(3)402--431, 6(4)632--646, 7(2)183--213, 11(4)491--516, 12(4)643--669, 13(1)21--51, 15(1)73--132, 15(4)575--631, 16(4)1215--1247, 17(1)16--27, 17(3)431--447, 18(2)109--138, 18(6)730--751, 19(3)413--426, 19(5)639--684, 19(6)992--1030, 20(3)679--706, 20(4)724--767, 20(5)917--979, 20(6)1171--1194, 21(1)90--137, 22(1)45--86, 22(1)129--161, 22(1)162--186, 24(1)51--64, 27(6)1216--1269, 28(2)256--289, 28(4)577--618, 28(5)795--847, 30(2)8--8, 30(4)19--19, 31(1)1--1, 31(2)8--8, 31(3)11--11, 31(6)21--21, 32(2)4--4, 33(5)17--17, 34(4)15--15, 36(1)1--1, 36(4)14--14, 39(1)4--4, 40(2)6--6, 40(4)17--17, 41(2)12--12, 44(4)24--24, 44(4)25--25
rule-based, 14(3)339--395, 22(4)583--637, 31(2)8--8
rule-merging, 41(2)12--12
rules''-are, 39(1)4--4
run, 7(4)501--538, 9(2)235--256, 13(2)237--268, 14(1)1--27, 14(2)147--172, 14(2)265--297, 15(5)771--794, 16(1)151--174, 16(3)305--327, 16(3)954--985, 16(5)1431--1448, 17(2)233--263, 17(5)740--776, 19(4)557--567, 20(4)869--916, 20(6)1265--1296, 21(2)175--188, 21(2)240--285, 21(2)324--369, 21(6)1196--1250, 22(1)162--186, 22(3)490--505, 23(1)73--103, 27(6)1049--1096, 27(6)1097--1146, 28(4)577--618, 29(5)29--29, 30(2)8--8, 30(6)30--30, 30(6)32--32, 31(1)5--5, 32(3)8--8, 32(4)15--15, 32(6)24--24, 34(3)13--13, 37(1)4--4, 38(3)11--11, 39(1)4--4, 39(3)10--10, 41(1)3--3, 41(1)4--4, 41(3)18--18, 45(3)17--17
run, define-then-, 44(3)20--20
Run-Time, 10(4)555--578
run-time, 4(2)239--257, 4(4)552--562, 8(4)419--490, 9(3)297--318, 9(3)367--389, 13(1)1--20, 13(2)269--290, 13(3)342--371, 14(1)1--27, 15(4)659--680, 16(1)151--174, 16(2)205--258, 16(3)577--604, 16(5)1449--1466, 17(2)233--263, 18(4)355--400, 19(1)87--152, 19(1)188--222, 20(1)166--207, 20(6)1111--1130, 20(6)1131--1170, 20(6)1195--1222, 21(1)1--10, 21(1)11--45, 21(1)138--173, 21(2)324--369, 21(5)1028--1075, 22(2)265--295, 22(2)296--339, 22(3)471--489, 22(3)490--505, 22(4)673--700, 22(5)932--972, 30(1)6--6, 30(2)8--8, 33(4)12--12
run-time-computed, 22(5)932--972
Runge, Tobias, 45(1)3--3
Runge:2023:IES, 45(1)3--3
running, 6(4)527--545, 14(2)265--297, 19(3)525--555, 19(4)557--567, 19(6)942--991, 20(1)166--207, 21(1)138--173, 21(2)175--188, 22(4)673--700, 23(1)30--72, 27(6)1097--1146, 31(6)21--21, 36(4)13--13, 40(3)9--9, 41(1)2--2, 41(3)19--19, 42(4)16--16, 43(1)2--2, 44(2)8--8, 44(4)26--26
running, long-, 30(2)8--8
runtime, 16(3)328--369, 19(3)525--555, 20(4)724--767, 21(1)138--173, 21(2)240--285, 22(2)416--430, 22(4)673--700, 27(4)583--630, 29(1)2--2, 29(1)3--3, 29(2)13--13, 30(4)19--19, 30(4)22--22, 31(5)17--17, 31(6)23--23, 32(2)6--6, 32(3)9--9, 32(4)11--11, 32(4)13--13, 32(5)18--18, 33(6)21--21, 34(1)3--3, 34(2)7--7, 34(3)13--13, 36(3)10--10, 36(4)12--12, 37(1)4--4, 37(2)5--5, 38(2)5--5, 38(2)7--7, 38(3)8--8, 38(3)9--9, 38(4)13--13, 39(1)2--2, 39(1)5--5, 40(2)8--8, 40(4)18--18, 41(1)1--1, 41(3)15--15, 41(3)16--16, 42(3)13--13, 43(1)1--1, 44(3)17--17
runtime--is, 22(1)129--161
runtime-system, 16(6)1699--1718
Rushton, J. Nelson, 30(2)9--9
Rushton, J. Nelson, see Cooke, Daniel E.
RUSSELL, 7(3)426--445
Russo, Alejandro, 43(2)6--6
Russo, Alejandro, see Lobo-Vesga, Elisabet
Russo, Vincent F., 19(1)153--187
Russo, Vincent F., see Baumgartner, Gerald
Rust, 43(1)3--3, 43(4)15--15
RustHorn, 43(4)15--15
Rüthing, Oliver, 16(4)1117--1155, see Knoop, Jens
Ruzzo, Walter L., 2(3)415--462
Ruzzo, Walter L., see Graham, Susan L.
RVM, 29(1)2--2, 40(4)15--15
Rybalchenko, Andrey, 29(3)15--15
Rybalchenko, Andrey, see Podelski, Andreas
Ryder, Barbara G., 10(1)1--50, 17(5)777--803, 23(2)105--186
Ryder, Barbara G., see Masticola, Stephen P.
Ryder, Jason, 31(2)7--7
Ryder, Jason, see Millstein, Todd
Ryder:1988:IDF, 10(1)1--50
Ryder:2001:SIM, 23(2)105--186
Ryu, Sukyoung, 38(3)8--8, 40(3)13--13
Ryu, Sukyoung, see Kim, Se-Won
Ryu:2016:TOO, 38(3)8--8