Last update: Sat Dec 3 02:02:50 MST 2022
Return to index directory
S
-
S, 4(2)165--177
-
Sabry, Amr, 6(3)289--360
-
Sabry:1993:RAP, 6(3)289--360
-
satisfaction, 7(2)195--210, 7(2)231--247
-
satisfy, 7(2)231--247
-
save, Callee-, 5(3)191--221
-
Scalable, 5(1)7--48
-
Scan, 3(2)135--170
-
Schemata, 6(3)259--288
-
Scheme, 0(0)184, 1(1)39--51, 2(3)179--396, 3(2)113--133, 3(3)245--288,
5(1)73--93, 5(1)95--104, 5(4)295--326, 7(4)291--314, 7(4)315--335,
8(1)5--32, 8(1)33--110, 8(1)111--182, 10(2)113--158, 10(3)201--222
-
Schmidt, David A., 10(3)237--271
-
Schmidt:1998:TBA, 10(3)237--271
-
Schneider, Thekla, 4(4)319--369, 4(4)399--404
-
Schneider, Thekla, see Cengarle, María Victoria
-
science, 7(2)231--247, 202(0)vi--440
-
scientific, 8(1)5--32, 10(2)101--111
-
scoping, 1(1)39--51
-
Search, 7(2)211--229
-
See, 6(3)361--380, 16(4)401--401
-
selection, 9(2)203--241
-
SELF, 4(3)187--205, 4(3)207--222, 4(3)243--281
-
Self-Applicable, 2(1)9--50
-
self-applicable, 0(0)124--140
-
self-applications, 2(1)9--50
-
self-contained, 1(1)11--37
-
self-knowledge, 1(1)11--37
-
semantic, 1(1)11--37, 7(4)291--314, 8(1)33--110, 8(1)111--182, 9(1)7--76,
9(2)153--179, 10(1)61--91, 10(3)237--271
-
semi-automatic, 0(0)124--140
-
sense, 1(1)11--37
-
Separation, 1(1)81--101
-
sequence, 7(2)231--247
-
series, 1(1)11--37
-
serious, 1(1)11--37
-
Sestoft, P., 0(0)124--140
-
Sestoft, P., see Jones, N. D.
-
Sestoft, Peter, 2(1)9--50, 8(3)189--z
-
Sestoft, Peter, see Jones, Neil D.
-
Sestoft:1995:GEF, 8(3)189--z
-
set, 5(3)133--156, 6(1)177--200, 7(2)231--247
-
setof, 5(3)133--156
-
Several, 1(2)147--164, 3(2)171--204
-
Shao, Zhong, 5(3)191--221
-
Shao, Zhong, see Appel, Andrew W.
-
shape, 7(2)231--247
-
shared, 4(3)207--222, 7(2)231--247
-
should, 1(1)39--51
-
showed, 1(1)11--37, 8(1)5--32
-
Side-effects, 8(4)293--341
-
SIMD, 6(1)201--220
-
Simple, 8(4)343--355, 9(2)181--202
-
simplicity, 4(3)187--205
-
simulation, 9(1)7--76, 10(3)237--271
-
Sitaram, Dorai, 3(1)67--99
-
Sitaram:1990:CDT, 3(1)67--99
-
smc, 1(1)39--51
-
Smith, 1(1)11--37
-
Smith, Randall B., 4(3)187--205
-
Smith, Randall B., see Ungar, David
-
Smith, Scott, 8(4)357--397
-
Smith, Scott, see Eifrig, Jonathan
-
Softcover, 3(1)101--102, 3(3)321--325
-
software, 1(2)165--184, 7(2)147--172, 7(2)231--247, 8(1)5--32,
8(1)33--110, 8(1)111--182, 9(2)181--202, 9(2)203--241,
10(2)101--111, 10(2)113--158
-
Software, Software-, 1(2)165--184
-
Software--Software, 1(2)165--184
-
solution, 5(3)133--156
-
solve, 5(3)133--156
-
Solving, 7(2)231--247
-
S{\o}ndergaard, H., 0(0)124--140, see Jones, N. D.
-
S{\o}ndergaard, Harald, 2(1)9--50, 8(3)189--z,
see Jones, Neil D., \see{Sestoft, Peter
-
Sonya, 2(2)163--165
-
source, 8(1)111--182
-
space, 1(1)39--51, 1(2)147--164
-
special, 0(0)184, 8(1)z--z
-
specialization, 2(1)9--50, 10(2)113--158
-
species, 1(1)11--37
-
Specification, 1(2)245--298, 1(2)299--394, 2(1)115--152, 3(1)21--37,
8(4)293--341
-
Speed, 7(2)231--247
-
Splitting, 4(3)283--310
-
Springer, Jonathan, 9(1)109--143
-
Springer:1996:SAI, 9(1)109--143
-
stack, 6(1)177--200
-
standard, 3(4)381--409, 8(3)191--208
-
Standards, 10(2)113--158
-
Stark, Ian, 9(1)77--107
-
Stark:1996:CML, 9(1)77--107
-
state, 0(0)184, 8(4)293--341, 8(4)357--397, 9(1)7--76
-
Static, 8(3)267--285
-
Statistical, 7(2)211--229
-
Stoller, L., 5(1)73--93
-
Stoller, L., see Kessler, R.
-
storage, 8(1)33--110, 8(1)111--182, 9(4)323--342
-
stored-program, 8(1)111--182
-
Strat, Thomas M., 7(4)251--290
-
Strat, Thomas M., see Karp, Peter D.
-
strategy, 1(2)147--164
-
strictness, 1(2)147--164, 9(1)109--143
-
Structure, 7(2)231--247
-
structures, 1(2)185--212, 7(2)147--172, 7(2)173--193, 7(2)195--210,
7(2)231--247, 7(4)251--290, 7(4)291--314, 8(1)33--110, 9(1)7--76,
9(2)153--179
-
studies, 8(1)5--32
-
style, 1(1)53--75, 5(3)191--221, 6(3)289--360, 7(1)57--82, 7(4)337--343
-
Subcontinuations, 7(1)83--110
-
subject, 0(0)124--140
-
SUBTYPEP, 5(3)157--190
-
succeed, 8(1)5--32
-
such, 1(1)11--37, 6(1)177--200
-
summarizes, 8(1)5--32
-
supervised, 0(0)184
-
support, 1(1)39--51, 4(2)143--154, 6(1)177--200, 10(1)39--60
-
Swanson, M., 5(1)73--93
-
Swanson, M., see Kessler, R.
-
Swanson, M. R., 10(1)5--38
-
Swanson, M. R., see Jacobs, J. H.
-
Swanson, Mark R., 5(1)95--104
-
Swanson:1992:CSR, 5(1)95--104
-
Swarup, Vipin, 8(1)33--110
-
Swarup, Vipin, see Guttman, Joshua D.
-
Sym, 7(2)231--247
-
SYM, MC-, 7(2)231--247
-
Sym, MC-, 7(2)231--247
-
Symbolic, 0(0)184, 4(2)165--177, 7(2)211--229, 7(2)231--247,
7(4)291--314
-
symbols, 7(4)315--335, 7(4)337--343, 8(1)33--110, 8(1)111--182,
9(2)181--202
-
Symp, 4(3)187--205
-
Synchronization, 7(2)173--193, 7(4)291--314
-
synopsis, 6(1)177--200
-
Syntactic, 5(4)295--326
-
syntax-directed, 8(1)111--182
-
system, 1(2)165--184, 1(2)227--244, 1(2)245--298, 1(2)299--394,
2(1)115--152, 3(2)171--204, 3(4)343--380, 4(3)187--205, 5(1)73--93,
6(1)177--200, 7(2)147--172, 7(2)173--193, 7(2)195--210,
7(2)211--229, 7(2)231--247, 7(4)251--290, 7(4)291--314, 8(1)33--110,
8(1)111--182, 8(4)357--397, 9(2)153--179, 9(2)243--277,
202(0)vi--440
-
Systems--Program, 1(2)147--164