Index file section S for complngs.bib
Last update: Thu Jun 20 02:00:37 MDT 2019
Return to index directory
S
-
S, 5(2)52--z
-
{S, CSP}-, 9(3)193--202
-
S, CSP-, 9(3)193--202
-
S., Gopal Ajei, 10(1)63--73
-
S., Gopal Ajei, see Budd, Timothy A.
-
S/370, 19(1)41--50
-
Saake, Gunter, 54(z)451--471
-
Saake, Gunter, see Pereira, Juliana Alves
-
Saal, H. J., 2(3)47--59
-
Saal:1977:ESA, 2(3)47--59
-
Saber, Mahmoud A., 51(z)158--175
-
Saber, Mahmoud A., see Hassan, Somaia A.
-
Sadayappan, P., 37(2)63--75
-
Sadayappan, P., see Lam, Chi-Chung
-
safe, 14(4)263--281, 28(1)61--99, 30(1)49--61, 31(3)143--164,
49(z)176--195
-
safe, type-, 41(z)1--20
-
SafeGPU, 48(z)68--88
-
safety, 35(3)277--292, 36(1)60--95
-
safety, Fail-, 22(4)193--203
-
safety, fail-, 22(4)193--203
-
safety-critical, 44(z)251--282, 45(z)251--282
-
Sahraoui, Houari, 52(z)43--62
-
Sahraoui, Houari, see Syriani, Eugene
-
Sailor, Ken, 18(4)241--250, 20(2)101--116
-
Sailor, Ken, see McCrosky, Carl
-
Sailor:1994:PAT, 20(2)101--116
-
Saint, 19(3)205--211
-
Saiz, Diego, García-, 54(z)316--336
-
Salcic, Zoran, 36(4)317--344, 44(z)251--282, 45(z)251--282
-
Salcic, Zoran, see Malik, Avinash,
see Park, Heejong
-
Salter, Richard, 8(2)61--68
-
Salter, Richard M., 5(3)163--189, 12(1)1--7
-
Salter, Richard M., see Rubenstein, Michael C.
-
Salter:1980:CLC, 5(3)163--189
-
Salter:1983:CAI, 8(2)61--68
-
Salzman, Eric, 17(1)39--60
-
Salzman, Eric J., 18(1)31--55
-
Salzman, Eric J., see Bailes, Paul A.
-
Salzman:1992:ASM, 17(1)39--60
-
Samet, Hanan, 4(3)187--198
-
Samet:1979:DSB, 4(3)187--198
-
sample, 17(4)213--239, 54(z)1--19
-
Sanchez, Alejandro, 44(z)218--237, 45(z)218--237
-
Sánchez, Irene, Córdoba-, 45(z)164--190
-
Sánchez, Pablo, 54(z)316--336,
see Vega, Alfonso de la
-
Sanchez:2015:VAR, 44(z)218--237
-
Sanchez:2016:VAR, 45(z)218--237
-
Sanjiv, 25(2)114--115
-
Santo, Michele, Di, 15(3)141--152
-
Santos, Henrique Nazaré, 40(2)37--52,
see Costa, Igor Rafael de Assis
-
Sanz, Jorge J., Gomez-, 50(z)140--141
-
Sapaty, 25(2)113--114
-
Sarbo, Janos J., 14(3)205--224, 18(2)137--151, 20(2)89--100
-
Sarbo, Janos J., see Nederhof, Mark-Jan
-
Sarbo:1989:TI, 14(3)205--224
-
Sarbo:1994:GTO, 20(2)89--100
-
Saritas, Hidayet Burak, 40(2)53--72
-
Saritas:2014:MDA, 40(2)53--72
-
Sarwar, S. Mansoor, 19(3)205--211, 20(2)127--134, 22(1)39--47
-
Sarwar, Syed Aqeel, 22(1)39--47
-
Sarwar, Syed Aqeel, see Sarwar, S. Mansoor
-
Sarwar:1993:RBS, 19(3)205--211
-
Sarwar:1994:ESR, 20(2)127--134
-
Sarwar:1996:EQ, 22(1)39--47
-
SASL, 19(3)205--211
-
Sassa, Masataka, 35(2)173--195
-
Sassa:2009:CEB, 35(2)173--195
-
SAwUML, 54(z)71--94
-
SC-SystemJ, 44(z)251--282, 45(z)251--282
-
scalable, 20(4)253--265, 40(1)19--35, 54(z)358--385
-
scale, 16(2)113--127
-
scale, large-, 21(1)39--48
-
SCAN, 14(4)239--254
-
scan, 14(4)239--254
-
Scandurra, Patrizia, 46(z)140--166
-
Scandurra, Patrizia, see Capelli, Steven
-
scanner, 10(2)127--146, 14(4)239--254
-
Scanning, 14(4)239--254
-
Scedrov, Andre, 38(2)158--180, 40(3)137--154
-
Scedrov, Andre, see Kanovich, Max,
see Nigam, Vivek
-
scenario, 16(1)65--79, 50(z)1--19
-
scene, 2(1)1--8
-
Schaeckeler, Stefan, 35(3)266--276
-
Schaeckeler:2009:OSS, 35(3)266--276
-
Schaefer, Ina, 48(z)89--111
-
Schaefer, Ina, see Seidl, Christoph
-
Schaerf, Andrea, 26(2)165--195
-
Schaerf, Andrea, see Cadoli, Marco
-
Schärli, Nathanael, 30(1)79--95, 31(3)143--164,
see Ducasse, Stéphane
-
Scharli:2004:BIP, 30(1)79--95
-
Schatz, Roland, 39(3)67--94
-
Schatz, Roland, see Prähofer, Herbert
-
schedule, 21(1)49--65
-
scheduled, 9(3)183--192, 36(3)250--267
-
scheduler, 9(3)193--202
-
scheduler-independent, 46(z)20--43
-
scheduling, 6(3)131--138, 7(1)11--20, 15(3)153--162, 16(1)65--79,
21(1)49--65, 22(2)165--179, 24(1)33--53, 36(2)158--202
-
scheduling, Re-, 33(3)168--178
-
Scheduling--Computer, 16(1)65--79
-
schema, 1(3)219--232, 1(3)255--273, 4(3)139--154, 10(3)189--209
-
schemata, 3(1)37--52, 22(2)95--113
-
scheme, 11(1)29--37, 11(3)143--153, 12(1)1--7, 12(1)47--66,
12(3)197--207, 14(3)205--224, 15(1)55--64, 15(2)109--125,
17(1)19--37, 17(4)251--267, 18(3)153--168, 19(4)235--245,
21(2)113--127, 22(1)39--47, 22(4)215--223, 23(1)25--42,
23(2)179--206, 25(2)89--112, 25(3)119--144, 49(z)62--81
-
Scheme-based, 15(4)225--249
-
Scheme-lambda, 17(1)19--37
-
Scheme-Like, 17(1)19--37
-
Scheme-like, 17(1)19--37
-
Scheuermann, Peter, 4(3)139--154
-
Scheuermann, Peter, see Schiffner, Gerd
-
Schewe, Klaus-Dieter, 54(z)297--315
-
Schewe, Klaus-Dieter, see Buga, Andreea
-
Schiffner, Gerd, 4(3)139--154
-
Schiffner:1979:MVA, 4(3)139--154
-
Schindler, Eugen, 44(z)24--47
-
Schindler, Eugen, see Erdweg, Sebastian
-
Schindler, Klemens, 44(z)24--47
-
Schindler, Klemens, see Erdweg, Sebastian
-
Schlichting, Richard D., 15(2)95--108
-
Schlichting, Richard D., see Hayes, Roger
-
Schmidt, David A., 19(4)213--233
-
Schmidt, David A., see Doh, Kyung-Goo
-
Schmidt, Thomas C., 45(z)105--131
-
Schmidt, Thomas C., see Charousset, Dominik
-
Scholliers, Christophe, 40(3)112--136
-
Scholliers, Christophe, see Van Cutsem, Tom
-
school, 21(3)191--200
-
Schorr--Waite, 19(2)91--103
-
Schöttle, Matthias, 54(z)139--155,
see Combemale, Benoit
-
Schultz, Ulrik Pagh, 48(z)1--2
-
Schultz, Ulrik Pagh, see Gokhale, Aniruddha
-
Schuster, Sven, 48(z)89--111
-
Schuster, Sven, see Seidl, Christoph
-
Schwartz, J. T., 1(2)161--194, 1(3)197--218, 2(1)21--25
-
Schwartz, Richard L., 3(2)75--94, 4(1)1--15
-
Schwartz:1975:OVHa, 1(2)161--194
-
Schwartz:1975:OVHb, 1(3)197--218
-
Schwartz:1976:WPS, 2(1)21--25
-
Schwartz:1978:PCD, 3(2)75--94
-
Schwartz:1979:SVA, 4(1)1--15
-
Schwarze, Herward, 3(3)193--201
-
Schwarze, Herward, see Bachmann, Wolfgang
-
science, 4(2)99--129, 21(3)191--200, 22(4)215--223
-
scientific, 15(1)1--26, 19(2)119--134, 35(3)217--240
-
scope, 7(2)61--67, 15(1)27--39, 18(4)251--271
-
scoped, 15(1)55--64
-
scoping, 15(1)55--64, 36(3)268--287, 47(z)189--210
-
Scott, Michael L., 16(3)209--233
-
Scott:1991:LDP, 16(3)209--233
-
screen, 17(3)169--184
-
scripting, 35(3)217--240, 37(3)132--150
-
SDAC, 54(z)406--426
-
SDL, 27(1)115--136
-
Seamless, 49(z)119--132
-
search, 3(1)31--35, 5(2)52--z, 19(3)205--211, 20(2)89--100,
21(2)113--127, 23(2)61--85, 23(2)161--178, 46(z)182--205,
47(z)153--169, 47(z)211--231
-
search-based, 47(z)151--152
-
searching, 10(2)75--89, 19(3)205--211, 21(2)113--127
-
seas, 44(z)114--140
-
Sebesta, Robert W., 14(2)99--108
-
Sebesta:1989:CPG, 14(2)99--108
-
SECD, 6(2)67--78
-
Second, 17(1)1--17
-
section, 42(z)2--21
-
Sectioned, 20(3)135--150
-
secure, 33(1)33--34, 39(1)1--24
-
security, 1(1)73--82, 20(2)117--126, 28(1)1--2, 28(1)101--127,
28(1)129--154, 30(3)231--258, 33(2)35--59, 49(z)1--35, 49(z)36--61
-
Seeheim, 21(1)1--16
-
segment, 5(2)115--129, 9(3)133--148, 20(4)213--238
-
Seidl, Christoph, 48(z)89--111
-
Seidl, Martina, 44(z)72--88
-
Seidl, Martina, see Kaufmann, Petra
-
Seidl:2017:GSP, 48(z)89--111
-
Seipel, Dietmar, 51(z)102--117
-
Seipel:2018:DSL, 51(z)102--117
-
Sekerinski, Emil, 51(z)90--101
-
Sekerinski, Emil, see Burton, Eden
-
selection, 4(2)99--129, 15(3)127--140, 17(4)269--282, 20(1)53--68,
21(2)113--127, 22(4)259--278, 28(3)289--305
-
selector, 14(1)53--60, 44(z)342--354, 45(z)342--354
-
self-adaptive, 37(1)2--23
-
self-checking, 23(1)43--58
-
self-documentation, 17(3)169--184
-
self-interpreters, 25(1)1--37
-
semantics-, 19(4)213--233
-
semantics-directed, 19(4)213--233
-
semi-algebraic, 47(z)19--43
-
Semini, Laura, 22(2)79--93
-
Semini, Laura, see Ambriola, Vicenzo
-
semistructured, 35(2)143--172, 35(4)422--434
-
sensitive, 11(2)85--104, 16(1)97--107, 20(2)101--116, 50(z)82--107
-
sensitive, Context-, 39(4)123--141
-
sensitive, context-, 18(4)241--250, 20(2)101--116
-
sensitive, type-, 20(2)101--116
-
sensitive, value-, 54(z)273--296
-
sensitivity, 18(4)251--271
-
sentences, 11(1)39--51
-
separate, 3(2)75--94, 21(1)39--48
-
separation, 23(2)179--206
-
separator, 19(2)135--155
-
Seque, 13(1)13--22
-
sequence, 5(2)52--z, 5(3)155--161, 8(1)1--14, 13(1)13--22, 15(1)41--54,
16(3)235--258, 20(2)127--134
-
sequence, load-, 11(1)29--37
-
sequence-control, 12(1)39--46
-
SequenceL, 24(1)1--32
-
sequencing, 3(1)13--30
-
sequential, 1(2)151--160, 8(3)95--111, 11(3)143--153, 11(3)155--160,
12(1)27--37, 13(1)31--47, 15(3)141--152, 18(1)17--30, 19(2)135--155,
19(3)185--203, 19(3)205--211, 19(4)247--259, 20(3)135--150,
22(1)27--38, 22(2)95--113, 22(2)181--192, 22(4)193--203
-
server, 16(3)209--233, 18(3)153--168, 25(2)114--115, 25(2)116--117
-
server, client-, 18(3)153--168
-
service, 22(2)181--192, 33(1)11--31, 33(3)168--178, 37(1)2--23,
54(z)95--118
-
service-oriented, 46(z)140--166
-
servicing, 28(4)327--351
-
SESPOOL, 2(3)75--91
-
set, 1(2)161--194, 1(3)197--218, 6(3)155--163, 9(2)89--96, 9(3)149--159,
12(2)123--143, 13(3)143--147, 14(1)53--60, 15(2)65--82,
17(3)169--184, 19(3)169--184, 20(1)1--23, 21(1)49--65,
21(2)101--112, 36(2)158--202, 47(z)19--43, 54(z)1--19
-
SETL, 1(3)197--218
-
shallow, 4(3)187--198, 44(0)143--165
-
Shang, Weijia, 35(3)266--276, 36(3)250--267
-
Shang, Weijia, see Philippidis, Cesar J.,
see Schaeckeler, Stefan
-
Shankar, Priti, 13(1)1--11
-
Shankar, Priti, see Haripriyan, H. K.
-
shape, 2(1)1--8
-
Shaqiri, Albert, 51(z)71--89
-
Shaqiri, Albert, see Cazzola, Walter
-
shared, 16(2)129--146, 20(3)135--150, 20(3)151--175, 20(4)253--265,
22(2)95--113, 22(4)205--214, 22(4)259--278, 28(4)327--351
-
shared-memory, 16(2)129--146
-
sharing, 2(1)27--43, 15(2)109--125, 36(2)158--202, 45(z)132--160
-
sharing, time-, 2(1)27--43, 12(2)109--121
-
Sharir, M., 5(3)141--153
-
Sharir, Micha, 6(1)35--46
-
Sharir:1980:SAN, 5(3)141--153
-
Sharir:1981:FIP, 6(1)35--46
-
Sharma, O. P., 1(3)233--253
-
Sharma:1975:SOP, 1(3)233--253
-
Shatz, Sol M., 25(2)55--87
-
Shatz, Sol M., see Gedela, Ravi K.
-
Sheard, Tim, 17(3)157--167
-
Sheard:1992:ITA, 17(3)157--167
-
Shekhar, K. H., 18(2)125--136
-
Shekhar:1993:LSS, 18(2)125--136
-
shelf, the-, 21(1)1--16
-
shell, 35(3)277--292
-
shellsort, 20(2)127--134
-
Shen, Bor-Yeh, 43(z)96--115
-
Shen, Bor-Yeh, see Chen, Jiunn-Yeu
-
Shen, Jun, 20(2)117--126
-
Shen:1994:ACP, 20(2)117--126
-
Shenoy, U. Nagaraj, 20(3)135--150
-
Shenoy:1994:APF, 20(3)135--150
-
Shift, 19(2)135--155, 19(3)169--184
-
shortcomings, 13(2)51--64, 14(3)137--152
-
Shortest, 14(1)11--23
-
shot, 33(3)179--192
-
should, 2(1)21--25
-
Shyamasundar, R. K., 15(3)177--192, 20(1)1--23
-
Shyamasundar, R. K., see Liu, Leo Y.,
see Liu, Leo YuHsiang
-
Sicák, Michal, 54(z)1--19
-
Sicak:2018:SSA, 54(z)1--19
-
side, 1(4)303--320, 21(3)129--146
-
side, client-, 49(z)133--151
-
Side-effect, 21(3)129--146
-
side-effected, 15(1)55--64
-
side-effects, 21(3)129--146
-
Sieber, Kurt, 20(4)253--265
-
Sieber, Kurt, see Rünger, Gudula
-
sieves, 16(1)65--79
-
signaling, 15(3)163--176
-
signature, 12(3)173--195
-
SIGPLAN, 45(z)161--162
-
Silva, Alberto, Rodrigues da, 43(z)139--155
-
Silva, Josep, 53(z)59--72
-
Silva, Josep, see Insa, David
-
Silvestre, B., 36(2)142--157
-
Silvestre:2010:FCE, 36(2)142--157
-
Simão, Adenilso, 35(3)322--339
-
Simao:2009:TLM, 35(3)322--339
-
SIMD, 22(2)165--179
-
similarity, 5(2)52--z, 19(2)79--89
-
Simmonds, Ian, 35(3)306--321
-
Simmonds, Ian, see Bloom, Bard
-
Simonin, Jacques, 54(z)156--182
-
Simonin:2018:AIC, 54(z)156--182
-
SIMPLE, 5(2)103--114
-
simple, 1(4)287--301, 3(2)115--126, 5(2)103--114, 19(3)169--184,
34(2)130--149, 38(2)181--198
-
Simplicity, 13(3)125--141
-
simplification, 23(2)61--85
-
SIMULA, 3(2)75--94, 9(2)107--131
-
Simula, 3(2)75--94, 8(1)15--25, 9(3)183--192
-
SIMULA-67, 9(3)183--192
-
Simulating, 25(4)189--210
-
simulation, 3(3)193--201, 5(3)163--189, 9(2)107--131, 9(3)183--192,
12(1)39--46, 14(2)83--92, 14(3)153--163, 15(4)225--249, 17(1)39--60,
20(1)1--23, 20(1)25--42, 20(1)43--51, 20(3)151--175, 21(3)129--146,
21(3)165--189, 21(3)191--200, 22(2)165--179, 23(2)87--120
-
Singh, Maninder, 50(z)1--19
-
Singh, Maninder, see Arora, Vinay
-
single, 1(2)105--119, 15(2)83--94, 16(3)209--233, 21(1)17--37,
33(3)179--192, 35(2)173--195
-
single, entry-, 15(2)83--94
-
single-user, 38(1)108--121
-
singleton, 45(z)1--15
-
SIR, 28(4)307--325
-
Sirjani, Marjan, 45(z)53--79
-
Sirjani, Marjan, see Jafari, Ali
-
SIS, 11(2)85--104
-
Sistla, A. Prasad, 30(3)99--137
-
Sistla:2004:ESR, 30(3)99--137
-
SITE, 17(1)75--82
-
site, 17(1)75--82
-
situation, 1(1)83--99, 18(1)31--55
-
Siva Ram Murthy, C., 20(1)43--51, 20(4)267--277
-
Siva Ram Murthy, C., see Pradeep, B.
-
size, 1(2)105--119, 15(1)27--39, 20(2)127--134, 35(3)266--276
-
Skeleton-based, 33(3)179--192
-
sketch-based, 25(1)1--37
-
Skillicorn, D. B., 17(1)61--66
-
Skillicorn, D. B., see Barnard, D. T.
-
skipping, 53(z)143--162
-
SL, 13(2)65--74, 14(2)93--98
-
SL5, 3(3)181--192
-
SLE, 44(z)1--2
-
SLIPS, 11(1)1--13
-
slips, 11(1)1--13
-
Slivnik, Bostjan, 50(z)108--126
-
Slivnik:2017:DLL, 50(z)108--126
-
slope, 54(z)528--543
-
SLR, 16(2)167--178
-
SLR1, 15(4)205--223
-
small, 11(1)1--13
-
Smalltalk, 21(2)67--79, 31(3)127--141, 32(2)85--86, 32(2)125--139,
32(4)185--202, 38(1)44--60
-
SMALLTALK-80, 21(2)67--79
-
smart, 40(2)53--72
-
Smetsers, Sjaak, 44(0)166--180
-
Smetsers:2016:DIH, 44(0)166--180
-
Smith, Jan M., 11(3)161--172
-
Smith, Jan M., see Petersson, Kent
-
Smith, V. J., Rayward-, 9(1)51--67, 10(3)211--224
-
snapshot, 19(4)261--276
-
SNOBOL, 13(3)149--170
-
Snobol, 14(3)153--163, 17(1)1--17
-
SNOBOL4, 3(1)13--30, 8(2)77--92, 13(1)23--29, 14(3)153--163, 15(1)41--54
-
Snobol4, 3(1)13--30, 8(2)77--92, 13(1)23--29, 15(1)41--54
-
Söderberg, Emma, 44(z)3--23
-
Soderberg:2015:DRT, 44(z)3--23
-
Soffa, Mary Lou, 8(1)15--25, 9(3)183--192
-
Soffa, Mary Lou, see Coon, Lawrence A.,
see Lafora, Fernando
-
Software, Software-, 16(1)19--37, 16(1)39--63
-
Software--Reliability, 14(1)1--9
-
Software--Software, 16(1)19--37, 16(1)39--63
-
Sogokon, Andrew, 47(z)19--43
-
Sogokon, Andrew, see Ghorbal, Khalil
-
SOLMAR, 3(3)193--201
-
Solmar, 3(3)193--201
-
Solmi, Riccardo, 44(z)24--47
-
Solmi, Riccardo, see Erdweg, Sebastian
-
Solomon, Marvin, 7(1)41--52
-
Solomon, Marvin, see Ramanath, M. V. S.
-
solution, 3(1)53--64, 8(2)69--76, 35(4)406--421, 39(3)67--94,
49(z)133--151
-
solve, 35(2)143--172
-
Solver, 53(z)121--142
-
solving, 14(3)137--152, 14(3)153--163, 22(1)27--38, 23(1)25--42,
23(1)43--58, 24(1)1--32, 26(2)165--195
-
solving, problem-, 25(3)119--144
-
Somé, Stéphane S., 54(z)544--585,
see Adesina, Opeyemi O.
-
Son, Tran Cao, 36(2)158--202
-
Son, Tran Cao, see Pontelli, Enrico
-
sonar, 3(3)193--201
-
Songprasop, Pornpan, 54(z)297--315
-
Songprasop, Pornpan, see Buga, Andreea
-
Soni, D., 8(3)139--159
-
Soni, D., see Ramanathan, J.
-
Sons, 25(2)113--113, 25(2)113--114, 25(2)114--115, 25(2)115--116,
25(2)116--117
-
sophisticated, 34(2)109--129
-
sort, 14(1)11--23, 22(1)39--47
-
sorting, 19(3)205--211, 20(1)25--42, 20(2)127--134, 22(1)39--47
-
sound, 3(3)193--201
-
soundness, 23(2)61--85
-
source, 1(2)139--150, 1(4)277--286, 2(4)179--186, 3(4)241--263,
9(3)203--208, 16(1)97--107, 16(3)197--207, 19(1)41--50,
19(3)157--168, 31(3)183--197, 38(1)44--60, 46(z)44--65,
47(z)211--231, 53(z)90--120
-
Souto, Sabrina, 54(z)427--450
-
Souto, Sabrina, see Braz, Larissa
-
Souza, Matheus, 54(z)95--118
-
Souza, Matheus, see Oliveira, Pedro
-
Sowa, Masahiro, 34(4)184--194
-
Sowa, Masahiro, see Canedo, Arquimedes
-
SP, 22(2)95--113
-
space, 3(3)163--179, 13(1)1--11, 19(2)91--103, 20(2)89--100,
20(3)135--150, 20(4)213--238, 22(2)79--93, 22(4)205--214,
23(2)61--85, 37(4)168--177, 54(z)358--385
-
spanning, 5(1)29--36
-
sparse, 40(3)99--111
-
Spec, 16(2)113--127
-
SPEC, NP-, 26(2)165--195
-
special, 13(1)23--29, 14(4)239--254, 19(2)63--64, 30(3)97--98,
32(2)85--86, 33(3)79--81, 39(4)121--122, 40(1)1--1, 42(z)1,
44(0)141--142, 44(z)1--2, 45(z)161--162, 45(z)163, 47(z)1--1,
47(z)151--152, 48(z)1--2, 49(z)174--175, 50(z)140--141, 52(z)63--64,
54(z)472--473
-
Special-Purpose, 17(3)155--156
-
special-purpose, 6(2)79--94
-
specialization, 18(3)197--216, 19(2)105--117, 36(1)2--15, 37(4)193--203,
40(2)37--52
-
specific, 16(1)97--107, 38(4)300--319, 49(z)133--151, 54(z)199--235
-
specific, Application-, 34(2)66--82
-
specific, application-, 43(z)69--95
-
specific, Domain-, 44(z)319--341, 45(z)319--341, 51(z)102--117
-
specific, domain-, 37(4)151--167, 39(3)67--94, 44(0)143--165,
44(z)89--113, 45(z)164--190, 49(z)152--173, 51(z)48--70,
54(z)252--272, 54(z)316--336
-
specification, 3(2)135--142, 4(3)171--185, 6(1)1--17, 7(2)89--102,
8(3)113--124, 10(1)63--73, 10(2)147--164, 10(3)189--209,
11(1)15--28, 11(3)161--172, 12(1)9--20, 12(3)173--195,
14(3)165--180, 14(3)193--204, 14(4)263--281, 15(1)55--64,
16(1)5--18, 16(1)19--37, 16(1)39--63, 16(1)81--95, 16(2)113--127,
16(2)147--165, 16(3)259--280, 17(1)67--74, 17(1)75--82,
17(2)101--131, 17(3)157--167, 18(2)137--151, 18(3)169--183,
18(4)251--271, 19(1)19--40, 20(1)1--23, 20(4)213--238, 21(1)1--16,
21(3)165--189, 22(1)1--13, 23(1)1--24, 26(2)165--195, 27(1)19--38,
46(z)20--43, 49(z)1--35
-
specification-PEARL, 35(3)277--292
-
specified, 16(3)197--207, 37(4)178--192
-
specify, 17(1)75--82
-
specifying, 5(1)37--55, 6(1)1--17, 21(3)165--189, 28(2)203--235
-
speculative, 19(2)119--134, 22(4)205--214
-
speed, 1(1)17--28
-
speeding, 41(z)21--41
-
speedup, 22(1)39--47, 22(2)115--142
-
SPG, 14(2)99--108
-
Spiliopoulou, Myra, 54(z)451--471
-
Spiliopoulou, Myra, see Pereira, Juliana Alves
-
spilling, 21(1)49--65
-
SPIN, 54(z)71--94
-
Spineless, 23(2)121--160
-
Spinellis, Diomidis, 41(z)1--20
-
Spinellis, Diomidis, see Karakoidas, Vassilios
-
SPITBOL, 2(4)171--178
-
split, 19(1)1--17
-
Spoto, Fausto, 29(3)45--73
-
Spoto, Fausto, see Hill, Patricia M.
-
Spragins, John, 4(2)99--129
-
Spragins:1979:ATM, 4(2)99--129
-
Spy, 38(1)16--28
-
SQL, 15(2)65--82, 25(2)114--115, 41(z)1--20
-
SR, 14(4)255--262, 15(3)163--176, 22(4)259--278, 28(4)307--325
-
SR-like, 29(4)75--100
-
Sreenivas, Ashok, 36(1)96--121
-
Sreenivas, Ashok, see Sukumaran, Srihari
-
Srikant, Y. N., 11(1)1--13, 13(1)1--11, 14(4)225--237, 15(4)193--204,
18(2)125--136, 19(3)169--184, 20(3)135--150, 20(3)151--175,
21(1)49--65
-
Srikant, Y. N., see Gehlot, Vijay,
see Haripriyan, H. K.,
see Murching, Arvind M.,
see Shekhar, K. H.,
see Shenoy, U. Nagaraj,
see Venugopal, R., \see{Viswanathan, N.
-
SSA, 46(z)167--181
-
S/SL, 13(2)65--74
-
St, 19(3)205--211
-
Staa, A., Von, 5(2)77--101
-
stack, 1(3)219--232, 8(1)15--25, 9(3)149--159, 12(3)145--162,
19(2)91--103, 35(3)266--276
-
stack-based, 19(2)65--78
-
stack-heap, 8(1)15--25
-
Stacked, 19(2)65--78
-
Stairmand, Malcolm, 15(4)225--249
-
Stairmand, Malcolm, see Kreutzer, Wolfgang
-
standard, 5(2)52--z, 6(3)139--153, 12(2)69--94, 20(1)1--23, 21(2)67--79,
23(1)43--58
-
standardization, 21(2)67--79
-
STAPLE, 1(1)61--71
-
Starkey, J., Denbigh, 2(3)75--91
-
StarMod, 6(3)131--138
-
Starmod, 6(3)131--138
-
state, 3(1)53--64, 5(2)52--z, 10(2)127--146, 10(2)147--164,
12(2)123--143, 14(1)53--60, 20(1)53--68, 22(1)1--13, 22(1)27--38,
27(4)163--202, 38(2)181--198, 45(z)132--160, 54(z)544--585
-
Stateful, 34(2)83--108
-
statelessness, 16(3)209--233
-
statement, 1(2)139--150, 1(4)303--320, 3(1)13--30, 3(2)135--142,
3(3)157--162, 5(1)1--28, 7(1)41--52, 9(3)203--208, 11(1)29--37,
15(3)163--176, 17(4)269--282, 54(z)512--527
-
static, 2(3)47--59, 5(1)37--55, 6(1)1--17, 10(1)1--22, 11(3)123--142,
18(4)251--271, 19(2)65--78, 19(2)79--89, 19(2)119--134,
19(3)205--211, 19(4)213--233, 22(4)259--278, 31(2)71--101,
35(2)173--195, 35(3)241--251, 46(z)20--43, 46(z)66--90,
47(z)104--129
-
statistical, 3(4)227--240, 45(z)53--79
-
statistics, 3(4)227--240
-
Steenken, Dominik, 43(z)116--138
-
Steenken, Dominik, see Besova, Galina
-
Stefanelli, C., 22(4)237--258
-
Stefanelli, C., see Ciampolini, A.
-
Stemple, David, 17(3)157--167
-
Stemple, David, see Sheard, Tim
-
Step, 43(z)41--68
-
stepping, 21(1)17--37
-
steps, 1(4)277--286, 23(2)61--85
-
stepwise, 33(3)134--167
-
Stetter, Franz, 9(3)203--208
-
Stetter:1984:MPC, 9(3)203--208
-
Stevens, M. P. J., 27(1)19--38
-
Stevens, M. P. J., see Geilen, M. C. W.
-
Stewart, R., 40(1)19--35
-
Stewart, R., see Maier, P.
-
Stewart, S. L., 1(1)61--71
-
Stewart:1975:SES, 1(1)61--71
-
Stiefeling, Holger, 15(2)65--82
-
Stiefeling, Holger, see Biskup, Joachim
-
Stievenart, Quentin, 49(z)62--81
-
Stievenart, Quentin, see Van Es, Noah
-
Stinckwich, Serge, 32(2)85--86
-
Stinckwich:2006:ISS, 32(2)85--86
-
stochastic, 7(3)125--146, 14(2)125--136
-
storage, 1(1)17--28, 8(1)15--25, 10(2)127--146, 12(3)145--162,
13(1)13--22, 13(2)75--93, 15(1)27--39, 15(2)83--94, 15(2)109--125,
16(2)129--146, 16(2)179--195, 19(2)135--155, 20(1)53--68,
20(3)135--150, 20(3)177--192, 20(4)253--265, 20(4)267--277,
21(2)101--112, 21(2)113--127, 22(2)115--142, 24(1)33--53
-
store, 15(2)83--94, 20(1)53--68
-
Storm, Tijs van der, 44(z)24--47, 48(z)39--67
-
Storm, Tijs van der, see Erdweg, Sebastian,
see Inostroza, Pablo
-
story, User-, 50(z)159--176
-
strategy, 7(2)61--67, 19(1)41--50, 35(1)31--47, 35(4)341--364
-
stream, 12(2)109--121, 13(1)13--22, 15(1)41--54, 15(2)109--125,
16(3)235--258, 18(1)31--55, 22(2)165--179, 35(1)2--20,
46(z)182--205
-
strict, 26(1)43--66
-
strictness, 19(2)79--89, 44(0)166--180
-
string, 1(1)83--99, 1(2)121--138, 3(1)37--52, 3(1)53--64, 5(2)65--76,
8(2)77--92, 13(1)23--29, 13(3)125--141, 13(3)149--170,
14(3)153--163, 16(3)259--280, 20(1)43--51, 22(4)225--235,
39(2)49--65
-
Strittmatter, Misha, 54(z)139--155
-
Strittmatter, Misha, see Combemale, Benoit
-
stroke, 5(2)52--z
-
strongly-typed, 18(3)169--183
-
Strothotte, Thomas W., 12(2)95--108
-
Strothotte:1987:SPL, 12(2)95--108
-
Strüber, Daniel, 49(z)196--215
-
Struber:2017:TBV, 49(z)196--215
-
structural, 4(4)209--226, 5(3)141--153, 13(3)109--123, 14(3)181--191,
19(2)91--103, 19(2)119--134, 47(z)170--188
-
structure, data-, 1(2)161--194
-
structured, 1(1)29--43, 1(1)61--71, 1(3)255--273, 2(1)9--19, 2(3)75--91,
3(4)209--226, 4(4)209--226, 5(2)77--101, 6(3)115--130, 7(2)89--102,
9(2)97--106, 10(1)23--36, 11(1)29--37, 11(2)55--63, 12(2)95--108,
13(2)51--64, 13(3)109--123, 16(1)39--63, 18(2)105--123,
20(3)151--175
-
structured, block-, 7(2)61--67
-
structured, well-, 10(1)23--36
-
structuring, 9(2)97--106, 11(2)55--63, 18(3)153--168, 37(3)113--131
-
students, 22(4)215--223
-
study, 2(3)47--59, 11(1)15--28, 16(1)39--63, 19(3)205--211,
20(2)127--134, 20(3)151--175, 28(3)237--272, 31(1)35--48,
32(2)140--156, 46(z)1--19, 47(z)189--210, 49(z)101--118,
52(z)43--62, 54(z)297--315, 54(z)528--543
-
studying, 51(z)22--47
-
style, 2(3)47--59, 3(1)1--11, 10(1)23--36, 12(1)1--7, 14(1)11--23,
15(1)55--64, 15(3)127--140, 17(1)19--37, 19(3)185--203,
21(3)129--146, 38(1)61--72
-
Style, Fp-, 11(2)55--63
-
style, fp-, 11(2)55--63
-
styles, 19(3)205--211
-
stylesheets, 37(2)76--111
-
Suazo, Dionel A., 29(1)1--13
-
Suazo, Dionel A., see Campos, Alvaro E.
-
sub, 18(2)125--136
-
/sub, 17(1)19--37
-
subexpressions, 35(4)341--364
-
sublanguage, 3(3)157--162, 20(1)25--42
-
sublist, 17(2)133--146
-
subroutine, 3(1)31--35, 3(1)37--52, 3(2)95--113, 3(2)115--126,
3(3)163--179, 3(4)241--263, 16(1)97--107, 16(2)129--146,
17(2)147--154, 19(2)91--103, 19(2)105--117
-
subset, 3(1)13--30
-
Subset-equational, 17(2)133--146
-
substitution, 1(4)287--301, 20(2)89--100, 23(2)161--178
-
substring, 8(2)77--92, 19(4)247--259
-
subsystem, 10(2)91--126
-
subtype, 9(2)71--87
-
subtyping, 22(4)215--223
-
suffix, 22(1)27--38
-
Sugiyama, Yuji, 12(1)9--20
-
Sugiyama, Yuji, see Torii, Koji
-
suitability, 13(1)1--11
-
suite, 54(z)236--251
-
suite, test-, 39(3)95--108
-
Sukumaran, Srihari, 36(1)96--121
-
Sukumaran:2010:DCG, 36(1)96--121
-
Sulír, Matús, 46(z)44--65, 49(z)101--118,
see Nosál, Milan
-
Sulir:2016:RCS, 46(z)44--65
-
Sullivan, J. E., 1(1)29--43
-
Sullivan:1975:EPS, 1(1)29--43
-
Sun, 16(1)5--18
-
Suntools, 16(3)197--207
-
Supercombinator, 54(z)1--19
-
supervenience, 38(1)73--97
-
supervisory, 12(3)145--162
-
supplied, user-, 16(2)167--178
-
support, 14(2)83--92, 15(1)41--54, 16(1)19--37, 16(3)209--233,
22(2)79--93, 22(4)237--258, 28(4)307--325, 31(3)199--218,
33(1)33--34, 35(3)306--321, 36(2)123--141
-
supported, 43(z)139--155
-
supporting, 9(1)1--23, 33(1)11--31, 44(z)355--365, 45(z)355--365
-
survey, 9(1)51--67, 17(4)213--239, 18(3)185--196, 30(3)139--169,
43(z)139--155
-
Sutîi, Ana Maria, 51(z)48--70
-
Sutii:2018:EMR, 51(z)48--70
-
Svenningsson, Josef, 44(0)143--165
-
Svenningsson:2016:CDS, 44(0)143--165
-
swapping, 38(1)1--15
-
Swiss, Thomas M., 21(1)39--48
-
Swiss, Thomas M., see Purtilo, James M.
-
switched, 47(z)44--61
-
symbiosis, 35(1)80--98
-
symbol, 1(2)105--119, 2(4)171--178, 10(2)127--146, 12(2)123--143,
16(2)167--178, 17(2)147--154, 17(3)169--184, 19(2)65--78,
19(2)79--89, 19(2)105--117, 19(3)169--184, 20(2)69--87, 21(1)1--16,
21(1)17--37, 21(1)49--65, 21(2)101--112, 22(1)27--38, 22(1)39--47,
22(2)95--113, 23(1)1--24
-
symbolic, 3(3)163--179, 3(4)241--263, 7(1)1--10, 7(1)41--52, 12(1)1--7,
14(4)263--281, 15(4)225--249, 18(3)197--216, 22(2)95--113,
40(1)19--35, 44(z)48--71, 54(z)512--527
-
Symes, D. Michael, 10(2)75--89
-
Symes:1985:POC, 10(2)75--89
-
SymGridPar2, 40(1)19--35
-
symmetry, 30(3)99--137
-
Symposium, 39(4)121--122, 40(1)1--1, 42(z)1, 45(z)163
-
synchronisation, 11(3)155--160, 14(4)255--262, 16(1)5--18, 22(1)15--26,
22(4)205--214, 22(4)259--278
-
synchronization, 8(2)51--60, 10(1)43--61, 11(3)155--160, 14(4)255--262,
16(1)5--18, 21(3)147--163, 22(1)15--26, 22(4)205--214,
22(4)259--278, 25(3)165--187
-
synchronous, 12(1)27--37, 15(3)163--176, 20(4)253--265, 23(1)1--24,
27(1)61--92
-
synchronous, bulk-, 33(3)111--133
-
synonyms, 17(3)169--184
-
syntactic, 1(1)17--28, 1(3)233--253, 2(4)179--186, 5(3)131--139,
6(2)67--78, 9(1)51--67, 9(3)161--182, 10(2)127--146, 11(1)29--37,
14(1)25--33, 14(2)99--108, 16(1)97--107, 17(1)61--66, 18(1)31--55,
20(4)213--238
-
syntactical, 3(1)53--64
-
syntax, 1(1)83--99, 1(3)233--253, 2(1)9--19, 3(1)13--30, 3(4)227--240,
4(3)131--137, 4(3)171--185, 5(1)37--55, 6(1)1--17, 6(2)79--94,
6(2)95--107, 10(2)127--146, 10(3)225--236, 11(2)85--104,
11(3)173--191, 13(2)65--74, 14(2)83--92, 14(2)93--98, 14(3)153--163,
14(3)205--224, 16(1)97--107, 17(3)169--184, 17(3)199--211,
18(3)169--183, 18(4)241--250, 18(4)251--271, 19(4)235--245,
20(2)101--116, 20(4)213--238, 20(4)239--252, 22(1)27--38,
22(4)215--223, 23(1)1--24, 24(2)73--98
-
Syntax/Semantic, 13(2)65--74, 14(2)93--98
-
Syntex, 14(2)93--98
-
synthesis, 18(4)241--250, 19(4)213--233, 27(1)115--136, 34(4)153--169,
47(z)44--61, 48(z)3--19
-
synthesized, 10(2)127--146
-
Synthesizing, 50(z)1--19
-
Syriani, Eugene, 46(z)106--139, 52(z)43--62
-
Syriani, Eugene, see Ergin, Huseyin
-
Syriani:2018:SMS, 52(z)43--62
-
Systemash, 1(2)139--150
-
systematic, 4(3)155--169, 46(z)206--235, 52(z)43--62
-
SystemJ, 36(4)317--344
-
SystemJ, SC-, 44(z)251--282, 45(z)251--282
-
Systems--Design, 15(3)163--176, 15(3)177--192
-
Systems--Knowledge, 15(2)65--82
-
Systems--Program, 13(2)95--105, 14(1)11--23, 14(3)193--204, 15(1)27--39,
15(3)127--140, 15(3)141--152, 16(1)81--95
-
Szabo, M. E., 14(2)125--136
-
Szabo:1989:PAL, 14(2)125--136