Index file section S for toplas.bib

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

Return to index directory

S

• S, 31(3)9--9, 39(1)3--3
• s, 13(1)1--20, 42(3)14--14
• S-attributed, 22(2)224--264
• S-expression, 14(4)589--616
• SA, 28(2)290--330
• Sabry, Amr, 19(6)916--941, 31(4)13--13
• Sabry, Amr, see Ariola, Zena M.
• Sabry:1997:RCV, 19(6)916--941
• sacrifice, 41(3)15--15, 41(3)16--16
• safe, 13(2)237--268, 14(2)173--200, 16(2)205--258, 17(1)63--84, 18(3)300--324, 21(1)11--45, 22(4)701--771, 25(1)1--69, 28(1)1--69, 28(2)207--255, 28(2)290--330, 28(5)795--847, 29(4)22--22, 30(1)2--2, 31(5)19--19, 35(4)12--12, 36(4)12--12, 39(2)7--7, 40(4)16--16, 42(1)1--53, 42(3)14--14, 43(1)1--1, 43(1)3--3, 43(3)10--10, 45(3)16--16, 46(1)2--2
• safe, resource-, 31(6)23--23
• Safe, Type-, 24(6)711--804
• safe, type-, 17(3)431--447, 22(3)490--505, 25(2)225--290, 27(3)477--526, 27(6)1049--1096, 32(5)19--19
• safe-by-default, 43(3)10--10
• safe-for-space, 22(1)129--161
• safe-for-space-complexity, 22(1)129--161
• safely, 13(2)237--268, 16(3)687--726, 19(6)1053--1084, 30(4)18--18, 31(6)23--23, 32(6)22--22, 34(2)9--9, 38(4)16--16, 39(1)4--4, 39(3)11--11, 44(2)12--12
• safer, 18(2)139--174, 40(3)10--10, 42(3)14--14
• safety, 4(3)455--495, 12(4)643--669, 14(3)396--416, 15(1)73--132, 15(5)771--794, 16(2)259--303, 17(4)576--599, 20(6)1171--1194, 20(6)1251--1264, 20(6)1297--1322, 21(1)46--89, 21(3)527--568, 21(4)747--789, 22(1)129--161, 22(4)673--700, 22(4)701--771, 27(6)1049--1096, 27(6)1147--1215, 28(4)619--695, 29(6)33--33, 30(4)18--18, 30(4)21--21, 30(5)29--29, 31(5)18--18, 32(3)7--7, 32(5)18--18, 34(1)6--6, 34(2)10--10, 34(3)12--12, 35(4)12--12, 36(4)14--14, 37(4)11--11, 38(4)16--16, 39(1)4--4, 39(2)7--7, 40(2)5--5, 40(4)16--16, 41(2)8--8, 43(1)1--1, 43(1)3--3, 43(3)10--10, 44(2)8--8
• safety, type-, 28(3)429--475, 31(3)12--12, 38(1)3--3
• safety-critical, 16(5)1613--1647, 39(2)8--8
• Saffire, J-, 30(4)18--18
• Saffire, O-, 30(4)18--18
• Sager, Thomas J., 8(2)264--271
• Sager:1986:SPC, 8(2)264--271
• Sagiv, M., 30(3)13--13
• Sagiv, M., see Rinetzky, N.
• Sagiv, Mooly, 20(1)1--50, 24(3)217--298, 29(5)23--23, 31(6)22--22, 32(2)5--5, 32(5)18--18, 32(6)24--24
• Sagiv, Mooly, see Dolev, Shlomi, see Jeannet, Bertrand, \see{Reps, Thomas, see Yahav, Eran
• Sagiv:1998:SSA, 20(1)1--50
• Sagiv:2002:PSA, 24(3)217--298
• Sagiv:2007:ISE, 29(5)23--23
• Sagonas, Konstantinos, 20(3)586--634, 28(4)715--746, 39(4)17--17
• Sagonas, Konstantinos, see Carlsson, Richard, see Trinder, Phil
• Sagonas:1998:AMT, 20(3)586--634
• Saha, Bratin, 25(2)159--209, 27(1)1--45
• Saha, Bratin, see Shao, Zhong
• Saha:2003:IAQ, 25(2)159--209
• Sahni, Sartaj, 5(3)300--317
• Sahni, Sartaj, see Dekel, Eliezer
• salesman, 9(2)235--256
• salient, 4(1)44--82, 35(1)2--2, 43(1)3--3
• Salvaneschi, Guido, 45(3)17--17
• Salvaneschi, Guido, see Richter, David
• same, 4(2)149--178, 6(4)632--646, 7(3)404--425, 8(1)109--139, 9(2)277--295, 13(2)181--210, 14(2)201--264, 16(3)798--842, 16(3)872--923, 16(4)1114--1116, 16(5)1467--1471, 16(5)1472--1511, 16(6)1737--1767, 16(6)1842--1874, 17(1)63--84, 17(1)123--156, 17(1)157--179, 17(3)487--506, 17(4)576--599, 17(5)691--703, 18(5)519--527, 18(6)659--682, 19(1)48--86, 19(3)462--491, 19(5)751--803, 19(5)804--851, 19(6)942--991, 20(3)586--634, 20(6)1111--1130, 20(6)1251--1264, 21(3)569--626, 21(5)977--1027, 22(1)45--86, 22(2)265--295, 22(3)490--505, 23(1)1--29, 27(3)388--425, 28(2)290--330, 28(4)747--793, 29(1)2--2, 29(5)29--29, 30(6)32--32, 31(1)2--2, 31(4)16--16, 32(3)9--9, 32(4)11--11, 32(4)15--15, 32(6)24--24, 34(2)10--10, 35(1)5--5, 35(2)8--8, 35(4)13--13, 38(2)6--6, 38(3)9--9, 39(4)16--16, 40(1)4--4, 40(2)7--7, 41(1)2--2, 41(3)18--18, 42(1)3--3, 42(1)4--4, 43(3)10--10
• same-origin, 38(3)9--9
• Samet, Hanan, 2(3)290--306
• Samet:1980:CAP, 2(3)290--306
• Sampaio, Diogo, 35(4)13--13
• Sampaio:2013:DA, 35(4)13--13
• sample, 14(1)1--27
• sampling, 31(1)4--4, 31(6)20--20
• sampling-by, 40(1)4--4
• Sanan, David, 43(1)2--2
• Sanan:2021:CCT, 43(1)2--2
• Sanchez-Stern, Alex, 45(2)12--12
• Sanchez-Stern:2023:PIA, 45(2)12--12
• Sanden, B., 22(3)506--539
• Sanden, B., see Wellings, A. J.
• Sanders, J. W., 26(2)221--262
• Sanders, J. W., see Chen, Yifeng
• Sands, David, 18(2)175--234
• Sands:1996:TCL, 18(2)175--234
• Sangiorgi, 28(2)290--330
• Sangiorgi, Davide, 25(1)1--69, 31(4)15--15, 32(5)16--16, 33(1)5--5, 41(4)22--22
• Sangiorgi, Davide, see Kobayashi, Naoki, see Levi, Francesca
• Sangiorgi:2009:OBC, 31(4)15--15
• Sangiorgi:2011:EBH, 33(1)5--5
• Sangiorgi:2019:EBP, 41(4)22--22
• Sankaralingam, Karthikeyan, 37(1)2--2
• Sankaralingam, Karthikeyan, see Nowatzki, Tony
• Sankaranarayanan, K. V., 20(6)1111--1130
• Sankaranarayanan, K. V., see Dhamdhere, D. M.
• Sansom, Patrick M., 19(2)334--385
• Sansom:1997:FBP, 19(2)334--385
• Santa, 11(4)598--632, 32(4)14--14
• Santoro, N., 6(3)380--401
• Santoro, N., see Korach, E.
• Sanyal, Amitabha, 30(1)1--1
• Sanyal, Amitabha, see Khedker, Uday P.
• SAP, 28(2)290--330
• Sapphire, 40(4)15--15
• SARAC, 32(4)15--15
• Saraswat, Vijay, 41(3)15--15
• Saraswat, Vijay, see Grove, David
• Sarkar, Vivek, 21(5)895--913, 35(1)3--3
• Sarkar, Vivek, see Nandivada, V. Krishna, see Poletto, Massimiliano
• Sartin-Tarm, Michael, 37(1)2--2
• Sartin-Tarm, Michael, see Nowatzki, Tony
• SAT, 30(4)19--19
• SAT, Max-, 41(2)12--12
• Sather, 18(1)1--15
• Satin, 32(3)9--9
• satisfaction, 16(3)843--871, 16(5)1449--1466, 33(5)16--16
• satisfactory, 14(1)28--53, 28(4)747--793, 39(1)3--3
• satisfiability, 14(4)521--573, 20(1)51--115, 22(1)87--128, 29(3)16--16, 30(4)19--19, 37(3)9--9, 39(4)15--15, 41(2)12--12, 43(4)15--15, 45(1)6--6
• satisfiability-testing, 38(1)3--3
• satisfiable, 39(4)18--18
• satisfied, 15(4)659--680, 18(1)73--108, 33(4)14--14, 36(1)3--3, 38(2)4--4, 40(3)9--9, 42(1)4--4
• satisfy, 15(1)182--205, 15(5)876--895, 18(1)30--72, 19(5)804--851, 19(6)1031--1052, 20(1)116--165, 20(2)274--301, 20(6)1171--1194, 21(6)1196--1250, 33(4)13--13, 35(2)8--8, 36(4)11--11, 40(3)11--11, 40(4)16--16, 42(1)2--2, 44(2)9--9
• satisfying, 16(1)3--34, 18(1)30--72, 18(3)354--354
• Sato, 16(4)1081--1096
• Saturn, 29(3)16--16
• Saur, Karla, 36(4)13--13
• Saur, Karla, see Hayden, Christopher M.
• save, 18(4)477--518, 32(4)11--11, 33(6)21--21
• save, callee-, 22(1)129--161
• saved, 17(4)635--671, 18(6)752--779
• saving, 4(2)179--195, 9(2)277--295, 17(4)672--689, 41(1)3--3, 41(2)12--12
• saving, labor-, 9(2)125--163
• saving, space-, 19(1)7--47
• say, 14(2)265--297, 18(2)175--234, 43(1)2--2
• SBA, 21(2)370--416
• SC, 36(2)7--7, 38(4)16--16, 43(3)10--10, 45(1)6--6
• SC-Julia, 43(3)10--10
• Scala, 31(3)12--12
• ScalaBench, 41(3)19--19
• scalability, 33(1)3--3, 34(1)5--5, 36(3)8--8, 39(2)6--6, 39(4)17--17, 41(1)1--1, 41(3)19--19, 43(1)2--2
• scalable, 16(3)577--604, 16(4)1248--1278, 29(3)16--16, 32(4)14--14, 34(1)5--5, 36(3)8--8, 39(4)15--15, 39(4)17--17, 42(2)7--7, 42(2)8--8, 43(1)2--2
• ScalaExtrap, 34(1)5--5
• scalar, 19(6)1053--1084
• scale, 4(1)1--20, 10(2)189--203, 21(1)138--173, 30(4)22--22, 32(1)1--1, 32(3)9--9, 32(4)14--14, 33(1)5--5, 34(1)5--5, 36(3)8--8, 36(3)10--10, 39(1)5--5, 39(2)6--6, 39(4)17--17, 40(1)1--1, 40(1)3--3, 41(3)17--17
• scale, full-, 30(6)32--32
• scale, Large-, 42(2)7--7
• scale, large-, 16(3)456--492, 18(4)454--476, 20(5)917--979, 28(2)207--255, 30(6)33--33, 34(2)7--7, 39(4)17--17, 40(2)8--8, 41(3)15--15, 42(2)7--7
• scaling, 18(2)139--174, 27(6)1097--1146, 34(1)5--5, 39(4)17--17, 41(1)6--6, 41(3)17--17
• scan, 21(5)895--913
• scanned, 20(2)259--273
• scanner, 4(2)149--178, 14(4)490--520, 20(2)259--273
• scannerless, 34(4)15--15
• scanning, 14(4)490--520, 20(2)259--273, 37(4)12--12
• scarce, 16(3)1010--1023, 19(6)853--898, 22(3)471--489
• scavenger, 14(1)1--27
• Scavengers, 14(1)1--27
• scavenging, 14(1)1--27
• SCBP, 21(5)1028--1075
• SCC, intra-, 30(6)32--32
• SCCs, 30(6)32--32
• scenario, 31(5)19--19, 34(2)8--8, 34(3)13--13, 37(1)3--3, 37(4)12--12, 41(1)1--1, 42(3)15--15
• Schachte, Peter, 37(1)1--1, 43(3)11--11
• Schachte, Peter, see Gange, Graeme
• Schaefer, Ina, 45(1)3--3
• Schaefer, Ina, see Runge, Tobias
• Schaeffer, Jonathan, 31(3)9--9
• Schaeffer, Jonathan, see MacDonald, Steve
• Schaerf, Andrea, 20(5)1014--1066
• Schaerf, Andrea, see Apt, Krzsztof R.
• Schanuel, 14(4)574--588
• Schärli, Nathanael, 28(2)331--388, see Ducasse, Stéphane
• Schatz, Roland, 40(2)8--8
• Schatz, Roland, see Grimmer, Matthias
• schedulability, 19(3)525--555, 21(1)46--89
• schedule, 15(4)632--658, 16(4)1156--1214, 17(5)740--776, 21(1)46--89, 21(1)138--173, 22(5)773--815, 23(1)73--103, 26(4)609--651, 29(6)34--34, 30(4)23--23, 34(1)1--1, 37(3)8--8, 37(4)12--12, 38(2)5--5, 38(3)11--11, 41(1)3--3
• schedule-dependent, 38(3)11--11
• scheduled, 4(1)44--82, 23(1)73--103, 38(2)5--5
• scheduler, 7(4)501--538, 17(5)740--776, 19(3)525--555, 20(6)1171--1194, 21(1)138--173, 29(6)33--33, 34(1)6--6, 36(3)10--10, 37(1)2--2
• scheduling, 1(1)142--160, 4(4)668--677, 4(4)678--686, 7(4)501--538, 11(1)57--66, 11(1)90--114, 11(3)404--417, 11(4)562--584, 11(4)585--597, 12(1)84--101, 12(2)203--223, 13(3)399--442, 14(3)299--338, 15(4)632--658, 16(3)649--686, 16(3)954--985, 16(4)1156--1214, 17(5)740--776, 18(4)477--518, 19(3)525--555, 19(5)685--725, 19(6)853--898, 20(6)1195--1222, 21(1)46--89, 21(1)138--173, 22(2)296--339, 22(5)773--815, 23(1)73--103, 29(6)33--33, 31(6)21--21, 32(3)9--9, 33(3)10--10, 36(3)10--10, 37(1)2--2, 41(3)17--17
• scheduling, code-, 17(5)740--776, 19(6)853--898
• scheduling, expression-tree-, 17(5)740--776
• scheduling, guard-, 6(2)215--238, 16(3)954--985
• scheduling, instruction-, 18(6)683--710
• scheduling, spatial-, 37(1)2--2
• scheduling, thread-, 32(5)18--18
• Scheidhauer, Ralf, 19(5)804--851, 21(3)569--626
• Scheidhauer, Ralf, see Haridi, Seif, see Van Roy, Peter
• Scheifler, Robert, 5(3)381--404
• Scheifler, Robert, see Liskov, Barbara
• Schellhorn, Gerhard, 33(1)4--4
• Schellhorn, Gerhard, see Derrick, John
• schema, 16(3)727--774, 23(2)105--186, 32(1)2--2
• schemas,, 32(1)2--2
• SCHEME, 7(4)501--538, 9(4)582--598, 17(5)704--739
• scheme, 4(1)37--43, 4(4)585--600, 7(4)501--538, 8(1)109--139, 10(2)204--214, 13(3)372--398, 14(2)147--172, 14(3)339--395, 14(4)574--588, 14(4)589--616, 16(3)775--797, 17(4)635--671, 17(5)704--739, 18(4)477--518, 18(6)752--779, 19(1)87--152, 20(1)116--165, 20(1)166--207, 20(4)768--844, 20(4)845--868, 20(6)1195--1222, 21(2)370--416, 22(1)129--161, 22(5)861--931, 27(6)1216--1269, 28(4)715--746, 28(5)795--847, 30(5)25--25, 30(5)28--28, 30(5)29--29, 31(1)5--5, 31(3)12--12, 32(4)13--13, 34(1)3--3, 34(1)5--5, 34(4)17--17, 37(2)6--6, 39(4)15--15
• Scheme-like, 31(3)12--12
• schemes, 4(4)733--757, 7(4)680--685, 9(4)473--490, 11(4)633--649, 12(1)26--60, 15(1)1--35, 15(4)575--631, 16(6)1737--1767, 18(2)139--174, 19(2)223--238, 19(3)444--461, 22(2)224--264, 28(2)331--388, 30(5)25--25, 30(5)28--28, 39(4)16--16, 42(1)1--53
• schemes-GTSs-are, 9(4)473--490
• Schenfeld, Eugen, 14(4)574--588
• Schenfeld, Eugen, see Katzenelson, Jacob
• Schewe, Sven, 37(3)9--9
• Schewe, Sven, see Wang, Farn
• Schimpf, Karl M., 10(2)338--342
• Schimpf, Karl M., see Bermudez, Manuel E.
• Schism[7]., 14(2)147--172
• Schlichting, Richard D., 6(3)402--431
• Schlichting:1984:UMP, 6(3)402--431
• Schmidt, David A., 7(2)299--310
• Schmidt:1985:DGV, 7(2)299--310
• Schmitt, Alan, 29(3)17--17
• Schmitt, Alan, see Foster, J. Nathan
• Schmitz, Tommy, 39(3)10--10
• Schmitz, Tommy, see Austin, Thomas H.
• Schneider, F. B., 14(3)396--416, 15(1)208--208
• Schneider, F. B., see Widom, Jennifer
• Schneider, Fred B., 4(2)125--148, 6(1)1--19, 6(2)281--296, 6(3)402--431, 11(1)147--167, 28(1)175--205
• Schneider, Fred B., see Alpern, Bowen, see Archer, Jr., James E., see Hamlen, Kevin W., see Lamport, Leslie, see Schlichting, Richard D.
• Schneider, Scott, 39(1)5--5
• Schneider, Scott, see Hirzel, Martin
• Schneider-Kamp, Peter, 33(2)7--7
• Schneider-Kamp, Peter, see Giesl, Jürgen
• Schneider:1982:SDP, 4(2)125--148
• Scholten, 4(4)678--686
• Scholten, Dijkstra-, 4(1)37--43
• Scholz, Bernhard, 42(2)7--7
• Scholz, Bernhard, see Zhao, David
• Schonberg, Edmond, 1(1)27--49, 3(2)126--143
• Schonberg, Edmond, see Dewar, Robert B. K.
• Schonberg:1981:ATS, 3(2)126--143
• Schorr--Waite, 4(3)362--381
• Schrammel, Peter, 40(1)1--1
• Schrammel, Peter, see Chen, Hong-Yi
• Schreiber, Robert, 17(1)123--156
• Schreiber, Robert, see Chatterjee, Siddhartha
• Schreiber, Robert S., 34(2)9--9
• Schreiber, Robert S., see Joisha, Pramod G.
• Schreye, Danny, De, 20(1)208--258, 21(6)1137--1195
• Schrijvers, Tom, 31(2)8--8, 42(1)2--2
• Schrijvers, Tom, see Sneyers, Jon, see Xie, Ningning
• Schuett, Angela, 25(2)225--290
• Schuett, Angela, see Bruce, Kim B.
• Schuh, Daniel T., 15(3)494--534
• Schuh, Daniel T., see Richardson, Joel E.
• Schulte, Christian, 27(3)388--425, 31(1)2--2, 31(2)1--1, 41(3)17--17
• Schulte, Christian, see Lozano, Roberto Castañeda
• Schulte, Wolfram, 31(1)1--1
• Schulte, Wolfram, see Jacobs, Bart
• Schulte:2005:WDB, 27(3)388--425
• Schulte:2008:ECP, 31(1)2--2, 31(2)1--1
• Schulte:2009:EEC, 31(1)2--2, 31(2)1--1
• Schultz, Ulrik P., 25(4)452--499
• Schultz, Ulrik Pagh, 22(3)471--489
• Schultz, Ulrik Pagh, see Clausen, Lars Ræder
• Schultz:2003:APS, 25(4)452--499
• Schwanke, 10(4)633--634
• Schwanke, Robert W., 10(4)627--632
• Schwanke:1988:SR, 10(4)627--632, 10(4)633--634
• Schwartz, Jacob T., 1(1)27--49, 2(4)484--521, 3(2)126--143, 5(1)26--45
• Schwartz, Jacob T., see Dewar, Robert B. K., see Freudenberger, Stefan M., see Schonberg, Edmond
• Schwartz:1980:U, 2(4)484--521
• Schwartzbach, 17(4)576--599
• Schwartzbach, Michael I., 25(6)814--875, 29(4)21--21
• Schwartzbach, Michael I., see Christensen, Aske Simon, see M{\o}ller, Anders
• science, 11(4)598--632, 14(2)127--144, 28(4)747--793, 31(4)15--15, 38(4)15--15
• scientific, 2(3)307--320, 4(2)226--238, 16(6)1768--1810, 18(4)424--453, 19(6)942--991, 20(3)483--545, 21(2)286--323, 21(4)703--746, 34(1)3--3, 34(1)5--5, 37(3)8--8, 39(2)8--8, 39(4)15--15
• scm, 12(1)1--25
• scope, 14(1)28--53, 16(1)1--2, 16(3)456--492, 16(5)1449--1466, 17(1)63--84, 18(4)477--518, 30(6)32--32, 31(2)8--8, 31(3)10--10, 31(6)23--23, 35(3)9--9, 39(4)14--14
• scoped, 22(4)701--771
• scoping, 5(2)127--163, 14(1)28--53
• Scott, Elizabeth, 28(4)577--618, 45(3)14--14
• Scott:2006:RNG, 28(4)577--618
• Scott:2023:MIP, 45(3)14--14
• Scozzari, Francesca, 20(5)1067--1109
• Scozzari, Francesca, see Giacobazzi, Roberto
• scratch, 22(2)187--223, 32(1)3--3
• scratch, from-, 32(1)3--3
• scratch., 32(1)3--3
• scratchpad, 32(4)13--13
• screen, 11(1)33--56, 21(6)1077--1136
• screen, full-, 8(4)547--576
• script, 11(1)115--146, 32(5)19--19, 34(2)10--10, 41(3)18--18
• scripting, 38(3)9--9, 39(3)10--10, 41(3)18--18
• SD, 39(4)17--17
• sde, 12(1)1--25
• SDV, 37(3)10--10
• se, 18(4)355--400
• sealing, 39(3)11--11
• seamless, 40(2)8--8
• seamlessly, 35(1)2--2, 36(4)12--12, 37(1)3--3, 40(4)16--16
• search, 8(1)50--87, 9(2)235--256, 11(1)33--56, 11(1)115--146, 11(4)491--516, 12(2)224--252, 14(4)471--489, 15(4)659--680, 15(5)795--825, 16(3)775--797, 16(4)1248--1278, 16(5)1648--1659, 18(3)300--324, 19(3)413--426, 19(3)462--491, 20(1)1--50, 20(4)869--916, 20(5)1014--1066, 21(3)417--429, 22(2)296--339, 23(1)73--103, 27(3)388--425, 30(3)17--17, 41(2)13--13, 45(3)16--16
• search, depth-first-, 4(3)362--381
• searching, 6(4)546--572, 19(3)413--426
• Seaton, Chris, 40(2)8--8
• Seaton, Chris, see Grimmer, Matthias
• Sebastian, 42(2)6--6
• Sebesta, R. W., 16(6)1842--1874
• Sebesta, R. W., see Von Bank, D. G.
• second, 5(2)127--163, 5(2)236--264, 7(2)183--213, 9(2)125--163, 9(3)408--440, 13(1)52--98, 13(1)124--149, 14(1)54--106, 14(2)147--172, 15(4)575--631, 16(3)428--455, 16(4)1117--1155, 16(4)1156--1214, 16(4)1248--1278, 16(6)1842--1874, 18(5)564--614, 20(1)208--258, 20(6)1171--1194, 22(1)87--128, 22(1)129--161, 22(2)296--339, 28(1)1--69, 28(3)476--516, 28(4)747--793, 29(6)33--33, 30(6)32--32, 31(6)20--20, 32(4)11--11, 33(5)15--15, 34(1)6--6, 35(1)5--5, 35(3)11--11, 36(4)13--13, 38(2)5--5, 39(2)7--7, 39(3)11--11, 40(1)4--4, 40(2)8--8, 41(4)20--20, 41(4)21--21, 41(4)23--23, 42(1)2--2, 43(1)3--3, 43(3)10--10
• second-order, 18(2)109--138, 40(2)5--5
• Secondary, 7(1)62--79
• Secondly, 40(2)7--7
• secrecy, 37(1)4--4
• secret, 29(6)35--35
• section, 4(3)382--401, 6(2)215--238, 14(2)145--146, 15(5)745--770, 19(3)492--524, 28(1)134--174, 28(5)942--965, 30(3)17--17, 31(6)20--20, 38(2)5--5, 43(4)13--13
• sectors, 39(1)5--5
• secure, 21(1)11--45, 21(3)527--568, 29(6)31--31, 30(6)30--30, 33(2)8--8, 37(2)6--6, 37(4)11--11, 42(1)1--53, 42(1)3--3, 43(1)1--1, 43(4)14--14, 45(3)16--16
• secured, 40(4)16--16
• Securely, 16(3)986--1009
• securing, 39(2)7--7, 43(3)12--12
• security, 7(2)214--243, 9(4)582--598, 15(4)706--734, 16(3)775--797, 16(3)986--1009, 19(1)153--187, 21(1)90--137, 21(6)1196--1250, 22(4)638--672, 28(1)175--205, 30(5)25--25, 30(6)30--30, 31(1)3--3, 31(1)5--5, 33(4)13--13, 34(4)17--17, 35(2)6--6, 37(1)4--4, 37(2)6--6, 37(4)11--11, 38(3)9--9, 39(3)10--10, 40(4)16--16, 41(3)18--18, 42(1)1--53, 42(1)3--3, 42(2)11--11, 43(1)1--1
• Security-critical, 45(1)3--3
• security-preserving, 43(1)1--1
• security-related, 41(3)18--18
• security-typed, 40(4)16--16
• SecurityPolicy, WS-, 30(6)30--30
• sed, 28(3)389--428
• Sedgewick, Robert, 5(3)405--421
• Sedgewick, Robert, see Lipton, Richard J.
• see, 1(1)84--97, 2(1)42--55, 2(1)134--134, 2(2)137--152, 2(2)191--202, 2(3)359--385, 2(3)463--463, 3(1)1--10, 3(1)83--103, 3(1)110--110, 3(1)111--111, 3(1)112--112, 3(1)112--113, 4(1)21--36, 4(1)120--122, 4(1)122--123, 4(2)179--195, 4(3)323--344, 5(1)122--122, 5(3)499--499, 5(3)499--500, 5(3)500--501, 6(3)432--439, 6(4)487--504, 6(4)603--631, 7(3)490--492, 8(3)406--407, 9(3)390--407, 10(2)204--214, 10(3)503--504, 10(4)602--626, 10(4)627--632, 10(4)633--634, 10(4)635--640, 11(3)482--482, 11(4)650--665, 11(4)666--668, 12(1)135--138, 12(4)670--699, 13(1)179--179, 13(3)399--442, 13(4)626--629, 13(4)630--630, 13(4)631--632, 13(4)633--633, 14(2)265--297, 14(3)396--416, 15(1)206--208, 15(1)208--208, 15(2)357--365, 17(1)180--180, 17(4)672--689, 18(1)30--72, 18(3)354--354, 20(6)1265--1296, 21(1)1--10, 21(3)569--626, 27(3)383--387, 31(1)2--2, 31(2)1--1, 32(6)23--23, 35(4)13--13, 40(3)11--11, 40(4)16--16, 42(2)11--11
• seek, 16(6)1768--1810, 18(5)528--563, 32(3)7--7, 37(1)2--2
• seeking, 43(1)2--2
• seem, 14(2)147--172, 16(3)687--726, 17(4)561--575, 18(3)325--353, 20(1)208--258, 23(2)105--186, 36(4)14--14, 37(4)13--13, 40(1)1--1
• seen, 4(2)283--294, 4(4)687--710, 13(1)21--51, 16(3)798--842, 18(1)30--72, 20(4)707--723, 21(6)1077--1136, 30(6)31--31, 31(4)16--16, 31(5)19--19, 35(3)11--11, 35(4)14--14, 41(4)22--22, 45(1)2--2, 45(4)22--22
• segment, 4(4)585--600, 16(3)370--386, 16(3)577--604, 19(3)444--461
• segmentation, 4(4)585--600
• segregating, 14(1)1--27
• Seidel, Karen, 18(3)325--353
• Seidel, Karen, see Morgan, Carroll
• Seidl, 36(4)11--11
• Seidl, Helmut, 29(5)29--29, 33(3)11--11, 33(6)21--21
• Seidl, Helmut, see Flexeder, Andrea, see Gawlitza, Thomas Martin, see Müller-Olm, Markus
• seismic, 19(6)942--991
• Sekar, R., 17(6)896--937
• Sekar:1995:FSA, 17(6)896--937
• Seki, Hiroyuki, 10(4)555--578
• Seki, Hiroyuki, see Inoue, Katsuro
• Sekiyama, Taro, 39(1)3--3
• Sekiyama:2017:PMC, 39(1)3--3
• seldom, 9(2)164--197, 13(1)52--98, 14(4)471--489
• select, 16(4)1156--1214, 18(4)424--453, 22(3)431--470, 22(4)583--637, 39(2)8--8, 42(2)10--10
• selected, 6(4)632--646, 16(5)1411--1430, 19(3)525--555, 20(4)869--916, 28(1)134--174, 28(2)256--289, 36(4)14--14, 41(3)17--17, 41(3)19--19
• selecting, 16(3)524--576, 18(5)528--563, 22(3)490--505, 27(6)1147--1215, 32(4)11--11
• selection, 3(2)126--143, 6(4)505--526, 15(5)795--825, 18(5)528--563, 20(4)869--916, 28(1)134--174, 28(2)256--289, 41(1)1--1
• selective, 6(4)573--602, 19(6)853--898, 38(2)6--6, 42(2)10--10
• selectively, 22(5)932--972, 28(2)290--330, 38(2)6--6
• selector, 22(1)162--186, 41(2)12--12
• SELF, 18(4)355--400
• Self, 14(1)1--27
• self-adjusting, 32(1)3--3, 37(1)3--3
• self-applicable, 14(2)147--172, 16(6)1699--1718
• self-application, 14(2)147--172
• self-composition, 42(1)3--3
• self-modifying, 14(2)265--297
• Self-Stabilization, 15(4)735--742
• self-stabilization, 15(4)735--742, 31(6)22--22
• Self-Stabilizing, 11(2)330--344
• self-stabilizing, 31(6)22--22
• self-versioning, 20(5)980--1013
• Seltzer, Margo, 45(1)2--2
• Seltzer, Margo, see Hu, Jingmei
• semantic, static-, 8(4)577--608
• semantic-preserving, 41(2)12--12
• semantical, 16(3)607--648, 16(4)1279--1318
• semantically, 9(4)491--542, 16(3)1024--1050, 16(4)1361--1398, 16(5)1411--1430, 16(5)1648--1659, 19(3)413--426, 19(3)444--461, 21(4)813--847, 22(3)540--582, 30(4)24--24, 33(4)13--13, 35(1)2--2, 36(3)8--8, 37(4)13--13, 44(4)25--25
• semantics, move-, 43(1)3--3
• semantics, wp-, 40(1)4--4
• semantics-and, 40(1)4--4
• semantics-aware, 30(5)25--25
• Semantics-Based, 15(1)36--72, 15(1)133--181
• semantics-based, 30(5)25--25
• Semantics-Directed, 5(4)554--595, 16(4)1215--1247
• semantics-preserving, 19(5)639--684, 20(3)546--585, 34(1)6--6
• Semaphore, 9(1)25--53
• semaphores, 4(2)125--148, 4(3)455--495
• semi-automatic, 34(3)11--11
• semi-commutativity, 22(6)1002--1036
• semi-unification, 15(2)253--289
• semilattice, 43(1)4--4
• semiring, 23(1)1--29, 39(2)9--9, 40(3)9--9, 41(4)23--23
• semiring-based, 23(1)1--29
• semistructured, 28(3)389--428
• send, 31(2)7--7
• Send-receive, 26(1)47--56
• senders, 30(6)30--30
• sending, 4(4)527--551, 7(1)80--112, 11(4)585--597, 12(1)102--122, 14(1)28--53, 20(5)917--979
• sense, 7(1)62--79, 13(2)181--210, 14(3)339--395, 16(3)1010--1023, 17(2)331--365, 21(2)189--239, 22(1)1--44, 29(2)13--13, 31(6)21--21
• sensible, 32(1)2--2, 35(3)9--9
• sensitive, 19(1)188--222, 22(1)162--186, 40(3)11--11, 40(3)13--13, 40(4)14--14, 41(2)12--12
• sensitive, calling-context-, 23(2)105--186
• sensitive, Context-, 22(2)416--430, 45(4)20--20
• sensitive, context-, 19(4)568--585, 20(4)707--723, 22(1)162--186, 22(2)416--430, 30(4)19--19, 32(2)5--5, 32(6)23--23, 40(1)1--1, 40(4)14--14, 41(2)13--13, 41(3)14--14, 41(3)18--18, 42(2)8--8
• sensitive, field-, 30(1)4--4, 35(1)5--5, 41(3)16--16, 41(3)18--18
• sensitive, flow-, 17(5)777--803, 19(1)1--6, 21(4)848--894, 23(2)105--186, 30(2)8--8, 30(4)18--18, 32(2)4--4, 35(1)5--5, 36(4)12--12, 38(2)6--6, 41(2)13--13, 41(3)18--18, 43(1)3--3
• sensitive, flow-/context-, 23(2)105--186
• sensitive, object-, 41(3)18--18
• sensitive, partially-flow-, 30(3)13--13
• sensitive, synchronization-, 22(2)416--430, 42(4)16--16
• sensitive, Time-, 44(1)2--2
• sensitive, time-, 44(1)2--2
• Sensitive, X-, 38(2)6--6
• sensitive-upgrade, no-, 39(3)10--10
• sensitively, time-, 44(1)2--2
• sensitivity, 14(2)265--297, 30(5)29--29, 33(1)3--3, 35(1)5--5, 37(2)5--5, 40(3)13--13, 42(2)10--10
• sensitivity, context-, 38(2)6--6, 40(4)14--14
• sensitivity, flow-, 30(4)18--18
• sensitivity, termination-, 42(1)3--3
• sensor, 19(3)525--555, 29(6)33--33
• sent, 17(3)535--559, 21(6)1196--1250
• sentences, 16(3)1024--1050, 21(6)1077--1136
• sentential, 20(5)980--1013
• sentential-form, 20(5)980--1013
• Seo, Sunae, 29(6)39--39
• Seo:2007:GDW, 29(6)39--39
• separability, 16(5)1472--1511
• separate, 9(2)198--234, 14(2)173--200, 16(2)175--204, 16(3)524--576, 18(5)615--647, 21(1)11--45, 29(2)13--13, 29(6)33--33, 30(5)28--28, 33(6)20--20, 34(1)4--4, 34(4)15--15, 35(3)11--11, 39(1)3--3, 41(1)5--5, 42(2)8--8, 44(1)4--4, 45(3)17--17
• separately, 8(4)491--523, 14(1)107--125, 14(4)574--588, 16(1)151--174, 16(3)524--576, 16(3)577--604, 21(1)46--89, 35(1)2--2, 35(2)6--6
• separating, 14(2)201--264, 31(3)11--11, 33(5)17--17, 33(6)20--20, 34(1)3--3, 44(4)21--21
• separating, non-, 34(1)2--2
• separating, State-, 45(3)15--15
• separation, 4(2)149--178, 14(1)54--106, 16(3)607--648, 16(4)1215--1247, 17(2)264--292, 29(5)24--24, 30(4)24--24, 31(3)11--11, 33(5)17--17, 34(1)2--2, 35(2)8--8, 37(2)7--7, 38(2)4--4, 40(3)12--12, 43(4)16--16, 44(3)16--16
• separation, Strong-, 44(3)16--16
• separator, 16(3)370--386
• sequence, 4(4)563--584, 14(3)339--395, 14(3)417--461, 14(4)471--489, 16(2)259--303, 16(3)775--797, 16(3)986--1009, 16(4)1156--1214, 16(4)1248--1278, 16(4)1319--1360, 16(5)1472--1511, 16(5)1648--1659, 16(6)1842--1874, 17(1)85--122, 17(2)394--429, 18(1)16--29, 18(6)659--682, 19(5)639--684, 19(6)1031--1052, 19(6)1085--1087, 20(2)259--273, 20(5)980--1013, 21(3)527--568, 21(5)1028--1075, 22(2)378--415, 22(3)471--489, 30(5)25--25, 30(5)28--28, 31(3)10--10, 32(2)5--5, 32(4)13--13, 33(4)14--14, 34(1)4--4, 34(4)16--16, 35(1)3--3, 36(2)6--6, 38(2)7--7, 38(3)11--11, 38(3)12--12, 42(4)16--16
• sequences/vectors/streams, 13(1)52--98
• sequencing, 4(4)678--686, 11(1)57--66, 11(3)404--417, 11(4)562--584, 11(4)585--597, 12(1)84--101, 12(2)203--223, 13(3)399--442, 15(4)632--658
• sequent, 31(4)13--13, 41(2)8--8
• sequential, 1(2)218--225, 2(2)234--238, 2(3)359--385, 4(1)37--43, 5(2)164--189, 5(3)500--501, 6(2)159--174, 6(2)175--191, 6(4)647--662, 13(1)21--51, 13(1)124--149, 15(5)745--770, 16(3)305--327, 16(3)328--369, 16(3)577--604, 16(3)775--797, 16(3)798--842, 16(4)1248--1278, 16(6)1661--1674, 17(4)600--634, 18(3)268--299, 18(4)454--476, 20(1)51--115, 20(2)344--387, 22(3)506--539, 30(4)20--20, 31(5)17--17, 31(6)20--20, 32(3)8--8, 32(4)14--14, 34(2)9--9, 35(2)8--8, 36(1)3--3, 36(2)7--7, 37(3)10--10, 37(4)13--13, 38(2)4--4, 38(2)5--5, 38(4)16--16, 41(2)9--9, 43(1)4--4, 43(3)10--10, 44(2)8--8
• Sequential-access, 8(1)142--153
• Sequentialization, 44(1)1--1
• sequentially, 44(1)1--1
• sequentially-sound, 34(2)9--9
• serial, 20(3)483--545, 21(1)138--173, 30(4)20--20, 33(4)14--14
• serialization, 36(3)10--10, 37(4)11--11
• serial/parallel, 31(1)3--3
• series, 13(1)52--98, 18(1)1--15, 30(3)17--17, 31(3)12--12, 39(3)11--11
• serious, 14(2)127--144, 16(3)727--774, 20(1)51--115, 21(1)11--45, 21(3)677--701, 22(2)265--295, 22(4)673--700, 28(1)106--133, 41(4)21--21
• Serrano, Manuel, 34(2)10--10
• Serrano, Manuel, see Boudol, Gérard
• Serrano, Mauricio J., 25(6)876--910
• Serrano, Mauricio J., see Choi, Jong-Deok
• serve, 4(2)149--178, 15(4)659--680, 16(3)954--985, 19(6)942--991, 21(3)502--526, 21(3)677--701, 33(5)15--15, 34(1)1--1, 39(4)14--14, 40(2)6--6, 42(1)2--2
• served, 4(2)149--178
• Served, First-Come-First-, 13(4)558--576
• server, 16(3)986--1009, 19(5)804--851, 27(6)1049--1096, 27(6)1097--1146, 28(1)1--69, 28(1)70--105, 28(5)908--941, 29(4)18--18, 30(4)22--22, 34(2)10--10, 36(1)2--2, 41(3)16--16
• server, client-, 17(5)704--739, 34(2)10--10
• server-based, 46(1)4--4
• server-oriented, 27(6)1097--1146
• Servetto, Marco, 45(1)3--3
• Servetto, Marco, see Runge, Tobias
• service, 14(2)201--264, 16(1)151--174, 16(3)986--1009, 25(6)814--875, 30(6)30--30, 31(1)5--5, 31(5)19--19, 34(2)8--8, 34(2)10--10, 36(2)6--6, 41(3)18--18, 43(1)2--2, 45(2)13--13
• service, denial-of-, 40(1)1--1
• services., 31(5)19--19
• services/resources, 28(2)290--330
• serving, 9(2)198--234
• session, 4(4)585--600, 14(1)1--27, 21(6)1077--1136, 34(2)8--8, 40(4)17--17, 41(2)9--9, 43(2)7--7, 44(3)18--18, 44(3)19--19
• Session-Based, 40(4)17--17
• session-based, 40(4)17--17
• Sestoft, 17(1)47--62, 18(6)730--751
• set, instruction-, 14(2)265--297
• set, working-, 21(5)977--1027, 31(6)20--20
• set-based, 21(2)370--416, 22(1)162--186
• set-of-, 4(4)711--732
• \, set-of-, 4(4)711--732
• set-theoretic, 22(5)861--931
• Sethi, Ravi, 5(4)554--595
• Sethi:1983:CFA, 5(4)554--595
• SETL, 1(1)27--49, 3(2)126--143, 4(3)402--454, 5(1)26--45
• sets--along, 22(5)861--931
• sets-of-d, finite-, 4(4)711--732
• setting, 1(1)8--26, 7(3)359--379, 9(2)164--197, 16(4)1097--1113, 18(3)268--299, 20(5)1067--1109, 21(5)914--947, 22(2)378--415, 22(4)701--771, 22(6)1002--1036, 27(5)857--881, 29(5)29--29, 30(3)17--17, 33(4)13--13, 38(3)8--8, 39(3)11--11, 40(1)4--4, 41(1)1--1
• setup, 42(3)15--15
• seven, 18(6)659--682, 32(6)23--23, 37(3)8--8
• severe, 14(1)1--27
• severely, 17(1)63--84, 17(4)561--575
• severity, 14(1)1--27
• Sewell, Peter, 29(4)22--22, 32(4)12--12
• Sewell, Peter, see Stoyle, Gareth
• Sewell:2010:NPP, 32(4)12--12
• SFME-based, 34(1)3--3
• SG, 41(1)1--1
• SG-static, 41(1)1--1
• SGI, 21(2)286--323, 22(4)673--700
• SGML, 19(3)413--426
• SHA-256, 37(2)7--7
• shallow, 31(4)13--13
• Shalom, Oren, Ish-, 44(3)17--17
• Shamir, Boaz, Patt-, 26(2)370--412
• Shan, Chung-chieh, 42(2)9--9
• Shan, Chung-chieh, see Narayanan, Praveen
• Shankar, A. Udaya, 10(1)178--188, 14(3)417--461
• Shankar, A. Udaya, see Murphy, Sandra L.
• Shankar, Priti, 22(6)973--1001
• Shankar, Priti, see Madhavan, Maya
• Shankar:1992:SRH, 14(3)417--461
• Shao, Zhong, 22(1)129--161, 24(2)112--152, 25(2)159--209, 27(1)1--45
• Shao, Zhong, see League, Christopher, see Saha, Bratin
• Shao:2000:ESS, 22(1)129--161
• Shao:2005:TSC, 27(1)1--45
• shape, 17(1)123--156, 20(1)1--50, 24(3)217--298, 28(4)747--793, 28(5)848--907, 32(2)5--5, 32(5)18--18, 32(6)24--24, 33(5)17--17, 35(2)8--8
• shape, letter-, 7(1)62--79
• shape-analysis, 20(1)1--50, 32(5)18--18
• shaping, 33(2)6--6
• Shapiro, 16(1)3--34
• share, 10(2)282--312, 35(4)13--13
• shared, 5(1)56--65, 10(4)579--601, 11(1)90--114, 13(1)99--123, 14(2)201--264, 15(1)182--205, 15(4)632--658, 15(5)745--770, 16(3)939--953, 17(3)448--460, 18(3)268--299, 18(4)454--476, 20(6)1131--1170, 21(3)430--501, 22(4)673--700, 24(6)711--804, 28(4)696--714, 28(4)715--746, 32(3)9--9, 32(4)13--13, 34(1)2--2, 36(1)2--2, 36(3)9--9, 36(4)14--14, 40(2)8--8, 44(2)8--8
• Shared-Memory, 15(3)400--462
• shared-memory, 16(1)151--174, 16(3)577--604, 18(6)659--682, 20(3)483--545, 22(4)673--700, 28(2)207--255, 31(3)9--9, 34(2)9--9, 36(2)6--6, 38(4)16--16, 41(3)19--19
• sharing, 9(3)297--318, 14(2)201--264, 16(1)3--34, 16(1)35--101, 16(3)577--604, 16(5)1572--1612, 17(1)28--44, 19(1)7--47, 21(5)948--976, 22(1)129--161, 22(4)673--700, 30(5)29--29, 32(3)8--8, 33(1)3--3
• sharing, structure-, 16(2)205--258
• Sharir, Micha, 3(2)126--143, 4(2)196--225, 4(4)650--667, 5(1)26--45, 5(3)356--380
• Sharir, Micha, see Dewar, Robert B. K., see Freudenberger, Stefan M., see Hart, Sergiu, \see{Schonberg, Edmond
• Sharir:1982:SOC, 4(2)196--225
• Sharma, Subodh, 39(4)15--15
• Sharma, Subodh, see Forejt, Vojt{\u{a}}ch
• Sharma, Tushar, 36(4)11--11
• Sharma, Tushar, see Elder, Matt
• Sharma, Upamanyu, 44(2)12--12
• Sharma, Upamanyu, see Lorch, Jacob R.
• sharp, 40(4)16--16
• Shasha, Dennis, 10(2)282--312
• Shasha:1988:ECE, 10(2)282--312
• Shastry, S., 1(2)196--217
• Shastry, S., see Prywes, N. S.
• Shavir, 16(3)939--953
• Shavit, Nir, 16(3)939--953
• Shavit, Nir, see Afek, Yehuda
• Sheard, Tim, 13(4)531--557
• Sheard:1991:AGU, 13(4)531--557
• sheds, 30(5)29--29, 35(1)5--5
• Sheets, 41(2)12--12
• shelf, off-the-, 29(1)3--3, 31(2)7--7, 31(5)17--17, 37(1)3--3, 42(1)3--3
• Shen, Jiasi, 42(4)18--18
• Shen, Kai, 22(4)673--700
• Shen, Kai, see Tang, Hong
• Shen, Xipeng, 31(6)20--20
• Shen, Xipeng, see Zhong, Yutao
• Shen:2021:ALI, 42(4)18--18
• Shenoy, N., 21(6)1251--1297
• Shenoy, N., see Kandemir, M.
• Shepherdson, 20(4)768--844
• SHErrLoc, 39(4)18--18
• Shi, Kensen, 44(2)10--10
• Shi:2022:TCP, 44(2)10--10
• shielded, 41(3)18--18
• shift, 13(1)150--178, 19(4)617--638, 34(3)12--12, 36(1)2--2, 38(4)15--15, 41(3)15--15
• Shift-Reduce, 17(4)672--689, 21(1)1--10
• shift-reduce, 17(4)672--689, 28(4)577--618
• shifted, 37(4)12--12
• shifting, 28(1)106--133
• Shinnar, Avraham, 41(3)15--15
• Shinnar, Avraham, see Grove, David
• ships, 38(3)9--9
• Shirako, Jun, 35(1)3--3
• Shirako, Jun, see Nandivada, V. Krishna
• Shivers, 17(1)47--62, 17(4)576--599
• Shoham, Sharon, 44(3)17--17
• Shoham, Sharon, see Ish-Shalom, Oren
• short, 8(2)264--271, 17(3)431--447, 18(1)16--29, 27(6)1097--1146, 37(4)11--11
• short-term, 18(2)139--174
• shortcoming, 21(1)11--45, 41(2)13--13
• shortening, 27(6)1097--1146
• shortest, 40(3)9--9, 41(4)23--23
• Shostak, Robert, 4(3)382--401
• Shostak, Robert, see Lamport, Leslie
• shot, one-, 31(2)6--6
• should, 4(1)44--82, 4(1)113--119, 4(2)295--322, 4(4)615--649, 7(4)501--538, 9(2)198--234, 15(4)706--734, 16(4)1081--1096, 16(6)1699--1718, 16(6)1768--1810, 16(6)1811--1841, 17(2)264--292, 17(2)366--393, 17(3)431--447, 17(4)561--575, 18(4)401--423, 18(4)454--476, 18(5)615--647, 20(1)208--258, 21(3)502--526, 21(6)1196--1250, 28(4)715--746, 28(5)908--941, 31(2)7--7, 32(6)24--24, 36(2)5--5, 36(3)8--8, 36(3)10--10, 38(2)6--6, 39(2)7--7, 39(4)14--14, 40(4)14--14, 43(1)4--4
• showed, 16(5)1467--1471
• showing, 16(3)1051--1077, 17(1)28--44, 17(1)85--122, 18(5)564--614, 19(1)188--222, 19(6)1053--1084, 21(1)46--89, 21(1)138--173, 21(3)569--626, 21(3)627--676, 21(5)914--947, 28(1)1--69, 28(3)476--516, 30(6)32--32, 31(4)14--14, 37(1)3--3, 39(4)15--15, 40(3)9--9, 41(1)5--5, 43(2)6--6
• shown, 4(1)37--43, 4(3)382--401, 4(3)402--454, 4(3)455--495, 6(4)527--545, 9(2)198--234, 13(1)99--123, 13(2)269--290, 14(2)127--144, 14(4)574--588, 15(1)1--35, 15(1)133--181, 15(1)182--205, 15(5)876--895, 16(4)1361--1398, 16(5)1613--1647, 17(1)63--84, 17(2)366--393, 17(4)561--575, 18(5)528--563, 18(5)564--614, 19(4)586--616, 19(4)617--638, 20(5)980--1013, 20(6)1111--1130, 20(6)1171--1194, 21(1)46--89, 28(4)715--746, 28(4)747--793, 32(4)11--11, 34(3)13--13, 36(4)12--12, 37(4)11--11, 37(4)12--12, 39(1)4--4, 41(2)12--12, 44(4)25--25
• Shub, C. M., 16(6)1842--1874
• Shub, C. M., see Von Bank, D. G.
• shutdown, 38(3)9--9
• Shyamasundar, R. K., 19(6)899--915
• Shyamasundar, R. K., see Raja, N.
• sic, 4(4)678--686
• SICStus-Prolog, 18(6)752--779
• side, 4(1)44--82, 4(2)179--195, 4(4)711--732, 7(4)501--538, 7(4)637--655, 8(4)491--523, 14(2)147--172, 14(4)471--489, 14(4)589--616, 22(1)162--186, 22(5)816--860, 23(2)105--186, 30(3)15--15, 30(4)21--21, 31(4)14--14, 34(2)10--10, 35(1)5--5
• side, client-, 28(2)207--255
• side, consumer-, 39(2)7--7
• side, producer-, 39(2)7--7
• side-channel, 43(3)12--12, 45(2)13--13
• side-effect, 7(2)183--213, 23(2)105--186
• side-effects, 23(2)105--186, 35(4)14--14
• Sidorenco, Nikolaj, 45(3)15--15
• Sidorenco, Nikolaj, see Haselwarter, Philipp G.
• Siek, 40(4)16--16, 42(1)2--2
• Siewiorek, Daniel P., 14(2)265--297
• Siewiorek, Daniel P., see Koopman, Jr., Philip J.
• sight, 14(3)299--338
• sign, 14(2)127--144, 28(1)106--133
• sign-extended, 28(1)106--133
• signal, 27(6)1270--1343, 32(4)11--11, 32(4)14--14, 36(4)14--14
• signal, explicit-, 27(6)1270--1343
• signal, Implicit-, 27(6)1270--1343
• signal, implicit-, 27(6)1270--1343
• signaled, 38(4)16--16
• signal/wait, 27(6)1270--1343
• signature, 19(1)153--187, 30(5)25--25, 35(1)2--2, 42(1)4--4
• signed, 28(1)106--133
• signedness, 37(1)1--1
• significance, 4(2)239--257, 38(1)2--2
• significant, 13(1)150--178, 14(2)265--297, 16(4)1248--1278, 16(5)1411--1430, 17(4)561--575, 17(4)635--671, 18(4)477--518, 18(5)528--563, 19(1)188--222, 20(3)483--545, 20(5)917--979, 20(6)1223--1250, 21(2)189--239, 21(2)370--416, 21(4)703--746, 22(2)187--223, 22(4)673--700, 28(2)290--330, 31(5)17--17, 32(1)3--3, 32(5)17--17, 37(2)5--5, 38(2)4--4, 41(1)2--2, 41(1)4--4, 41(3)17--17, 41(4)21--21, 43(1)3--3, 43(3)10--10
• significantly, 7(1)159--175, 16(4)1156--1214, 16(5)1431--1448, 17(5)740--776, 18(4)355--400, 18(4)424--453, 18(6)752--779, 20(1)166--207, 20(5)917--979, 21(1)138--173, 21(4)703--746, 21(5)977--1027, 22(2)378--415, 28(5)908--941, 30(1)4--4, 30(4)20--20, 30(5)25--25, 30(6)31--31, 31(1)3--3, 31(3)9--9, 31(6)20--20, 33(6)21--21, 36(3)10--10, 36(4)13--13, 38(2)4--4, 38(3)12--12, 39(2)7--7, 39(4)18--18, 40(3)9--9, 41(1)6--6, 41(2)13--13, 41(3)15--15, 41(4)23--23
• Sijtsma, Ben A., 11(4)633--649
• Sijtsma:1989:PRL, 11(4)633--649
• Silberschatz, Abraham, 1(2)218--225, 5(1)78--96, 5(2)223--235
• Silberschatz, Abraham, see Buckley, G. N., see Kieburtz, Richard B.
• Silica, 42(3)14--14
• siloed, 34(2)9--9
• Silvera, Raúl, 30(1)2--2, see Zhao, Peng
• SIMD, 14(1)28--53, 17(1)123--156, 35(4)13--13
• SIMD, non-, 35(4)13--13
• similar, 5(3)405--421, 9(2)257--276, 14(2)127--144, 14(2)265--297, 16(1)3--34, 16(5)1512--1542, 18(2)139--174, 18(6)659--682, 19(1)48--86, 19(3)413--426, 20(1)1--50, 20(1)51--115, 20(1)208--258, 21(1)46--89, 22(6)973--1001, 31(6)22--22, 32(6)23--23, 33(1)4--4, 33(6)19--19, 34(3)12--12, 38(2)5--5, 40(1)3--3, 41(2)8--8, 41(2)12--12, 43(2)8--8
• similarity, 31(2)6--6, 39(4)14--14, 40(3)13--13, 41(4)22--22
• similarly, 4(4)615--649
• Similix3,5, 14(2)147--172
• Simoens, W., 18(5)564--614
• Simoens, W., see de la Banda, M. Garcia, see Garcia De La Banda, M.
• Simon, Eric, 20(1)116--165
• Simon, Eric, see Dujardin, Eric
• Simonet, Vincent, 25(1)117--158, 29(1)1--1
• Simonet, Vincent, see Pottier, François
• Simonet:2007:CBA, 29(1)1--1
• Simons, Barbara B., 15(4)632--658
• Simons, Barbara B., see Palem, Krishna V.
• simple-minded, 41(2)13--13
• simpler, 13(1)21--51, 16(5)1467--1471, 20(2)302--343, 20(5)980--1013, 20(5)1014--1066, 20(6)1265--1296, 21(3)527--568, 27(3)383--387, 28(4)577--618, 30(6)32--32, 32(3)7--7, 34(3)12--12, 36(1)4--4, 38(3)12--12, 39(2)7--7, 39(2)9--9, 43(1)1--1
• simplest, 13(2)181--210, 18(6)659--682, 22(2)416--430, 28(4)747--793, 39(4)18--18, 43(4)14--14
• simplicity, 16(3)798--842, 16(4)1361--1398, 18(1)30--72, 30(1)4--4, 33(1)2--2, 34(1)3--3, 39(4)14--14, 45(2)10--10
• simplification, 1(2)245--257, 16(4)1279--1318, 19(3)427--443, 21(2)370--416, 32(4)11--11, 44(2)11--11
• simplified, 4(3)496--517, 6(4)505--526, 17(3)461--486, 20(6)1171--1194, 21(2)370--416, 31(6)21--21, 32(3)7--7, 39(4)14--14, 43(4)15--15
• simplify, 4(1)44--82, 4(3)496--517, 18(4)454--476, 19(1)7--47, 20(3)483--545, 22(6)1002--1036, 29(1)2--2, 32(3)9--9, 43(1)2--2
• simplifying, 7(2)183--213, 16(4)1117--1155, 21(2)370--416
• simply, 15(4)575--631, 16(3)524--576, 18(2)139--174, 19(5)804--851, 32(3)9--9, 33(4)14--14, 35(1)2--2, 41(2)13--13, 43(3)10--10
• Simpson, Alex, 42(1)4--4
• Simpson, L. Taylor, 23(5)603--625
• Simpson, L. Taylor, see Cooper, Keith D.
• Simpson:2020:BEM, 42(1)4--4
• Simula, 2(4)544--563
• simulate, 19(5)726--750, 21(6)1251--1297, 31(4)13--13, 39(3)10--10
• simulated, 18(4)424--453, 18(6)659--682, 18(6)752--779, 19(3)427--443, 28(3)476--516, 34(4)16--16
• simulating, 14(1)1--27, 14(1)54--106, 16(3)493--523, 27(6)1270--1343, 28(3)476--516
• SIMULATION, 15(5)771--794
• Simulation**, 21(5)977--1027
• simulation, 3(3)293--317, 3(4)353--387, 7(3)404--425, 14(2)265--297, 15(5)771--794, 16(2)259--303, 19(6)942--991, 20(6)1195--1222, 24(1)51--64, 27(6)1270--1343, 28(3)476--516, 30(6)33--33, 31(1)4--4, 34(1)5--5, 36(1)3--3, 36(2)7--7, 38(1)2--2, 38(3)12--12, 43(1)2--2, 44(4)25--25
• simulation, cache-, 14(2)265--297
• simulation-based, 33(1)4--4, 43(1)2--2
• simulator, 36(2)7--7
• simultaneously, 4(1)44--82, 11(4)598--632, 14(1)28--53, 15(4)632--658, 15(4)659--680, 21(5)977--1027, 22(2)416--430, 31(5)19--19, 31(6)21--21, 32(4)11--11, 38(3)9--9, 39(3)10--10, 43(2)6--6, 45(1)2--2
• since, 9(3)319--349, 13(1)21--51, 14(4)574--588, 16(1)151--174, 16(2)259--303, 16(3)524--576, 16(3)607--648, 16(3)1051--1077, 16(4)1081--1096, 16(4)1117--1155, 16(4)1156--1214, 17(3)431--447, 17(4)635--671, 17(5)691--703, 18(4)355--400, 21(6)1196--1250, 22(2)265--295, 22(2)296--339, 22(3)506--539, 22(4)638--672, 28(3)389--428, 28(4)715--746, 29(2)13--13, 31(1)3--3, 32(1)3--3, 32(3)9--9, 32(4)14--14, 32(5)17--17, 33(3)10--10, 34(1)6--6, 34(4)17--17, 38(1)2--2, 39(1)5--5, 43(1)3--3, 43(2)8--8
• Sine, 19(6)1031--1052
• Singh, Abhayendra, 38(4)16--16
• Singh, Abhayendra, see Marino, Daniel
• Singh, Ambuj K., 17(3)535--559
• Singh, Ambuj K., see Choy, Manhoi
• Singh, Rishabh, 44(2)9--9, 44(2)10--10
• Singh, Rishabh, see Hu, Qinheping, see Shi, Kensen
• single, 4(1)44--82, 4(2)179--195, 4(3)382--401, 8(4)419--490, 9(3)319--349, 11(4)491--516, 13(1)150--178, 13(4)451--490, 14(1)1--27, 14(1)107--125, 14(2)201--264, 14(4)574--588, 15(4)632--658, 16(3)524--576, 16(3)986--1009, 16(4)1114--1116, 16(4)1117--1155, 16(5)1648--1659, 16(6)1661--1674, 16(6)1768--1810, 16(6)1842--1874, 17(1)63--84, 17(1)85--122, 17(3)535--559, 17(5)777--803, 18(3)235--253, 18(5)528--563, 20(1)51--115, 20(3)483--545, 20(4)869--916, 21(1)46--89, 21(3)627--676, 21(5)895--913, 21(5)948--976, 21(5)977--1027, 21(5)1028--1075, 22(4)583--637, 22(5)773--815, 22(5)816--860, 22(6)1002--1036, 28(1)70--105, 28(2)331--388, 30(4)21--21, 30(4)23--23, 30(5)28--28, 30(6)32--32, 30(6)33--33, 31(3)12--12, 31(6)20--20, 32(3)9--9, 34(1)5--5, 35(1)4--4, 35(4)13--13, 36(4)13--13, 37(2)5--5, 38(3)9--9, 38(3)10--10, 38(3)11--11, 38(3)12--12, 39(4)15--15, 40(3)9--9, 41(3)19--19, 42(4)17--17, 44(4)21--21, 45(1)5--5
• Single-Assignment, 16(6)1684--1698, 17(3)487--506
• single-assignment, 16(3)577--604, 21(3)430--501, 35(1)2--2
• single-entry, 18(6)649--658, 19(4)557--567, 31(5)17--17
• single-host, 39(4)17--17
• Single-instruction-stream, 17(1)123--156
• Single-Pass, 16(6)1684--1698
• single-path, 39(4)15--15
• single-procedure, 36(2)5--5, 40(1)1--1
• single-process, 32(4)13--13
• Single-Threaded, 40(3)12--12
• single-user, 28(5)908--941
• single-way, 22(5)932--972
• singleton, 30(4)18--18
• sinks, 41(3)18--18
• sins, 38(4)15--15
• Sipala, Paolo, 4(3)345--361
• Sipala:1982:CSB, 4(3)345--361
• Sippu, Seppo, 5(4)656--679
• Sippu:1983:SEH, 5(4)656--679
• SISAL, 16(6)1675--1683
• Siskind, Jeffrey Mark, 30(2)7--7
• Siskind, Jeffrey Mark, see Pearlmutter, Barak A.
• Sistla, A. P., 8(2)244--263, 19(4)617--638
• Sistla, A. P., see Clarke, E. M., see Emerson, E. A.
• Sistla, A. Prasad, 26(4)702--734
• Sistla:2004:SRS, 26(4)702--734
• Sit, 39(2)6--6
• site, 16(2)175--204, 19(1)48--86, 19(5)804--851, 21(6)1196--1250, 23(1)30--72, 29(1)2--2, 32(2)5--5
• site, call-, 31(3)10--10, 40(3)13--13
• site, cross-, 39(3)10--10, 41(3)18--18
• sites, call-, 31(3)10--10
• Sites, Richard L., 1(1)50--57
• Sites:1979:CLI, 1(1)50--57
• situation, 4(3)382--401, 13(2)237--268, 15(4)681--705, 16(3)305--327, 22(2)187--223, 30(2)8--8, 38(4)15--15, 44(4)21--21
• six, 6(4)546--572, 19(6)899--915, 20(6)1223--1250, 22(2)265--295, 28(5)848--907, 34(1)1--1, 36(4)13--13, 37(3)8--8, 41(1)2--2, 41(2)12--12
• sizable, 22(1)1--44, 30(4)22--22
• size, 4(4)615--649, 5(3)405--421, 13(1)1--20, 13(1)150--178, 14(2)265--297, 15(4)659--680, 16(1)3--34, 16(2)175--204, 16(3)775--797, 16(4)1156--1214, 17(2)197--216, 17(3)535--559, 17(4)561--575, 17(5)740--776, 18(3)235--253, 19(3)462--491, 19(6)1031--1052, 20(2)259--273, 20(2)274--301, 20(4)869--916, 20(6)1195--1222, 20(6)1265--1296, 21(2)370--416, 21(5)977--1027, 22(2)378--415, 22(3)471--489, 22(5)816--860, 22(6)973--1001, 23(2)105--186, 27(6)1147--1215, 29(5)29--29, 30(1)4--4, 30(4)22--22, 30(5)27--27, 31(6)20--20, 32(4)11--11, 32(6)24--24, 33(3)10--10, 33(6)21--21, 34(1)3--3, 34(3)13--13, 34(3)14--14, 36(2)5--5, 36(3)9--9, 38(3)11--11, 38(4)13--13, 39(1)4--4, 39(2)7--7, 41(1)3--3, 41(1)5--5, 41(2)12--12, 41(3)17--17, 41(4)21--21, 42(3)12--12, 44(4)22--22
• size, mixed-, 43(2)8--8
• size-change, 27(6)1147--1215, 30(3)16--16, 31(3)10--10
• size-changes, 31(3)10--10
• sized, 34(3)14--14, 41(2)10--10
• sized, medium-, 22(5)932--972, 41(3)17--17
• Skalka, Christian, 27(2)344--382
• Skalka, Christian, see Pottier, François
• skeleton, 4(4)668--677
• Skeppstedt, Jonas, 18(6)659--682
• Skeppstedt:1996:UDA, 18(6)659--682
• sketch, 20(6)1297--1322
• Sketches, 44(2)9--9
• sketching, 44(2)9--9
• skewing, 38(3)12--12
• Skiena, Steven, 18(5)528--563
• Skiena, Steven, see Dawson, Steven
• Skorstengaard, Lau, 42(1)1--53
• Skorstengaard:2020:RAM, 42(1)1--53
• Skudlarek, Joseph P., 17(1)45--46
• Skudlarek:1995:NMI, 17(1)45--46
• SL, 4(2)149--178, 35(1)4--4
• SLD, 16(3)607--648
• SLED, 19(3)492--524
• Sleeman, D. H., 5(2)236--264
• Sleeman, D. H., see Maher, B.
• Sleep, M. R., 2(1)122--128, 16(3)493--523
• Sleep, M. R., see Arnold, D. B., see Kennaway, J. R.
• Sleep, M. Ronan, 8(1)88--108
• Sleep, M. Ronan, see Keller, Robert M.
• Sleep, Ronan, 10(4)602--626, 11(3)482--482
• Sleep, Ronan, see Kennaway, Richard
• SLG, 20(3)586--634
• SLG-WAM, 20(3)586--634
• SLICE, 17(2)197--216
• slice, 16(4)1097--1113, 17(2)197--216, 36(2)5--5, 40(3)11--11
• sliced, 17(2)197--216
• slicer, 17(2)197--216
• slicing, 9(3)319--349, 12(1)26--60, 16(4)1097--1113, 17(2)197--216, 19(3)525--555, 19(5)639--684, 22(1)162--186, 27(4)631--661, 28(6)1088--1144, 29(2)7--7, 29(5)27--27, 30(1)3--3, 30(1)5--5, 30(2)10--10, 32(1)1--1, 32(6)23--23, 36(2)5--5, 40(3)11--11, 42(2)6--6, 42(4)19--19
• slicing, specialization-, 36(2)5--5
• sliding, 14(3)417--461
• slightly, 20(6)1265--1296
• slippery, 16(3)798--842
• Sloane, Anthony M., 17(5)691--703
• Sloane:1995:EAG, 17(5)691--703
• slots, 28(1)1--69
• slow, 18(4)355--400, 34(2)7--7, 45(1)1--1
• slower, 18(2)139--174, 20(6)1265--1296, 23(2)105--186, 41(1)4--4
• slowing, 28(1)70--105
• slowly, 16(3)328--369
• SLR1, 1(2)295--320, 10(2)338--342
• small, 4(1)44--82, 4(2)149--178, 4(4)687--710, 5(1)56--65, 11(1)90--114, 13(1)1--20, 13(4)558--576, 14(2)173--200, 15(1)36--72, 15(4)632--658, 16(4)1361--1398, 17(2)197--216, 17(3)461--486, 17(4)635--671, 17(5)740--776, 18(3)325--353, 18(4)355--400, 18(4)424--453, 18(4)454--476, 20(5)1014--1066, 20(6)1223--1250, 21(1)90--137, 21(3)430--501, 22(5)932--972, 28(4)619--695, 28(4)747--793, 28(5)942--965, 29(2)13--13, 31(1)3--3, 31(4)14--14, 32(1)3--3, 32(5)18--18, 33(5)16--16, 34(3)13--13, 35(1)2--2, 38(4)13--13, 39(4)14--14, 40(1)1--1, 41(3)19--19, 41(4)21--21, 41(4)23--23, 43(3)9--9, 43(3)12--12, 45(3)18--18
• small-step, 34(2)10--10, 44(2)12--12
• small-step, omni-, 45(1)5--5
• smaller, 13(1)150--178, 13(2)181--210, 17(5)691--703, 18(1)16--29, 21(2)370--416, 22(2)378--415, 28(5)942--965, 29(1)3--3, 32(6)22--22, 33(4)14--14, 34(1)5--5, 36(2)5--5, 38(3)11--11
• smallest, 18(5)528--563, 32(3)7--7
• Smalltalk, 14(1)1--27
• Smalltalk-80, 7(2)183--213
• Smans, Jan, 31(1)1--1, 34(1)2--2
• Smans, Jan, see Jacobs, Bart
• Smans:2012:IDF, 34(1)2--2
• Smaragdakis, Yannis, 33(2)6--6, 42(2)10--10
• Smaragdakis, Yannis, see Huang, Shan Shan, see Li, Yue
• smart, 8(3)273--291, 42(3)14--14, 45(3)17--17
• smart-card, 22(3)471--489
• Smarter, 10(4)627--632, 10(4)633--634
• smartphones, 39(2)7--7
• Smeding, Tom, 44(3)20--20
• Smeding, Tom, see Vákár, Matthijs
• Smith, 18(5)519--527
• Smith, Edward K., 36(4)13--13
• Smith, Edward K., see Hayden, Christopher M.
• Smith, Frederick, 26(2)301--338
• Smith, Frederick, see Cortes, Corinna
• Smith, Geoffrey, 18(3)254--267
• Smith, Michael D., 21(5)977--1027, 21(5)1028--1075
• Smith, Michael D., see Gloy, Nikolas, see Young, Cliff
• Smith, Noah, Torp-, 29(5)24--24, 30(4)24--24
• Smith, Scott, 18(5)519--527, 27(2)344--382, 41(3)14--14
• Smith, Scott, see Facchinetti, Leandro, see Palsberg, Jens, see Pottier, François
• Smith:1996:PTV, 18(3)254--267
• SML, 22(2)340--377
• SML.NET, 31(3)12--12
• Smolka, Gert, 19(5)804--851, 21(3)569--626
• Smolka, Gert, see Haridi, Seif, see Van Roy, Peter
• Smolka, Scott A., 16(3)954--985
• Smolka, Scott A., see Joung, Yuh-Jzer
• smooth, 3(1)24--48, 39(4)14--14, 45(1)5--5
• smoothly, 32(1)2--2, 46(1)3--3
• SMP, 35(1)3--3
• SMT, 37(1)2--2, 40(2)6--6, 41(1)2--2, 45(4)22--22
• SMT-based, 44(4)25--25
• SMT-solvers, 41(2)12--12
• SNC, 18(1)73--108
• Snelting, Gregor, 8(4)547--576, 22(3)540--582, 44(1)2--2
• Snelting, Gregor, see Bahlke, Rolf, see Hecker, Martin
• Snelting:2000:UCH, 22(3)540--582
• Sneyers, Jon, 31(2)8--8
• Sneyers:2009:CPC, 31(2)8--8
• snippets, 36(2)6--6, 42(3)15--15
• Snir, Marc, 10(2)282--312, 10(4)579--601
• Snir, Marc, see Kruskal, Clyde P., see Shasha, Dennis
• SNOBL4, 14(1)107--125
• Snyder, Lawrence, 9(4)599--617
• Snyder, Lawrence, see Cuny, Janice E.
• so-called, 17(2)264--292, 17(3)431--447, 17(3)487--506, 19(5)685--725, 20(3)679--706, 22(1)162--186, 33(4)14--14, 38(2)7--7
• SOA, 32(4)11--11
• SOA/GOA, 32(4)11--11
• SOAP, 32(1)2--2
• Soares, Luigi, 45(2)13--13
• Soares:2023:SCE, 45(2)13--13
• Society, 4(2)239--257
• socket, dual-, 35(1)3--3
• socket, quad-, 35(1)3--3
• sockets, 37(1)4--4
• Söderberg, Emma, 34(4)15--15, see Jonge, Maartje de
• Soffa, Mary Lou, 3(3)263--292, 14(2)173--200, 16(2)175--204, 16(3)370--386, 19(6)992--1030, 19(6)1053--1084, 32(4)15--15
• Soffa, Mary Lou, see Duesterwald, Evelyn, see Gupta, Rajiv, \see{Harrold, Mary Jean, see Huang, Yuqiang, \see{Lindstrom, Gary, see Pollock, Lori L., see Whitfield, Deborah L.
• soft, 19(1)87--152, 20(1)166--207, 21(2)370--416, 40(1)3--3
• soften, 36(4)14--14
• SOFTLIB, 19(5)751--803
• software-based, 43(3)12--12
• Software-controlled, 32(4)13--13
• Software-Defined, 14(3)299--338
• software., 16(3)524--576
• Software/Program, 19(4)617--638, 19(5)726--750, 20(1)51--115, 20(2)302--343, 20(2)344--387, 20(5)917--979, 20(6)1171--1194, 21(1)46--89, 21(3)502--526, 21(3)677--701, 21(4)747--789, 22(1)87--128
• softwre, 9(2)277--295
• Soininen's, Soisalon-, 6(3)432--439
• Soininen, Eljas, Soisalon-, 4(2)179--195, 5(4)656--679
• Soininen:1982:IEE, Soisalon-, 6(3)432--439
• Soisalon-Soininen, 6(3)432--439
• Soisalon-Soininen, Eljas, 4(2)179--195, 5(4)656--679
• Soisalon-Soininen, Eljas, see Sippu, Seppo
• Soisalon-Soininen:1982:IEE, 4(2)179--195, 6(3)432--439
• Soko{\l}owski, Stefan, 9(1)100--120
• Sokolowski:1987:SHL, 9(1)100--120
• sol, 10(3)470--502
• Solaris, 36(4)14--14
• solely, 15(5)771--794
• solid, 19(6)853--898
• Solidity, 42(3)14--14
• Solomon, Marvin, 6(4)527--545, 12(4)566--609
• Solomon, Marvin, see Dewan, Prasun, see Ramanath, M. V. S.
• Solovyev, Alexey, 41(1)2--2
• Solovyev:2019:REF, 41(1)2--2
• solution., 16(5)1472--1511
• solvability, 16(3)798--842
• solvable, 4(3)382--401, 21(6)1137--1195
• solve, 4(2)125--148, 5(3)405--421, 13(1)150--178, 16(3)1024--1050, 16(6)1737--1767, 17(1)123--156, 18(4)477--518, 21(1)11--45, 21(2)324--369, 22(5)816--860, 30(1)4--4, 32(3)9--9, 36(2)5--5, 36(3)9--9, 39(2)9--9, 40(2)7--7, 41(2)12--12, 41(3)17--17
• solved, 13(1)52--98, 18(1)30--72, 19(1)1--6, 20(4)869--916, 20(6)1171--1194, 20(6)1195--1222, 27(6)1147--1215, 27(6)1270--1343, 28(4)747--793, 34(1)3--3, 40(2)7--7
• solver, 14(3)339--395, 19(6)942--991, 22(1)1--44, 22(2)296--339, 27(6)1216--1269, 30(4)19--19, 40(2)6--6, 41(1)2--2, 41(2)12--12
• solver, constraint-, 14(3)339--395
• solvers, SMT-, 41(2)12--12
• solving, 4(2)125--148, 8(1)50--87, 11(1)33--56, 11(4)491--516, 13(1)99--123, 14(3)339--395, 15(4)659--680, 16(3)939--953, 16(4)1279--1318, 17(4)576--599, 18(3)300--324, 18(5)528--563, 20(1)1--50, 20(5)1014--1066, 20(6)1223--1250, 21(4)703--746, 21(6)1137--1195, 22(2)296--339, 23(1)1--29, 27(6)1147--1215, 28(3)389--428, 30(5)27--27, 30(6)32--32, 31(1)4--4, 31(6)22--22, 33(3)9--9, 33(3)11--11, 37(1)2--2, 39(2)9--9, 40(2)5--5, 41(2)12--12, 42(2)7--7, 44(2)9--9
• Solving, Constraint-, 37(1)2--2
• solving, constraint-, 17(4)635--671, 37(1)2--2, 37(1)3--3
• solving, goal-, 20(4)768--844
• Solworth, Jon A., 14(1)28--53
• Solworth:1992:E, 14(1)28--53
• someone, 15(4)706--734
• sometimes, 1(2)258--265, 4(4)527--551, 14(1)28--53, 17(4)561--575, 18(3)254--267, 18(5)615--647, 18(6)752--779, 20(1)1--50, 21(2)324--369, 23(1)30--72, 30(5)28--28, 31(6)21--21
• somewhere, 14(1)28--53
• S{\o}ndergaard, 21(5)948--976, 36(4)11--11
• S{\o}ndergaard, Harald, 16(3)607--648, 21(5)948--976, 37(1)1--1, 43(3)11--11, see Codish, Michael, see Gange, Graeme, \see{Marriott, Kim
• Song, Yonghong, 26(6)975--1028
• Song, Yonghong, see Li, Zhiyuan
• Sonnenschein, Michael, 9(4)473--490
• Sonnenschein:1987:GTS, 9(4)473--490
• soon, 22(2)265--295
• Soot, 41(3)16--16
• SOP, 34(2)10--10
• sophisticated, 16(1)35--101, 16(6)1768--1810, 21(2)189--239, 23(1)1--29, 31(3)12--12, 32(1)3--3, 32(5)16--16, 34(1)3--3, 40(4)14--14, 41(2)13--13, 41(4)22--22
• sophistication, 18(6)659--682
• Sorkin, Arthur, 11(4)666--668
• Sorkin:1989:TCS, 10(4)635--640, 11(4)666--668
• sort, 13(2)269--290, 39(2)7--7, 41(4)20--20
• sort, merge-, 21(3)430--501
• sorting, 10(2)248--266, 16(6)1737--1767
• sound, 8(4)524--546, 16(2)205--258, 16(3)607--648, 16(4)1361--1398, 16(5)1411--1430, 17(2)366--393, 18(3)254--267, 19(6)916--941, 20(4)724--767, 21(1)90--137, 29(5)29--29, 30(5)25--25, 31(1)1--1, 31(2)7--7, 31(5)19--19, 31(6)23--23, 32(6)22--22, 35(1)2--2, 36(1)1--1, 36(1)2--2, 36(3)8--8, 36(4)11--11, 36(4)14--14, 37(2)7--7, 37(4)11--11, 38(4)15--15, 39(1)4--4, 39(2)8--8, 39(4)16--16, 41(1)1--1, 41(3)14--14, 41(3)18--18, 41(4)20--20, 42(1)3--3, 43(4)17--17, 44(2)12--12, 44(4)25--25, 45(1)3--3
• sound, sequentially-, 34(2)9--9
• sound, type-, 38(3)8--8
• Soundararajan, N., 6(4)647--662
• Soundararajan:1984:ASC, 6(4)647--662
• soundness, 9(1)100--120, 13(2)237--268, 15(4)575--631, 17(2)264--292, 20(4)707--723, 21(5)914--947, 22(4)701--771, 28(3)429--475, 28(5)795--847, 30(5)25--25, 30(6)34--34, 32(3)7--7, 33(4)12--12, 34(1)2--2, 34(3)12--12, 34(3)14--14, 38(3)8--8, 38(3)12--12, 39(1)3--3, 39(1)4--4, 40(2)6--6, 40(3)13--13, 40(4)16--16, 41(1)1--1, 41(2)8--8, 41(2)10--10, 42(3)14--14, 43(1)3--3, 43(2)7--7, 43(4)15--15
• soundness, type-, 31(3)12--12
• source, 5(2)127--163, 8(4)491--523, 14(4)589--616, 16(1)151--174, 16(3)387--427, 16(3)524--576, 16(4)1215--1247, 16(5)1613--1647, 17(1)85--122, 17(5)691--703, 18(3)300--324, 18(5)528--563, 18(6)730--751, 19(3)413--426, 19(6)916--941, 21(1)90--137, 21(3)527--568, 22(2)416--430, 28(4)619--695, 28(4)696--714, 30(4)18--18, 30(6)32--32, 31(5)18--18, 32(1)1--1, 32(5)19--19, 32(6)23--23, 33(4)13--13, 35(2)7--7, 36(1)3--3, 36(4)14--14, 37(2)5--5, 37(2)6--6, 37(3)10--10, 38(4)15--15, 39(2)8--8, 39(3)10--10, 39(4)14--14, 39(4)17--17, 40(1)2--2, 40(2)8--8, 40(3)11--11, 41(1)6--6, 41(3)17--17, 41(3)18--18, 41(4)21--21, 42(1)2--2, 42(3)15--15, 43(1)1--1, 43(1)2--2, 44(4)22--22
• source, open-, 36(4)13--13, 38(3)8--8, 38(4)13--13, 41(3)18--18, 41(3)19--19
• source, source-to-, 16(3)577--604, 16(4)1081--1096, 17(2)293--330, 22(3)540--582, 37(2)5--5, 38(3)12--12, 39(2)8--8
• source-code, 21(4)703--746, 30(3)12--12, 32(6)23--23
• source-level, 16(3)387--427, 20(6)1111--1130, 22(4)701--771
• source-to-source, 16(3)577--604, 16(4)1081--1096, 17(2)293--330, 22(3)540--582, 37(2)5--5, 38(3)12--12, 39(2)8--8
• Souza, Rafael Martins de, 35(4)13--13
• Souza, Rafael Martins de, see Sampaio, Diogo
• Sp, 45(2)7--7
• space, 1(2)287--294, 4(2)179--195, 9(2)164--197, 11(1)90--114, 13(1)1--20, 14(2)201--264, 15(5)876--895, 16(3)370--386, 16(4)1248--1278, 16(4)1361--1398, 17(1)123--156, 17(1)157--179, 17(4)635--671, 17(4)672--689, 17(5)777--803, 18(3)325--353, 18(4)477--518, 19(3)462--491, 19(6)992--1030, 20(2)302--343, 20(2)344--387, 20(4)869--916, 20(6)1195--1222, 20(6)1223--1250, 21(1)138--173, 21(4)813--847, 22(1)129--161, 22(2)296--339, 22(4)673--700, 24(4)409--453, 27(3)388--425, 28(2)290--330, 28(5)942--965, 29(1)2--2, 30(3)17--17, 30(5)28--28, 31(1)3--3, 31(2)8--8, 31(6)21--21, 32(4)11--11, 32(4)12--12, 32(4)13--13, 34(1)3--3, 34(3)12--12, 34(3)13--13, 38(3)12--12, 39(1)2--2, 39(3)11--11, 40(1)2--2, 40(1)3--3, 41(1)3--3
• space, linear-, 30(6)33--33
• space, safe-for-, 22(1)129--161
• Space, Sublinear-, 9(3)408--440
• space-complexity, safe-for-, 22(1)129--161
• Space-Efficient, 3(4)388--404, 21(1)138--173
• space-efficient, 16(3)370--386, 22(1)87--128
• space-optimal, non-, 30(5)28--28
• space-optimizing, 22(3)540--582
• space-saving, 19(1)7--47
• space-time, 30(4)23--23
• Spaceash, 20(6)1195--1222
• span, 34(1)4--4, 41(3)15--15
• Span-Dependent, 1(1)71--83, 2(3)274--289
• span-dependent, 19(3)492--524
• spanning, 5(1)66--77, 19(4)557--567
• SPARC, 15(4)632--658, 19(3)492--524
• sparc, core-ML-to-, 32(3)7--7
• Spark, 41(3)15--15, 41(3)19--19
• sparse, 6(4)546--572, 17(3)487--506, 20(6)1195--1222, 21(3)627--676, 30(6)32--32, 36(3)8--8
• SparsKit-II, 30(6)32--32
• spatial, 18(4)424--453, 21(5)977--1027, 22(3)490--505, 37(1)2--2, 41(3)15--15, 44(3)16--16
• spatial-scheduling, 37(1)2--2
• spawn, 35(1)3--3, 35(4)12--12
• spawn-sync, 32(3)9--9
• spawning, 14(1)28--53
• speaking, 31(3)12--12
• SPEC, 16(4)1156--1214, 19(6)853--898, 30(3)17--17, 30(6)32--32, 41(3)17--17
• Spec, 15(5)876--895
• Spec\#, 31(1)1--1
• SPEC89, 16(4)1156--1214
• SPEC92, 22(3)431--470
• special, 4(4)687--710, 9(3)319--349, 10(2)189--203, 14(2)145--146, 14(4)471--489, 14(4)574--588, 16(3)727--774, 16(3)843--871, 18(2)139--174, 19(5)685--725, 19(6)916--941, 20(5)1014--1066, 21(6)1077--1136, 29(5)23--23, 30(4)23--23, 37(1)3--3, 42(1)1--1, 43(4)13--13, 44(3)13--13, 44(4)21--21
• SPECIAL-PURPOSE, 19(3)525--555
• special-purpose, 4(3)496--517, 10(1)118--155, 19(3)427--443, 31(2)7--7, 38(2)4--4
• specialised, 30(6)31--31, 40(2)5--5
• specialist, 32(4)14--14
• specializable, 15(1)133--181
• specialization, 15(1)133--181, 17(3)431--447, 20(1)208--258, 20(4)768--844, 20(6)1223--1250, 22(2)224--264, 22(5)932--972, 25(4)452--499, 26(4)652--701, 27(6)1147--1215, 28(4)696--714, 28(5)848--907, 30(4)22--22, 36(2)5--5, 37(4)12--12, 38(2)7--7
• specialization-point, 27(6)1147--1215
• specialization-slicing, 36(2)5--5
• specialize, 9(3)297--318, 16(2)205--258, 18(6)730--751, 22(2)224--264, 28(4)696--714
• specialized, 18(4)454--476, 19(3)413--426, 19(3)492--524, 20(1)208--258, 21(2)324--369, 30(4)22--22, 31(1)3--3, 31(6)21--21, 32(4)14--14, 36(2)5--5, 37(1)2--2, 37(4)12--12, 41(3)15--15
• specializers, 27(6)1147--1215
• specializing, 12(2)253--302, 16(6)1768--1810, 28(4)696--714
• specially, 9(4)473--490, 16(3)775--797
• specific, 5(2)127--163, 15(4)632--658, 15(4)735--742, 16(1)35--101, 16(3)1024--1050, 16(5)1449--1466, 16(5)1472--1511, 16(6)1768--1810, 17(2)264--292, 17(2)331--365, 19(3)444--461, 20(1)116--165, 22(3)540--582, 22(6)1002--1036, 28(2)256--289, 30(5)28--28, 30(6)31--31, 30(6)32--32, 31(5)17--17, 31(5)18--18, 36(1)3--3, 37(4)12--12, 39(2)7--7, 39(4)17--17, 40(4)16--16, 41(1)4--4, 41(3)15--15, 41(4)22--22, 41(4)23--23, 42(2)7--7, 42(4)19--19, 45(2)10--10
• specific, application-, 29(1)2--2
• specific, domain-, 32(2)4--4, 37(4)12--12, 39(1)5--5, 39(3)11--11, 40(3)10--10, 42(3)12--12, 42(4)18--18
• specific, effect-, 42(1)4--4
• Specific, Feature-, 41(1)4--4
• specific, Feature-, 41(1)4--4
• specific, feature-, 41(1)4--4
• specific, foreign-language-, 40(2)8--8
• specific, host-, 6(4)505--526
• specific, language-, 8(4)547--576, 9(2)164--197, 39(4)18--18
• Specific, Machine-, 5(3)478--498
• specific, machine-, 16(6)1768--1810
• specific, node-, 22(4)673--700
• specific, problem-, 37(1)3--3
• specific, processor-, 41(3)17--17
• specific, program-, 41(1)3--3
• specific, thread-, 28(4)715--746
• specific, transformation-, 37(4)12--12
• specifically, 4(4)615--649, 6(4)527--545, 16(1)3--34, 19(1)188--222, 19(3)462--491, 19(3)525--555, 20(6)1297--1322, 22(2)416--430, 33(1)2--2, 33(5)16--16, 33(5)17--17, 37(4)12--12, 38(3)9--9, 39(2)7--7, 39(4)17--17, 41(4)21--21
• specificational, 21(3)677--701
• specificity, 22(1)45--86
• specified, 3(2)126--143, 4(2)149--178, 4(3)362--381, 4(3)402--454, 4(4)687--710, 5(3)405--421, 15(1)73--132, 16(2)259--303, 16(5)1648--1659, 16(6)1661--1674, 17(2)264--292, 18(1)16--29, 18(5)528--563, 19(3)492--524, 19(3)525--555, 19(6)1053--1084, 20(4)724--767, 20(5)1067--1109, 21(1)46--89, 21(3)527--568, 22(1)87--128, 22(4)583--637, 34(4)16--16, 34(4)17--17, 35(1)2--2, 35(1)3--3, 37(1)4--4, 42(1)4--4
• specified, user-, 17(5)704--739, 41(3)18--18
• specifier, 21(3)677--701
• specify, 9(2)235--256, 9(4)491--542, 10(2)189--203, 13(1)52--98, 14(3)339--395, 14(4)490--520, 16(1)151--174, 16(3)649--686, 16(3)872--923, 17(3)448--460, 17(3)507--534, 17(5)691--703, 18(1)30--72, 18(6)730--751, 20(5)1067--1109, 21(3)430--501, 21(4)790--812, 21(6)1077--1136, 22(4)583--637, 22(4)701--771, 23(1)73--103, 28(1)106--133, 30(4)24--24, 31(4)14--14, 32(3)7--7, 32(6)22--22, 34(1)2--2, 36(2)7--7, 39(1)3--3, 41(3)15--15, 42(1)4--4
• SPECjbb, 34(1)4--4
• SPECjbb2000, 27(6)1097--1146
• SPECjvm98, 28(1)70--105, 28(1)106--133
• SPECKLE, 4(2)149--178
• spectrum, broad-, 27(6)1147--1215
• spectrum, wide-, 4(4)650--667
• speculation, 21(2)240--285, 28(5)942--965, 38(2)5--5
• speculative, 21(2)240--285, 28(5)942--965, 31(5)17--17, 32(3)9--9, 38(2)5--5, 43(3)10--10
• speculatively, 18(4)355--400, 22(5)816--860, 28(5)942--965
• sped, 22(2)224--264
• speed, 13(1)124--149, 13(1)150--178, 18(2)139--174, 18(4)424--453, 20(4)845--868, 20(6)1171--1194, 21(2)324--369, 21(2)370--416, 21(3)430--501, 22(4)583--637, 27(6)1270--1343, 28(3)476--516, 30(3)17--17, 32(4)11--11
• speed, high-, 7(1)62--79
• speed-up, 14(1)54--106
• speeding, 31(1)2--2
• speedup, 4(3)402--454, 9(2)235--256, 16(3)328--369, 16(6)1768--1810, 19(6)853--898, 21(2)189--239, 21(2)240--285, 21(2)324--369, 21(3)430--501, 31(5)17--17, 32(1)3--3, 32(4)11--11, 35(1)5--5, 36(1)2--2, 38(3)12--12, 41(1)6--6, 41(3)17--17, 41(3)19--19
• spelled, 22(1)162--186
• spend, 38(3)9--9
• spent, 21(3)627--676, 41(3)16--16
• Sperber, Michael, 22(2)224--264
• Sperber:2000:GLP, 22(2)224--264
• spill, 9(3)408--440, 16(3)428--455, 17(5)740--776, 18(3)300--324, 22(3)431--470
• spiller, 35(4)13--13
• spilling, 16(3)428--455, 22(3)431--470
• SPIN, 44(4)22--22
• Spira, P. M., 5(1)66--77
• Spira, P. M., see Gallager, R. G.
• Spirakis, Paul G., 6(2)215--238
• Spirakis, Paul G., see Reif, John H.
• Spiridon, Ciprian, 41(3)18--18
• Spiridon, Ciprian, see Spoto, Fausto
• spirit, 27(6)1216--1269
• spite, 8(4)491--523, 30(6)30--30
• Spitters, Bas, 45(3)15--15
• Spitters, Bas, see Haselwarter, Philipp G.
• Spiwack, Arnaud, 30(2)11--11
• Spiwack, Arnaud, see Liquori, Luigi
• SPL, 39(1)5--5
• SPLASH-2, 34(2)9--9
• spliced, 19(3)525--555
• splices, 20(1)1--50
• split, 2(1)129--133, 19(6)1031--1052, 21(6)1137--1195, 22(3)431--470
• split-phase, 41(1)1--1
• splitting, 9(3)319--349, 16(5)1472--1511, 19(6)1031--1052, 20(1)166--207, 22(3)431--470, 24(4)299--333
• SPMD, 17(2)233--263, 34(1)5--5
• Spooner, C. R., 8(2)215--243
• Spooner:1986:MAR, 8(2)215--243
• spot, 20(1)208--258
• Spoto, Fausto, 25(5)578--630, 32(3)8--8, 35(4)14--14, 41(3)18--18
• Spoto, Fausto, see Nikoli{\'c}, Durica
• Spoto:2003:CAA, 25(5)578--630
• Spoto:2010:TAJ, 32(3)8--8
• Spoto:2019:SII, 41(3)18--18
• spreadsheet, 13(2)211--236, 37(1)3--3
• springboard, 16(5)1613--1647
• spurious, 9(2)164--197
• spuriously, 31(2)7--7
• sqir, 45(3)18--18
• SQL, 41(3)18--18
• square, 9(3)408--440
• Squeezers, 44(3)17--17
• SR, 10(1)51--86
• Sreedhar, 21(2)175--188
• Sreedhar, Vugranam C., 18(6)649--658, 19(2)239--252, 20(2)388--435, 25(6)876--910
• Sreedhar, Vugranam C., see Choi, Jong-Deok
• Sreedhar:1996:ILU, 18(6)649--658
• Sreedhar:1997:ICD, 19(2)239--252
• Sreedhar:1998:NFE, 20(2)388--435
• Sridharan, Manu, 46(1)4--4
• Sridharan, Manu, see Stein, Benno
• Srivastava, A., 7(1)176--181
• Srivastava, A., see Wall, D.
• SSA, 17(1)85--122, 21(3)627--676, 30(4)21--21, 35(1)5--5, 36(1)4--4
• SSA-Based, 36(1)4--4
• SSA-based, 36(1)4--4
• SSAPRE, 21(3)627--676
• S/SL, 4(2)149--178
• SSP, 45(3)15--15
• SSProve, 45(3)15--15
• St-Amour, Vincent, 40(3)10--10, 41(1)4--4
• St-Amour, Vincent, see Andersen, Leif, see Florence, Spencer P.
• stability, 8(4)419--490
• stabilization, 31(6)22--22
• Stabilization, Self-, 15(4)735--742
• stabilization, Self-, 31(6)22--22
• stabilization, self-, 15(4)735--742, 31(6)22--22
• Stabilizing, Self-, 11(2)330--344
• stabilizing, Self-, 31(6)22--22
• stabilizing, self-, 31(6)22--22
• stable, 17(1)157--179, 41(2)12--12
• stack, 9(3)367--389, 16(3)1051--1077, 18(6)752--779, 19(5)751--803, 20(1)1--50, 20(4)724--767, 22(4)673--700, 25(3)360--399, 25(6)876--910, 26(6)1029--1052, 28(1)70--105, 30(2)8--8, 31(4)13--13, 31(6)20--20, 32(4)11--11, 33(1)4--4, 34(1)6--6, 38(2)4--4, 39(1)3--3, 41(2)11--11, 41(3)19--19, 42(1)1--53
• stack, on-, 28(1)134--174
• stack-allocated, 43(1)3--3
• Stack-Controlling, 3(2)168--206
• stack-machine-based, 4(1)21--36
• stacks-of, 4(4)711--732
• Stadel, Manfred P., 10(4)635--640
• Stadel, Manfred P., see Drechsler, Karl-Heinz
• stage, 9(3)408--440, 20(3)546--585, 30(4)21--21, 31(3)9--9
• staged, 22(5)932--972, 31(1)2--2
• staging, 16(4)1215--1247, 22(5)932--972
• Staiger-Stöhr, Stefan, 35(1)5--5
• Staiger-Stohr:2013:PIA, 35(1)5--5
• Stamos, James W., 12(4)537--565
• Stamos:1990:RE, 12(4)537--565
• stand-alone, 13(1)1--20, 33(1)3--3
• standard, 4(1)113--119, 4(2)239--257, 9(4)491--542, 10(2)189--203, 13(1)124--149, 13(2)269--290, 14(2)127--144, 14(2)265--297, 15(2)211--252, 16(3)649--686, 16(4)1117--1155, 16(4)1248--1278, 16(5)1411--1430, 16(6)1699--1718, 17(2)366--393, 17(5)777--803, 18(1)73--108, 18(2)109--138, 18(2)139--174, 18(3)254--267, 18(3)268--299, 18(3)325--353, 18(4)355--400, 18(5)519--527, 19(3)413--426, 19(4)586--616, 20(2)259--273, 20(2)302--343, 20(3)483--545, 20(4)707--723, 20(4)724--767, 20(6)1171--1194, 20(6)1265--1296, 21(3)430--501, 21(4)790--812, 21(4)813--847, 21(5)914--947, 21(6)1196--1250, 22(1)129--161, 22(4)638--672, 22(4)701--771, 28(2)207--255, 28(5)908--941, 29(5)29--29, 30(4)21--21, 30(5)25--25, 30(5)28--28, 31(3)12--12, 31(5)18--18, 34(1)2--2, 34(1)3--3, 34(1)4--4, 35(2)6--6, 35(3)9--9, 36(3)10--10, 38(2)4--4, 38(3)10--10, 39(4)14--14, 39(4)15--15, 40(3)13--13, 41(1)5--5, 41(3)15--15, 41(4)23--23, 43(3)10--10, 44(1)2--2, 44(4)21--21
• standardization, 14(2)127--144, 18(2)139--174, 20(2)274--301
• standardized, 18(2)139--174
• standing, long-, 4(3)323--344
• standpoint, 41(3)15--15
• stands, 31(4)16--16, 32(4)12--12
• Stanford, 19(6)942--991
• start, 4(3)496--517, 14(4)471--489, 20(3)483--545, 23(1)73--103, 31(3)12--12, 41(2)8--8
• started, 22(5)816--860, 32(6)23--23
• starting, 4(4)650--667, 19(5)639--684, 22(3)431--470, 29(1)3--3, 31(6)22--22, 39(4)14--14, 40(1)2--2, 41(4)23--23, 45(1)5--5
• startup, 28(1)70--105
• Stata, 21(6)1196--1250
• Stata, Raymie, 21(1)90--137
• Stata:1999:TSJ, 21(1)90--137
• state, 4(2)179--195, 4(3)455--495, 7(1)159--175, 8(1)154--182, 8(4)577--608, 11(4)491--516, 13(1)150--178, 13(3)399--442, 13(4)633--633, 15(1)182--205, 15(4)659--680, 15(5)771--794, 16(4)1215--1247, 16(5)1512--1542, 16(6)1842--1874, 17(3)461--486, 18(3)325--353, 19(4)617--638, 19(5)726--750, 19(5)804--851, 20(1)51--115, 20(2)274--301, 20(2)302--343, 20(5)917--979, 21(4)747--789, 22(6)1037--1080, 23(3)273--303, 27(4)786--818, 27(6)1147--1215, 27(6)1344--1395, 28(3)476--516, 28(5)942--965, 29(6)35--35, 30(4)24--24, 31(4)16--16, 31(6)22--22, 32(4)14--14, 32(6)22--22, 33(5)17--17, 34(1)2--2, 35(3)10--10, 35(3)11--11, 35(4)14--14, 36(1)2--2, 36(3)10--10, 36(4)12--12, 36(4)13--13, 39(2)8--8, 40(3)13--13, 41(1)1--1, 41(1)6--6, 41(2)11--11, 41(4)23--23, 42(1)1--53, 42(3)14--14, 43(4)15--15, 44(4)25--25, 45(1)5--5, 45(3)19--19
• State, Finite-, 8(2)244--263, 12(2)303--339, 34(2)7--7
• state, Finite-, 34(2)7--7
• state, finite-, 15(1)36--72, 16(3)843--871, 20(6)1171--1194, 21(4)747--789, 22(6)973--1001, 30(5)29--29, 33(5)15--15, 34(1)6--6, 34(2)7--7, 44(2)8--8
• state, four-, 15(4)735--742
• state, infinite-, 21(4)747--789, 34(1)6--6, 36(4)14--14
• state, IOT-, 20(5)917--979
• state-based, 20(5)917--979
• state-changing, 31(4)16--16
• state-dependent, 35(2)6--6
• state-explosion, 20(5)917--979
• State-Machine, Finite-, 7(1)10--36
• State-of-the, 17(4)561--575
• state-of-the-art, 20(4)869--916, 33(3)10--10, 35(1)4--4, 40(3)13--13, 41(2)13--13, 41(3)16--16, 41(3)17--17
• State-separating, 45(3)15--15
• state-transition, 19(5)726--750
• stated, 13(1)150--178, 34(2)7--7
• stated, programmer-, 39(4)18--18
• stated, well-, 41(3)18--18
• stateful, 44(4)25--25
• statement, 5(2)236--264, 6(4)527--545, 10(3)403--419, 13(1)124--149, 16(3)387--427, 16(3)524--576, 16(3)954--985, 16(4)1097--1113, 16(4)1117--1155, 16(4)1248--1278, 16(5)1467--1471, 17(4)600--634, 18(1)1--15, 18(6)752--779, 19(3)462--491, 21(1)90--137, 21(2)324--369, 21(6)1251--1297, 22(2)416--430, 27(6)1270--1343, 30(6)32--32, 32(1)1--1, 32(6)24--24, 33(5)17--17, 35(1)3--3, 37(1)3--3, 38(2)4--4, 38(2)5--5, 41(4)23--23, 42(2)6--6, 44(1)2--2
• statement-or, 17(4)600--634
• Statement-Oriented, 3(1)1--10, 4(1)120--122
• statement., 32(6)24--24
• statements.The, 21(6)1251--1297
• static, SG-, 41(1)1--1
• static, WFG-, 41(1)1--1
• static-analysis, 32(6)23--23
• static-semantic, 8(4)577--608
• static-to-dynamic, 40(4)16--16
• statically, 13(2)237--268, 14(1)28--53, 16(3)328--369, 16(5)1411--1430, 16(5)1467--1471, 16(6)1768--1810, 17(2)233--263, 17(4)600--634, 21(1)11--45, 21(6)1196--1250, 22(4)638--672, 23(1)30--72, 28(2)256--289, 30(4)21--21, 31(5)17--17, 31(5)19--19, 32(4)11--11, 32(4)15--15, 33(6)20--20, 34(2)7--7, 36(4)12--12, 37(4)11--11, 40(2)8--8, 40(4)16--16, 41(3)16--16, 42(3)14--14, 43(2)6--6, 44(3)19--19
• static+JIT, 41(3)16--16
• stating, 39(1)3--3, 39(1)4--4
• stationary, 19(5)804--851
• statistical, 22(1)1--44, 30(6)33--33, 31(6)20--20, 39(4)16--16, 41(4)21--21, 43(2)6--6
• Statistical, Non-, 39(4)16--16
• statistically, 41(4)21--21
• STATISTICS, 16(3)798--842, 18(3)325--353
• statistics, 2(4)544--563, 18(4)424--453, 21(3)417--429, 21(3)627--676, 21(5)1028--1075
• status, 14(4)471--489
• Staveren, 5(3)499--499
• Staveren, Hans, van, 4(1)21--36
• stay, 13(1)52--98
• stealing, 36(3)10--10
• stealing, work-, 38(3)10--10
• stealthy, 29(6)35--35
• Steckler, 17(1)47--62
• Steckler, Paul A., 19(1)48--86
• Steckler:1997:LCC, 19(1)48--86
• Steenkiste, Peter A., 11(1)1--32
• Steenkiste:1989:SIR, 11(1)1--32
• Steensgaard, 21(2)175--188
• Steensgaard-Madsen, 4(1)120--122, 4(1)122--123
• Steensgaard-Madsen, J., 3(1)1--10, 4(1)122--123, 11(1)67--89
• Steensgaard-Madsen:1981:SOA, 3(1)1--10, 4(1)120--122, 4(1)122--123
• Steensgaard-Madsen:1982:TCS, 3(1)1--10, 4(1)120--122, 4(1)122--123
• Steensgaard-Madsen:1989:TRO, 11(1)67--89
• steep, 40(4)16--16, 44(2)10--10
• Stefano, Antonella, Di, 11(2)284--329
• Stefano, Maurizio, Di, 39(4)17--17
• Stefanovi{\'c}, Darko, 28(3)476--516, see Hertz, Matthew
• Steffen, Bernhard, 15(1)36--72, 16(4)1117--1155, 18(3)268--299
• Steffen, Bernhard, see Cleaveland, Rance, see Knoop, Jens
• Steimann, Friedrich, 40(1)2--2, 44(4)21--21
• Steimann:2018:CBR, 40(1)2--2
• Steimann:2022:CPS, 44(4)21--21
• Stein, Benno, 46(1)4--4
• Stein:2024:IAI, 46(1)4--4
• stem, 35(4)13--13
• stemming, 17(5)777--803, 21(3)502--526, 43(1)3--3
• stencil, 26(6)975--1028, 34(1)5--5, 38(3)11--11
• Stenström, Per, 18(6)659--682, see Skeppstedt, Jonas
• step, 4(3)362--381, 5(4)596--619, 6(1)55--67, 7(2)183--213, 13(1)21--51, 13(1)124--149, 15(5)745--770, 15(5)771--794, 16(2)259--303, 16(4)1248--1278, 16(6)1768--1810, 18(2)175--234, 18(6)649--658, 19(4)557--567, 19(5)639--684, 20(2)344--387, 21(2)175--188, 22(1)45--86, 22(1)129--161, 22(4)638--672, 22(5)816--860, 22(6)1002--1036, 28(1)70--105, 28(4)619--695, 29(1)3--3, 29(6)34--34, 30(5)29--29, 31(4)13--13, 31(4)14--14, 31(5)17--17, 31(6)20--20, 32(4)13--13, 34(4)16--16, 38(4)13--13, 40(2)7--7, 40(3)12--12, 41(4)21--21
• step, omni-big-, 45(1)5--5
• step, omni-small-, 45(1)5--5
• step, small-, 34(2)10--10, 44(2)12--12
• step, two-, 16(4)1248--1278, 41(3)16--16
• step-indexed, 32(3)7--7
• stepped, 34(1)1--1
• steps, time-, 23(1)73--103
• stepwise, 8(3)326--343, 14(3)417--461, 16(3)607--648, 41(2)13--13, 44(3)14--14
• Stern, Alex, Sanchez-, 45(2)12--12
• Stevenson, 5(3)499--499
• Stevenson, Johan W., 4(1)21--36
• Stevenson, Johan W., see Tanenbaum, Andrew S.
• Stewart, David B., 20(2)274--301
• Stewart, David B., see Lang, Jun
• still, 4(1)44--82, 4(4)650--667, 16(3)328--369, 16(3)1024--1050, 17(1)47--62, 20(2)274--301, 20(6)1171--1194, 27(6)1147--1215, 28(1)106--133, 29(2)13--13, 31(3)12--12, 33(3)10--10, 34(1)5--5, 34(2)7--7, 35(4)13--13, 36(4)12--12, 37(3)8--8, 38(4)16--16, 40(4)14--14, 42(1)2--2, 42(3)15--15, 43(1)3--3, 43(3)10--10, 44(1)1--1, 44(2)8--8, 46(1)2--2
• STM, 33(1)2--2
• stochastic, 33(3)11--11
• Stocks, Philip A., 23(2)105--186
• Stocks, Philip A., see Ryder, Barbara G.
• Stöhr, Stefan, Staiger-, 35(1)5--5
• Stoller, Scott D., 20(3)546--585, 27(1)91--125, 31(6)21--21
• Stoller, Scott D., see Liu, Yanhong A.
• Stoltz, Eric, 17(1)85--122
• Stoltz, Eric, see Gerlek, Michael P.
• Stone, Christopher A., 26(5)805--835
• Stone:2004:EOL, 26(5)805--835
• stop, 16(5)1648--1659, 20(4)707--723
• stop-the-world, 27(6)1097--1146, 28(1)1--69
• stopped, 22(5)816--860
• stopping, 16(5)1613--1647
• STORAGE, 7(1)62--79, 8(1)88--108, 9(3)297--318, 9(3)367--389, 10(4)555--578, 11(1)115--146, 13(4)626--629, 14(2)201--264, 14(4)574--588, 15(5)795--825, 16(3)775--797, 19(6)992--1030, 20(1)1--50, 20(1)116--165
• storage, 1(1)71--83, 3(4)388--404, 4(3)345--361, 4(4)527--551, 7(1)62--79, 7(1)80--112, 7(1)159--175, 8(4)419--490, 9(3)367--389, 9(3)408--440, 10(4)555--578, 11(3)388--403, 12(1)1--25, 13(3)372--398, 14(1)1--27, 15(1)1--35, 15(1)182--205, 15(5)745--770, 16(3)775--797, 16(5)1467--1471, 17(2)233--263, 18(3)235--253, 18(5)615--647, 20(1)1--50, 20(4)724--767, 20(5)980--1013, 21(3)430--501, 22(3)490--505, 28(4)715--746, 28(5)848--907, 28(5)942--965, 29(6)34--34, 31(3)11--11, 32(2)5--5, 32(4)11--11, 36(3)9--9, 38(3)11--11
• storage-management, 9(3)408--440
• store, 7(1)62--79, 16(3)775--797, 18(6)659--682, 19(5)639--684, 20(1)1--50, 20(4)724--767, 20(6)1223--1250, 33(1)5--5, 33(6)20--20, 36(2)6--6, 36(2)7--7, 38(2)7--7, 41(3)15--15, 41(4)22--22, 42(1)4--4
• store, dead-, 38(2)7--7
• store, load-, 18(6)659--682
• store_conditional, 15(5)745--770
• stored, 14(2)265--297, 18(6)752--779, 20(6)1131--1170, 29(6)35--35, 37(1)3--3
• storing, 4(4)527--551, 41(3)18--18
• Stork, Sven, 36(1)2--2
• Stork:2014:APB, 36(1)2--2
• Stoutamire, David, 18(1)1--15
• Stoutamire, David, see Murer, Stephan
• Stoyle, Gareth, 29(4)22--22
• Stoyle:2007:MMS, 29(4)22--22
• Strackx, Raoul, 37(2)6--6
• Strackx, Raoul, see Patrignani, Marco
• straight-line, 16(3)370--386
• straightforward, 9(4)491--542, 14(4)521--573, 18(3)268--299, 19(3)444--461, 19(5)639--684, 19(6)1031--1052, 22(3)471--489, 35(2)8--8, 40(1)4--4
• straightforwardly, 13(1)52--98, 20(3)546--585
• straightline, 15(4)632--658, 37(4)12--12
• Strand, 18(4)454--476
• Strassen, 41(4)20--20
• strategies., 16(3)387--427
• strategy, 2(1)18--41, 6(4)487--504, 6(4)603--631, 7(1)62--79, 7(3)490--492, 8(3)406--407, 10(4)555--578, 11(3)388--403, 13(3)315--341, 14(1)1--27, 14(2)147--172, 14(2)265--297, 15(4)659--680, 16(3)1010--1023, 16(4)1215--1247, 16(6)1768--1810, 18(1)30--72, 18(4)424--453, 18(4)454--476, 18(5)528--563, 18(5)615--647, 18(6)730--751, 20(1)208--258, 20(2)344--387, 20(4)707--723, 21(2)240--285, 21(3)430--501, 22(4)638--672, 28(3)389--428, 28(3)517--575, 28(5)908--941, 30(4)23--23, 31(2)7--7, 31(3)12--12, 31(4)14--14, 33(1)2--2, 33(1)3--3, 33(3)11--11, 35(1)5--5, 36(1)1--1, 37(3)9--9, 37(4)12--12, 40(4)14--14, 41(1)4--4, 41(3)16--16, 42(2)7--7, 45(1)4--4
• strategy-interaction, 37(3)9--9
• stratification, 22(4)583--637
• stratified, 20(3)586--634
• stream, 7(4)501--538, 8(1)109--139, 9(4)599--617, 10(2)313--337, 10(4)579--601, 11(1)57--66, 14(1)28--53, 15(3)400--462, 15(4)632--658, 15(4)659--680, 17(1)123--156, 18(1)1--15, 18(6)659--682, 20(4)869--916, 20(6)1195--1222, 21(5)1028--1075, 22(5)773--815, 26(2)301--338, 29(1)3--3, 39(1)5--5
• stream, multiple-data-, 7(4)501--538, 9(4)599--617, 10(4)579--601, 15(4)659--680, 17(1)123--156, 18(6)659--682
• stream, Multiple-instruction-, 7(4)501--538, 9(4)599--617, 10(4)579--601, 15(4)659--680, 17(1)123--156, 18(6)659--682
• stream, Single-instruction-, 17(1)123--156
• streaming, 35(3)9--9, 39(1)5--5
• Streeter, David, 24(6)625--666
• Streeter, David, see Tip, Frank
• strength, 4(3)402--454, 4(4)650--667, 17(1)85--122, 18(3)268--299, 18(4)454--476, 20(6)1297--1322, 22(5)932--972, 23(5)603--625, 38(1)3--3, 40(3)10--10
• strength, industrial-, 38(2)6--6
• strengthens, 19(6)916--941
• Strickland, T. Stephen, 35(3)11--11
• Strickland:2013:CFC, 35(3)11--11
• strict, 7(2)183--213, 13(2)269--290, 14(4)574--588, 16(5)1449--1466, 18(2)175--234, 21(2)189--239, 31(3)10--10
• strictly, 18(1)1--15, 18(2)175--234, 37(3)9--9, 40(4)17--17
• strictness, 13(2)269--290, 16(3)328--369, 16(5)1449--1466, 16(6)1675--1683, 17(6)896--937, 19(5)751--803
• strides, 37(4)12--12
• striking, 16(4)1215--1247, 34(4)17--17
• string, 2(1)122--128, 2(2)153--172, 4(2)179--195, 10(4)602--626, 11(3)482--482, 13(1)150--178, 14(1)1--27, 14(4)471--489, 14(4)490--520, 16(2)259--303, 16(3)1051--1077, 17(4)672--689, 19(6)942--991, 20(2)259--273, 28(4)696--714, 29(6)38--38, 30(4)18--18, 37(1)1--1, 45(2)9--9, 45(3)14--14
• stripped, 32(6)23--23
• STRIPS, 20(5)1014--1066
• strives, 22(3)490--505
• Stroet, Jan W. M., 3(3)224--250
• Stroet, Jan W. M., see van den Bos, Jan
• Strom, Robert E., 13(2)211--236, 19(2)292--333
• Strom, Robert E., see Yellin, Daniel M.
• strong, 16(5)1411--1430, 17(1)16--27, 18(1)16--29, 21(3)677--701, 22(1)129--161, 22(6)1037--1080, 32(2)4--4, 33(4)13--13, 33(5)17--17, 34(1)5--5, 34(4)17--17, 35(1)5--5, 36(1)3--3, 37(3)8--8, 39(1)2--2, 39(1)3--3, 39(4)14--14, 40(3)11--11, 41(2)10--10, 43(1)1--1, 43(1)3--3
• Strong-separation, 44(3)16--16
• stronger, 16(3)428--455, 20(6)1171--1194, 20(6)1297--1322, 40(3)13--13, 43(3)10--10
• strongest, 19(5)685--725, 19(5)751--803
• strongly, 4(4)615--649, 8(4)419--490, 17(1)85--122, 18(6)649--658, 19(6)1085--1087, 28(3)429--475, 29(1)3--3, 30(6)32--32, 33(4)13--13, 34(4)17--17
• strongly-typed, 5(3)405--421
• Strout, Michelle Mills, 34(1)3--3
• Strout, Michelle Mills, see Renganarayanan, Lakshminarayanan
• struct, 30(1)4--4, 33(1)3--3, 42(3)15--15
• structural, 8(4)419--490, 14(4)589--616, 16(3)1024--1050, 20(5)980--1013, 31(3)9--9, 40(3)11--11
• Structurally, 33(2)6--6
• Structure, Live-, 16(2)205--258
• Structure-Oriented, 16(3)727--774
• structure-oriented, 16(3)727--774
• structure-sharing, 16(2)205--258
• structure-that, 8(4)419--490
• structure-transmitted, 22(1)162--186
• structured, 2(1)1--17, 4(4)585--600, 6(4)527--545, 7(3)446--477, 8(4)524--546, 9(3)297--318, 13(3)372--398, 16(6)1684--1698, 18(1)1--15, 18(1)73--108, 19(3)413--426, 19(3)427--443, 19(3)462--491, 21(6)1077--1136, 21(6)1251--1297, 25(1)70--116, 32(3)9--9, 34(2)8--8, 38(2)5--5, 40(3)10--10
• structured, better-, 18(2)139--174
• Structured, Block-, 3(3)263--292
• Structured, Forest-, 16(3)1051--1077
• structured, tree-, 4(4)687--710
• structured, well-, 34(2)8--8
• STRUCTURES, 7(1)1--9, 7(2)348--357, 8(1)142--153, 9(2)257--276, 9(2)277--295, 10(4)579--601, 11(4)598--632, 13(3)295--314, 13(4)626--629, 14(2)127--144, 14(2)201--264, 14(2)265--297, 14(4)471--489, 15(1)182--205, 15(3)400--462, 16(3)328--369, 16(4)1279--1318, 16(6)1684--1698, 17(1)1--15, 17(1)123--156, 17(4)561--575, 18(6)649--658, 18(6)659--682, 19(2)239--252, 19(4)586--616, 19(5)751--803, 19(6)1031--1052, 20(1)1--50, 20(1)116--165, 20(2)388--435, 20(4)869--916, 20(5)980--1013, 20(6)1265--1296
• structures, I-, 11(4)598--632
• Structures, I-, 11(4)598--632
• structuring, 4(4)527--551, 45(3)15--15
• structuring, data-, 11(4)598--632
• stub, 16(1)151--174, 42(3)15--15
• stuck, 34(2)10--10, 39(3)10--10
• Stuckey, Peter J., 14(3)339--395, 20(6)1223--1250, 21(5)948--976, 22(2)187--223, 27(3)388--425, 27(6)1216--1269, 31(1)2--2, 31(2)1--1, 37(1)1--1, 43(3)11--11
• Stuckey, Peter J., see Codish, Michael, see Gange, Graeme, see Hermenegildo, Manuel, see Jaffar, Joxan, \see{Kelly, Andrew D., see Schulte, Christian
• Stuckey:2005:TO, 27(6)1216--1269
• studied, 4(3)455--495, 14(3)417--461, 16(3)1051--1077, 17(2)197--216, 17(4)576--599, 18(6)659--682, 19(6)916--941, 20(3)635--678, 20(6)1251--1264, 21(2)189--239, 32(1)1--1, 35(1)3--3, 39(1)3--3, 41(1)2--2, 41(4)22--22, 43(4)15--15, 44(3)15--15
• studied., 13(1)99--123
• studying, 22(2)296--339, 30(5)29--29, 31(5)19--19, 32(5)17--17, 40(2)6--6, 44(4)22--22
• Stump, 34(1)1--1
• style, 4(3)362--381, 7(4)501--538, 8(4)547--576, 9(2)198--234, 13(1)52--98, 14(1)28--53, 14(4)589--616, 16(3)328--369, 16(6)1768--1810, 18(6)711--729, 18(6)730--751, 20(5)1014--1066, 22(6)1037--1080, 23(1)1--29, 30(5)29--29, 34(1)6--6, 38(1)2--2, 40(3)12--12, 41(2)12--12, 43(2)8--8
• style, 90-, 17(1)123--156
• style, assume-guarantee-, 16(3)843--871
• style, C-, 28(3)429--475
• style, Chaitin-, 16(3)428--455, 22(3)431--470
• style, continuation-passing-, 41(2)8--8
• style, Curry-, 41(1)5--5
• Style, Curry-, 41(1)5--5
• style, database-, 30(4)19--19
• style, functional-, 31(2)7--7
• style, Hoare-, 19(4)586--616
• style, HPF-, 20(4)869--916
• style, Kam/Ullman-, 18(3)268--299
• style, mixin-, 35(1)2--2
• style, ML-, 28(3)429--475, 35(1)2--2
• style, Pthread-, 36(4)14--14
• styles, 8(1)142--153, 8(3)344--387, 9(4)599--617, 9(4)618--645, 10(4)579--601, 13(2)237--268, 14(2)265--297, 15(1)182--205, 16(6)1661--1674, 17(4)561--575, 18(6)659--682, 19(1)188--222, 21(4)703--746, 21(5)1028--1075, 21(6)1077--1136, 22(4)673--700, 45(1)5--5
• styling, 41(2)12--12
• stylish, 40(4)16--16
• stylized, 15(5)745--770, 31(1)1--1, 35(1)2--2
• sub, 16(6)1811--1841
• sub-problems, 39(2)9--9
• subblock, 14(2)265--297
• subclass, 17(5)777--803, 38(3)8--8, 40(2)7--7
• subclassing, 38(3)8--8
• subcomputations, 20(3)546--585
• subcontracting, 31(5)19--19
• subexpression, 17(1)63--84, 21(3)627--676, 28(3)389--428
• subgoals, 18(5)528--563
• subgraphs, 18(6)649--658
• subject, 4(3)382--401, 8(1)109--139, 9(2)125--163, 16(3)1010--1023, 22(6)973--1001, 22(6)1037--1080, 30(1)4--4, 31(3)10--10, 37(3)8--8, 42(3)15--15, 44(1)5--5
• subject-reduction, 17(1)47--62, 31(3)12--12
• subjected, 29(6)35--35
• subject/observer, 37(1)3--3
• Sublanguage, 1(1)27--49
• Sublinear-Space, 9(3)408--440
• submarkings, 20(5)917--979
• submodular, 40(1)3--3
• submodule, 5(1)1--25
• suboptimal, 21(1)1--10
• Suboti{\'c}, Pavle, 42(2)7--7, see Zhao, David
• subparts, 28(3)389--428, 32(1)2--2
• subproblems, 9(2)235--256
• subprogram, 16(6)1875--1903
• subroutine, 7(4)539--559, 7(4)680--685, 8(1)50--87, 9(1)1--24, 13(4)491--530, 13(4)626--629, 15(5)876--895, 16(3)524--576, 16(5)1467--1471, 16(6)1719--1736, 18(6)730--751, 19(1)48--86, 19(1)188--222, 19(5)751--803, 20(1)116--165, 21(1)90--137, 21(3)627--676, 21(6)1196--1250, 22(1)129--161
• subschema, 16(3)727--774
• subscribe, 29(1)6--6
• subscript, 17(2)217--227, 20(3)635--678, 21(2)286--323
• subscripting, 9(3)367--389
• subscripting-is, 9(3)367--389
• subsequence, 14(4)471--489, 34(3)14--14
• subsequent, 18(6)659--682, 20(5)980--1013, 22(5)773--815, 23(2)105--186, 30(4)20--20, 30(4)21--21, 32(5)17--17, 40(3)9--9, 41(4)21--21, 41(4)23--23
• subsequently, 4(1)21--36, 9(2)125--163, 21(3)430--501, 22(5)816--860, 28(2)290--330, 28(3)429--475, 34(1)5--5
• subset, 3(2)126--143, 4(2)149--178, 4(3)323--344, 9(4)618--645, 12(4)643--669, 14(2)147--172, 16(3)524--576, 16(3)843--871, 16(5)1399--1410, 17(2)197--216, 19(4)586--616, 19(6)916--941, 20(5)1014--1066, 21(1)90--137, 21(6)1196--1250, 28(2)256--289, 32(3)8--8, 32(5)17--17, 36(1)4--4, 40(3)11--11, 42(2)10--10, 43(4)15--15, 45(2)7--7
• subset-based-0-CFA, 20(6)1251--1264
• subspace, 38(3)12--12
• substantial, 4(2)179--195, 4(4)552--562, 8(4)491--523, 9(2)164--197, 16(3)328--369, 16(3)577--604, 17(4)672--689, 21(5)977--1027, 29(1)2--2, 41(2)10--10, 41(2)13--13, 41(3)19--19
• substantially, 16(4)1319--1360, 20(5)1014--1066, 20(6)1297--1322, 21(2)286--323, 23(2)105--186, 36(3)10--10, 40(4)16--16, 41(2)10--10, 41(2)12--12, 45(4)20--20
• Substitutability, 17(1)63--84
• substituting, 18(2)139--174
• substitution, 17(2)366--393, 19(6)899--915, 31(4)13--13, 32(1)2--2, 39(1)3--3
• substitution, forward-, 19(6)853--898
• substring, 14(4)471--489, 16(3)1051--1077
• subsumed, 16(3)328--369
• subsumes, 20(4)768--844, 30(4)23--23, 33(4)12--12, 42(1)2--2
• Subsuming, 18(3)235--253
• subsumption, 18(4)401--423, 28(2)256--289
• subsystem, 8(1)142--153, 28(5)848--907
• subtle, 15(1)73--132, 28(3)429--475, 29(2)13--13, 30(4)20--20, 30(6)30--30, 35(4)12--12, 38(2)4--4, 38(4)16--16, 39(2)6--6
• subtleties, 28(5)795--847
• subtly, 19(4)617--638
• subtree, 18(1)16--29
• subtype, 13(4)631--632, 13(4)633--633, 15(4)575--631, 16(6)1811--1841, 19(1)153--187, 22(3)540--582, 23(2)243--272, 28(5)795--847, 30(6)33--33, 33(3)9--9, 37(4)13--13, 39(1)4--4
• subtyping, 15(4)575--631, 16(6)1811--1841, 17(3)431--447, 17(4)576--599, 18(4)401--423, 18(5)519--527, 19(1)153--187, 20(6)1251--1264, 21(3)502--526, 22(1)1--44, 27(5)819--856, 28(5)795--847, 30(6)33--33, 31(5)19--19, 32(1)2--2, 37(4)13--13, 38(1)3--3, 38(3)8--8, 39(1)4--4, 41(1)5--5, 42(1)2--2, 44(4)24--24
• Subtyping-Relation, 39(1)4--4
• succeed, 10(2)248--266, 16(3)649--686, 31(3)10--10, 32(5)16--16
• succeeded, 34(4)16--16
• success, 9(4)491--542, 38(2)7--7, 44(2)10--10
• successful, 14(2)173--200, 16(6)1675--1683, 19(6)942--991, 21(5)977--1027, 21(6)1137--1195, 27(6)1147--1215, 31(3)10--10, 31(5)19--19, 37(4)11--11, 41(4)21--21, 43(3)12--12
• successfully, 19(3)444--461, 19(6)853--898, 20(4)845--868, 28(3)517--575, 30(4)19--19, 32(2)5--5, 32(3)7--7, 32(5)18--18, 34(1)4--4, 38(3)12--12, 44(1)1--1
• succession, 20(2)344--387
• successive, 30(4)23--23, 39(2)9--9
• successively, 4(4)650--667, 16(3)775--797, 38(4)14--14
• successor, 6(4)527--545, 9(4)491--542
• succinct, 16(6)1737--1767, 17(2)264--292, 38(1)1--1
• succinctly, 3(2)126--143, 9(2)125--163
• such, addressing-, 9(3)367--389
• such, measurement-, 10(2)189--203
• Südholt, Mario, 34(3)12--12, see De Fraine, Bruno
• suffer, 12(4)643--669, 14(1)1--27, 20(1)51--115, 21(6)1137--1195, 22(4)673--700, 28(1)134--174, 28(5)908--941, 39(2)7--7
• suffering, 21(4)703--746
• suffices, 16(3)649--686, 18(5)564--614, 28(4)747--793
• sufficient, 4(2)179--195, 9(3)319--349, 11(4)633--649, 13(1)150--178, 14(3)396--416, 16(4)1248--1278, 17(1)63--84, 18(4)477--518, 21(2)240--285, 21(4)703--746, 21(4)813--847, 22(2)296--339, 23(2)105--186, 27(6)1216--1269, 28(5)942--965, 36(4)14--14, 37(2)5--5, 37(4)13--13, 38(2)7--7
• sufficiently, 16(3)387--427, 17(2)197--216, 43(1)3--3
• suffix-tree-based, 22(2)378--415
• Suganuma, Toshio, 27(4)732--785, 28(1)134--174
• Suganuma:2005:DED, 27(4)732--785
• Suganuma:2006:RBC, 28(1)134--174
• suggest, 18(4)454--476, 27(6)1147--1215, 30(4)18--18, 34(1)4--4, 34(4)15--15, 38(1)2--2, 41(2)12--12
• suggested, 4(1)113--119, 4(2)283--294, 16(3)605--606, 17(1)28--44, 17(2)217--227, 33(4)12--12, 37(2)6--6, 39(2)7--7
• suggestions, 8(4)577--608, 34(4)15--15
• Suhendra, Vivy, 32(4)13--13
• Suhendra:2010:SAC, 32(4)13--13
• SUIF, 21(4)703--746, 27(4)662--731
• suit, 19(3)444--461
• suitability, 15(4)659--680, 40(4)15--15
• suitable, 4(1)21--36, 14(2)127--144, 15(1)133--181, 16(2)259--303, 16(5)1572--1612, 17(4)600--634, 18(3)325--353, 19(3)492--524, 20(2)274--301, 21(3)527--568, 21(6)1251--1297, 28(1)1--69, 31(4)14--14, 31(6)23--23, 38(4)16--16, 39(2)6--6, 39(2)8--8, 40(2)8--8, 41(3)17--17
• suitably, 32(3)7--7
• suite, 4(2)125--148, 16(3)428--455, 16(4)1156--1214, 16(4)1361--1398, 20(1)166--207, 22(3)431--470, 22(5)932--972, 28(5)848--907, 30(1)4--4, 32(2)4--4, 33(1)3--3, 35(4)13--13, 39(4)14--14, 41(1)1--1, 41(1)3--3, 41(3)18--18, 41(3)19--19, 43(2)8--8
• suited, 4(4)687--710, 12(4)643--669, 15(5)745--770, 16(5)1399--1410, 18(1)1--15, 22(2)187--223, 34(1)3--3
• Sulzmann, Martin, 27(6)1216--1269
• Sulzmann, Martin, see Stuckey, Peter J.
• sum, 16(3)775--797, 18(6)730--751, 19(3)444--461, 34(3)14--14, 36(1)1--1, 41(1)5--5
• sum, disjoint-, 18(6)730--751
• sum, prefix-, 16(6)1737--1767
• Sumii, Eijiro, 33(1)5--5
• Sumii, Eijiro, see Sangiorgi, Davide
• summands, 31(6)21--21
• summarisation, 40(1)1--1
• Summarization, 46(1)4--4
• summarize, 21(4)703--746, 21(5)977--1027, 21(5)1028--1075
• summarized, 14(4)521--573, 16(3)872--923
• summarizing, 33(5)17--17, 40(1)2--2
• summary, 17(5)777--803, 28(1)70--105, 32(2)5--5
• SUN, 30(3)17--17
• Sun, 15(4)632--658, 21(1)90--137, 21(6)1196--1250, 22(4)638--672, 28(1)1--69
• Sun, Yaozhu, 43(3)9--9
• Sun, Yaozhu, see Zhang, Weixin
• Sun, Zhihang, 45(1)6--6
• Sun, Zhihang, see Fan, Hongyu
• Sun-4, 16(2)175--204
• Sunshine, Joshua, 36(1)2--2, 42(3)14--14
• Sunshine, Joshua, see Coblenz, Michael, see Stork, Sven
• Suonio, R., Kurki-, 10(4)513--554
• superclass, 38(3)8--8
• supercompilation, 20(1)208--258
• Supercompiler, 8(3)292--325
• superfluous, 16(4)1117--1155
• superimposition, 15(2)337--356, 16(4)1361--1398
• superior, 14(2)127--144, 18(1)30--72, 21(2)324--369, 29(1)3--3
• superlinear, 20(6)1265--1296, 34(3)14--14
• supermartingale, ranking-, 40(2)7--7
• supermartingales, 40(2)7--7, 43(2)5--5
• supermartingales, ranking-, 40(2)7--7
• superoptimisation, 40(2)5--5
• superscalar, 17(4)600--634, 19(6)853--898
• superset, 21(2)324--369
• supersymbols, 29(1)3--3
• supertype, 16(6)1811--1841, 37(4)13--13
• supervises, 29(6)33--33
• Supinski, Bronis R., De, 29(2)12--12
• supplied, 3(2)126--143
• supply, 20(5)1067--1109, 21(2)240--285, 21(3)677--701, 42(3)14--14
• supported, 13(1)52--98, 13(1)99--123, 14(1)107--125, 15(1)36--72, 21(2)286--323, 21(6)1251--1297, 35(2)8--8, 41(4)21--21
• supporting, 3(2)126--143, 8(4)547--576, 13(1)52--98, 16(5)1648--1659, 17(2)233--263, 20(4)845--868, 30(4)22--22, 31(2)7--7, 32(4)14--14, 36(1)1--1, 38(4)16--16, 41(2)9--9, 42(3)14--14
• supportive, 9(2)198--234
• Suppose, 20(6)1171--1194
• supposed, 46(1)1--1
• supposedly, 32(3)8--8
• suppressed, 32(5)17--17
• suppressing, 16(4)1117--1155, 32(5)17--17
• suppression, 10(4)635--640, 11(4)666--668, 16(4)1156--1214, 17(5)777--803, 32(5)17--17
• sure, almost-, 40(2)7--7
• surely, 41(2)10--10
• surface, 28(3)389--428, 30(4)23--23
• surmounts, 18(1)30--72
• surprising, 19(3)413--426, 44(3)16--16
• surprisingly, 14(2)147--172, 19(4)617--638, 23(2)105--186, 32(1)1--1, 35(1)5--5
• surrounding, 38(1)2--2
• survey, 3(4)431--483, 23(4)472--602, 41(1)2--2, 43(1)4--4
• survive, 39(4)17--17
• susceptible, 40(1)3--3
• suspend, 16(1)3--34, 21(2)240--285
• suspended, 16(3)649--686, 21(2)240--285, 34(3)12--12
• suspension, 16(3)649--686
• Sutherland, Julian, 43(4)16--16
• Sutherland, Julian, see D'Osualdo, Emanuele
• Sutter, Bjorn, De, 22(2)378--415, 27(5)882--945, 29(4)19--19, 33(3)9--9
• Sutton, Charles, 44(1)4--4
• Sutton, Charles, see Gorinova, Maria I.
• Suzuki, Norihisa, 1(2)226--244
• Suzuki, Norihisa, see Luckham, David C.
• Svendsen, Kasper, 38(2)4--4
• Svendsen, Kasper, see Dodds, Mike
• Swadi, Kedar N., 32(3)7--7
• Swadi, Kedar N., see Ahmed, Amal
• Swalens, Janwillem, 42(4)17--17
• Swalens:2021:CCC, 42(4)17--17
• swap, compare-and-, 28(1)1--69, 40(3)12--12
• Sweeney, Peter F., 24(6)625--666, 38(4)15--15
• Sweeney, Peter F., see Blackburn, Stephen M., see Tip, Frank
• sweep, 28(1)1--69
• sweep'', ``mark-and-, 15(1)1--35
• SWEEP, 1-, 18(1)73--108
• sweep, mark-, 27(6)1097--1146, 36(1)3--3
• sweep, mark-and-, 15(1)1--35, 28(5)908--941
• Swiderski, Stephan, 33(2)7--7
• Swiderski, Stephan, see Giesl, Jürgen
• Swierstra, 18(1)16--29
• Swift, Terrance, 18(5)528--563, 20(3)586--634
• Swift, Terrance, see Dawson, Steven, see Sagonas, Konstantinos
• swifter, 44(2)7--7
• Swinehart, Daniel, 8(4)419--490
• Swinehart:1986:SVC, 8(4)419--490
• switched, 41(1)1--1
• switching, 15(4)659--680, 41(1)1--1
• symbol, 3(1)11--23, 4(2)179--195, 5(2)127--163, 13(1)150--178, 17(4)672--689, 20(3)635--678, 22(5)861--931, 29(1)3--3
• symbol-table/debugging, 32(6)23--23
• SYMBOLIC, 19(6)899--915
• symbolic, 4(3)323--344, 7(1)176--181, 7(4)501--538, 12(4)643--669, 14(1)54--106, 14(2)173--200, 15(2)357--365, 18(4)477--518, 19(2)386--412, 19(5)639--684, 20(1)1--50, 20(6)1111--1130, 21(2)286--323, 21(2)370--416, 21(3)627--676, 21(4)747--789, 22(2)340--377, 22(6)1002--1036, 25(6)776--813, 27(2)185--235, 28(5)848--907, 30(6)32--32, 31(1)5--5, 33(5)15--15, 34(1)2--2, 34(1)3--3, 37(3)8--8, 38(1)1--1, 38(4)13--13, 39(2)8--8, 41(1)2--2, 42(2)9--9, 42(3)13--13, 42(3)15--15
• symbolic-heap, 44(3)16--16
• symbolically, 21(4)747--789
• symmetric, 7(4)622--636, 28(3)517--575, 33(4)12--12
• symmetrical, 20(2)302--343
• symmetry, 19(4)617--638, 20(2)302--343, 26(4)702--734
• Symp, 6(2)215--238, 10(3)470--502, 15(2)211--252
• Symposium, 8(2)244--263
• sync, 35(1)3--3
• sync, spawn-, 32(3)9--9
• synchronisation, 41(1)1--1
• synchronization, 4(2)125--148, 4(3)455--495, 6(2)215--238, 7(3)404--425, 7(4)622--636, 9(1)25--53, 10(4)579--601, 11(1)90--114, 11(3)404--417, 11(4)585--597, 12(2)178--202, 13(1)99--123, 13(1)124--149, 13(4)558--576, 14(1)28--53, 14(2)201--264, 15(4)735--742, 15(5)745--770, 15(5)771--794, 16(3)577--604, 16(3)939--953, 16(3)954--985, 16(6)1719--1736, 17(3)535--559, 17(4)600--634, 17(5)777--803, 18(3)268--299, 18(4)454--476, 19(5)804--851, 20(1)51--115, 21(3)569--626, 22(2)416--430, 22(4)673--700, 25(3)316--359, 25(6)876--910, 27(6)1270--1343, 28(1)1--69, 28(2)207--255, 28(4)715--746, 30(4)20--20, 31(1)1--1, 34(1)4--4, 35(1)3--3, 35(2)8--8, 36(1)2--2, 36(2)6--6, 38(2)4--4, 41(3)16--16
• synchronization-sensitive, 22(2)416--430, 42(4)16--16
• synchronization., 32(3)9--9
• synchronize, 20(6)1131--1170
• synchronized, 28(1)1--69, 35(2)8--8
• synchronizing, 3(4)405--430, 6(2)215--238, 7(3)404--425
• synchronous, 9(4)599--617, 33(4)14--14, 37(3)10--10, 44(4)26--26, 45(2)11--11
• synchrony, 26(2)221--262
• synergistic, 30(5)29--29, 35(1)3--3
• synergy, 28(5)795--847
• syntactic, 2(1)18--41, 4(1)113--119, 5(2)236--264, 8(4)547--576, 9(2)164--197, 9(2)257--276, 10(3)456--469, 16(3)687--726, 16(4)1361--1398, 16(5)1572--1612, 17(3)448--460, 18(2)175--234, 20(1)166--207, 20(1)208--258, 22(4)701--771, 22(6)1037--1080, 28(2)256--289, 30(5)25--25, 30(5)29--29, 40(4)16--16, 42(3)15--15
• syntactical, 9(4)473--490
• syntactically, 8(4)524--546, 16(5)1411--1430, 21(1)1--10
• syntax, 3(2)126--143, 4(1)113--119, 4(2)149--178, 4(4)615--649, 5(2)127--163, 7(1)159--175, 7(3)478--489, 8(2)264--271, 8(4)547--576, 9(4)543--566, 10(1)118--155, 10(2)338--342, 10(3)345--373, 13(2)237--268, 14(4)490--520, 14(4)589--616, 15(3)535--562, 16(3)727--774, 16(3)872--923, 16(4)1279--1318, 16(5)1572--1612, 16(5)1613--1647, 17(4)672--689, 18(1)16--29, 19(1)153--187, 19(5)804--851, 19(6)1053--1084, 20(5)980--1013, 21(3)527--568, 22(1)1--44, 22(4)701--771, 22(6)1037--1080, 23(1)1--29, 24(6)698--710, 25(5)631--640, 29(1)3--3, 30(5)26--26, 30(6)31--31, 31(5)19--19, 32(2)4--4, 32(5)19--19, 34(1)3--3, 34(4)15--15, 37(4)12--12, 39(4)14--14
• syntax, abstract-, 8(4)577--608
• Syntax-Directed, 10(3)345--373
• syntax-directed, 9(2)125--163, 41(1)5--5, 41(2)9--9
• Syntax-Error-Handling, 5(4)656--679
• syntax-trees, 9(2)125--163
• Syntaxash, 4(2)149--178
• Syntax/Semantic, 4(2)149--178
• synthesis, 2(1)90--121, 2(3)338--358, 6(1)68--93, 7(4)600--621, 9(2)257--276, 9(3)441--462, 10(2)248--266, 12(2)143--177, 16(1)102--150, 16(6)1875--1903, 19(3)427--443, 19(4)586--616, 20(1)51--115, 22(2)224--264, 22(5)773--815, 22(6)1002--1036, 23(2)187--242, 26(1)125--185, 30(4)20--20, 32(2)6--6, 35(2)8--8, 40(2)5--5, 40(2)7--7, 40(4)17--17, 41(4)20--20, 44(2)9--9, 44(2)10--10, 45(1)2--2, 45(3)16--16
• synthesised, 40(1)1--1
• synthesiser, 40(2)5--5
• synthesize, 20(1)51--115, 35(1)2--2, 39(2)8--8, 41(4)20--20
• synthesized, 41(4)20--20
• synthesizer, 44(2)9--9
• synthesizing, 5(2)236--264, 20(1)51--115
• synthetically, 34(1)5--5
• Syst, 17(1)180--180
• system, runtime-, 16(6)1699--1718
• system-based, type-, 45(2)8--8
• system-level, 19(4)586--616, 37(1)4--4
• system., 16(3)456--492, 31(5)19--19
• systematic, 8(4)547--576, 16(3)727--774, 17(5)691--703, 19(1)7--47, 19(3)444--461, 20(2)344--387, 20(3)546--585, 21(3)417--429, 22(6)1002--1036, 27(2)344--382, 27(6)1147--1215, 27(6)1344--1395, 28(3)476--516, 33(1)3--3, 35(1)4--4, 38(4)15--15, 44(1)3--3
• systematically, 16(1)35--101, 19(1)7--47, 19(5)639--684, 20(6)1223--1250, 39(4)17--17, 40(1)2--2, 41(3)17--17
• systematizing, 45(4)22--22
• systems**, 19(6)992--1030
• systems., 43(1)4--4
• systolic, 8(3)344--387, 22(5)773--815
• Szafron, Duane, 31(3)9--9
• Szafron, Duane, see MacDonald, Steve
• Szekely, Pedro, 23(6)776--796
• Szekely, Pedro, see Vander Zanden, Bradley T.
• Szymanski, Thomas G., 2(3)274--289
• Szymanski, Thomas G., see Leverett, Bruce W.
• Szyperski, Clemens, 18(1)1--15
• Szyperski, Clemens, see Murer, Stephan