Last update: Tue May 28 02:01:27 MDT 2024
Return to index directory
S
-
S, 10(5)501--508, 13(4)824--826
-
S1, 19(z)z--z
-
Sabel, David, 18(4)503--551
-
Sabel, David, see Schmidt-Schauss, Manfred
-
Sabelfeld, Andrei, 15(2)129--129
-
Sabelfeld, Andrei, see Abadi, Mart{\'i}n
-
Sabry, Amr, 8(1)1--22, 11(6)591--627, 12(6)617--622, 17(6)687--730,
28(z)z, 31(z)z
-
Sabry, Amr, see Dyvbig, R. Kent,
see Friedman, Daniel P.,
see Kiselyov, Oleg, \see{Moggi, E.,
see Swords, Cameron
-
Sabry:1998:WPF, 8(1)1--22
-
SAC, 15(3)353--401
-
safe, 4(4)515--555, 13(3)545--571, 26(z)z
-
safe, binding-, 26(z)z
-
safe, effect-, 30(z)z
-
safe, scope-, 31(z)z
-
safe, Type-, 14(6)681--695, 16(6)681--710, 19(1)107--142,
19(2)145--156
-
safety, 0(0)xxiii--402, 18(4)503--551
-
Sagonas, Konstantinos, 16(1)35--74
-
Sagonas, Konstantinos, see Gustafsson, Per
-
Saikawa, Takafumi, 31(z)z
-
Saikawa, Takafumi, see Affeldt, Reynald
-
Saito, Chieri, 18(3)285--331
-
Saito:2008:LFP, 18(3)285--331
-
Saleh, Amr Hany, 30(z)z
-
Saleh, Amr Hany, see Karachalias, Georgios
-
San, 24(2)419--421
-
Sandy, 30(z)z, 34(z)z--99999999
-
Sankar, Krishna, 19(2)259--261
-
Sankar:2009:BRP, 19(2)259--261
-
Sankel, David, 16(2)249--250
-
Sankel:2006:BRH, 16(2)249--250
-
Sanskrit, 15(4)573--614
-
Sarkar, Advait, 30(z)z
-
Sarkar, Advait, see Mccutchen, Matt
-
Sarkar, Dipanwita, 15(5)653--667
-
Sarkar, Susmit, 20(1)71--122
-
Sarkar, Susmit, see Sewell, Peter
-
Sarkar:2005:EPN, 15(5)653--667
-
Sartiani, Carlo, 16(4)621--661
-
Sartiani, Carlo, see Colazzo, Dario
-
satisfaction, 1(2)213--227, 11(5)557--587, 14(6)647--656
-
say, 0(0)xviii--471
-
SB, 14(5)594--597
-
Scagnetto, Ivan, 16(3)327--372
-
Scagnetto, Ivan, see Bucalo, Anna
-
Scaife, Norman, 5(3)345--382, 15(4)615--650
-
Scaife, Norman, see Michaelson, Greg
-
Scaife:2005:PSC, 15(4)615--650
-
Scala, 0(0)xvii--485, 0(0)z, 20(3)303--352, 22(6)854--855,
24(5)608--609, 30(z)z
-
scalable, 0(0)xvii--485, 26(z)z
-
scale, large-, 8(3)201--237, 32(z)z
-
scenarios, 0(0)xxiii--402
-
Schaathun, Hans Georg, 25(z)z
-
Schaathun:2015:ESP, 25(z)z
-
Schauss, Manfred, Schmidt-, 7(2)163--182, 18(4)503--551
-
scheduler, 26(z)z
-
scheduling, 4(1)65--75, 11(4)359--393, 26(z)z
-
Schema, 2654(0)xxii--398
-
schematic, 0(0)xvi--395, 22(2)219--221
-
Scheme, 0(0)xxiii--657, 8(4)335--365, 10(4)353--395, 12(2)159--182,
13(5)839--866, 14(5)475--488, 15(1)53--65, 18(1)47--86, 19(z)1--301,
24(6)675--716
-
schemes, 26(z)z
-
Schmid, 17(3)428--429
-
Schmid:2003:ISF, 2654(0)xxii--398
-
Schmidt-Schauss, Manfred, 7(2)163--182, 18(4)503--551
-
Schmidt-Schauss, Manfred, see Hutchison, Nigel W. O.
-
Schmidt-Schauss:2008:SNS, 18(4)503--551
-
Schneider, 17(6)813--814
-
Schneider, Klaus, 0(0)xiv--600
-
Schneider:2004:VRS, 0(0)xiv--600
-
Scholz, Sven-Bodo, 13(6)1005--1059
-
Scholz:2003:SAC, 13(6)1005--1059
-
school, 0(0)xviii--363, 10(5)501--508, 17(3)426--428
-
Schrijvers, Tom, 19(6)663--697, 21(4)333--412, 22(6)797--852, 29(z)z,
30(z)z
-
Schrijvers, Tom, see Karachalias, Georgios,
see Oliveira, Bruno C. D. S.,
see Pieters, Ruben P.,
see Vytiniotis, Dimitrios
-
Schrijvers:2009:MCP, 19(6)663--697
-
Schrijvers:2019:CSC, 29(z)z
-
Schultz, Patrick, 27(z)z
-
Schultz:2017:ADI, 27(z)z
-
Schumann, Johann, 13(3)483--508
-
Schumann, Johann, see Fischer, Bernd
-
Schupp, Sibylle, 20(3)271--302
-
Schupp, Sibylle, see Bernardy, Jean-Philippe
-
Schuster, Philipp, 30(z)z
-
Schuster, Philipp,
see Brachthäuser, Jonathan Immanuel
-
Schütz, Marko, 18(4)503--551,
see Schmidt-Schauss, Manfred
-
Schwerter, Felipe, Bañados, 26(z)z
-
Schwichtenberg, 11(4)433--436
-
Schwinghammer, Jan, 19(2)157--172
-
Schwinghammer:2009:CSM, 19(2)157--172
-
science, 0(0)viii--145, 0(0)viii--277, 0(0)xi--72, 0(0)xi--277,
0(0)xii--301, 0(0)xii--492, 0(0)xiv--427, 0(0)xiv--445,
0(0)xiv--600, 0(0)xv--240, 0(0)xvi--395, 0(0)xvii--485,
0(0)xviii--363, 0(0)xxiii--402, 0(0)xxiii--657, 0(0)xxvi--586,
0(0)x--212, 2(2)227--231, 2(3)365--365, 3(1)67--75, 9(1)105--111,
14(4)365--378, 18(3)421--422
-
scientific, 6(3)419--444, 27(z)z
-
scope, 0(0)xviii--471
-
scope-safe, 31(z)z
-
scoped, 21(3)235--286
-
Scott, 24(2)419--421
-
Scotty, 0(0)xxiii--402
-
scribe, 25(z)z
-
scripting, 0(0)xii--492, 10(1)1--18, 13(4)831--832
-
Sculthorpe, Neil, 24(1)113--127, 24(4)434--473
-
Sculthorpe:2014:KUR, 24(4)434--473
-
Sculthorpe:2014:WIW, 24(1)113--127
-
search, 1(1)71--89, 10(4)397--408, 11(5)557--587, 12(6)601--607,
19(3)469--487
-
SECD, 15(1)101--127
-
Seco, João Costa, 27(z)z
-
Seco:2017:CBL, 27(z)z
-
second, 6(2)375--377, 18(3)421--422, 21(1)115--117
-
second-order, 25(z)z
-
secret, 12(4)393--434
-
section, 0(0)xv--240, 0(0)xxiii--657, 26(z)z
-
secure, 15(2)131--177, 23(4)402--451, 31(z)z
-
security, 15(2)129--129, 15(2)249--291
-
see, 0(0)xvi--133, 9(4)463--469, 19(1)95--106, 19(2)262--262,
21(6)563--572, 25(z)z, 30(z)z, 32(z)z, 33(z)z--99999999
-
seeking, 0(0)xi--277
-
seen, 0(0)xviii--471
-
segment, 31(z)z
-
segment, densest-, 25(z)z
-
Segments, 31(z)z
-
Segura, Clara, 15(1)67--100
-
Segura, Clara, see Peña, Ricardo
-
Seidel, Eric L., 28(z)z
-
Seidel:2018:DWS, 28(z)z
-
Seif, 19(2)254--256
-
Sekar, R. C., 7(2)183--217
-
Sekar, R. C., see Kaser, Owen
-
Sekiyama, Taro, 34(z)z--99999999
-
Sekiyama:2024:SRP, 34(z)z--99999999
-
Seldin, 21(1)115--117
-
selection, 7(3)349--354
-
self-adjusting, 23(3)249--292, 24(1)56--112
-
self-interpretation, 1(2)229--233, 2(3)345--364
-
self-study, 0(0)xv--240
-
Selinger, Peter, 12(6)549--566
-
Selinger:2002:LCA, 12(6)549--566
-
semantic, 0(0)vi--142, 1(0)vi--142, 1(1)3--20, 1(4)417--458,
3(2)123--152, 4(2)127--206, 5(4)461--500, 5(4)501--547,
8(4)335--365, 8(6)543--572, 8(6)633--637, 9(1)1--31, 9(3)247--277,
10(3)227--244, 10(6)627--627, 12(0)vii--390, 12(4)295--357,
12(6)567--600, 13(3)453--454, 14(3)263--315, 17(3)424--426,
18(1)47--86, 19(1)47--94, 19(3)403--438, 19(6)699--722,
22(1)31--105, 23(3)249--292, 23(5)515--551, 24(4)524--527, 27(z)z,
28(z)z, 31(z)z, 32(z)z, 33(z)z--99999999, 2257(0)viii--349
-
Semàntica, 0(0)vi--142
-
semanticist, 20(1)71--122
-
Send, 32(z)z
-
sensitive, context-, 14(4)379--427
-
sensitivity, mixed-, 31(z)z
-
separation, 18(5)865--911, 19(5)581--631, 28(z)z
-
separation-logic-verified, 31(z)z
-
September, 23(2)226--227
-
sequence, 16(1)1--12, 27(z)z
-
sequent, 10(1)121--134, 28(z)z
-
sequential, 0(0)xxvi--586
-
Sergey, Ilya, 24(2)218--283, 27(z)z, 31(z)z
-
Sergey, Ilya, see Andersen, Kristoffer Just Arndal,
see Johnson, J. Ian
-
Sergey:2017:MHO, 27(z)z
-
serialisers, 33(z)z--99999999
-
series, 0(0)xxiii--402, 9(3)325--337, 14(1)125--128, 22(3)375--377
-
serious, 9(3)325--337
-
Serrano, 24(2)421--422
-
Serrano, Manuel, 6(4)621--655, 10(4)353--395, 13(5)839--866,
15(5)751--770
-
Serrano, Manuel, see Gallesio, Erick,
see Hartel, Pieter H.
-
Serrano:2000:BID, 10(4)353--395
-
Serve, 0(0)xvi--133
-
server, 0(0)xvi--133, 5(3)317--343, 10(1)1--18, 12(4)359--374,
15(3)403--430
-
server, client-, 29(z)z
-
service, 0(0)xvi--133
-
session, 20(1)19--50, 24(2)384--418, 27(z)z
-
Sestoft, 26(z)z
-
Sestoft, Peter, 7(3)231--264
-
Sestoft:1997:DLA, 7(3)231--264
-
set, 0(0)xvi--133, 0(0)xxvi--586, 2(4)505--513, 3(4)553--561,
7(6)593--612, 8(6)627--632, 11(3)319--346, 31(z)z
-
Setoids, 13(2)261--293
-
setting, 9(4)471--477, 13(6)1005--1059, 31(z)z
-
Setzer, Anton, 27(z)z
-
Setzer, Anton, see Abel, Andreas
-
several, 0(0)xvi--133, 0(0)xviii--471
-
Sewell, Peter, 17(4)547--612, 18(4)437--502, 20(1)71--122
-
Sewell, Thomas, 31(z)z
-
Sewell, Thomas, see O'Connor, Liam
-
Sewell:2007:AHL, 17(4)547--612
-
Sewell:2008:DRM, 18(4)437--502
-
Sewell:2010:OET, 20(1)71--122
-
Sexton, Marian E., 2(1)61--72
-
Sexton, Marian E., see Wainwright, Roger L.
-
Shah, Nimish, 14(5)588--589, 14(5)598--600, 16(2)247--249
-
Shah:2004:BRK, 14(5)588--589
-
Shah:2004:BRP, 14(5)598--600
-
Shah:2006:BRA, 16(2)247--249
-
Shaikhha, Amir, 28(z)z
-
Shaikhha:2018:PVP, 28(z)z
-
shallow, 13(2)415--451
-
Shan, Chung-Chieh, 19(5)509--543, 21(4)413--465, 21(6)617--662
-
Shan, Chung-Chieh, see Carette, Jacques,
see Fischer, Sebastian,
see Kameyama, Yukiyoshi
-
Shao, Zhong, 6(1)47--74, 13(3)647--676, 25(z)z
-
Shao, Zhong, see Appel, Andrew W.,
see Hoffmann, Jan, \see{Monnier, Stefan
-
shape, 23(5)515--551
-
Shared, 15(3)353--401
-
sharing, 6(5)667--698, 7(4)421--440, 17(2)207--214
-
Sharp, J. A., 6(1)143--170
-
Sharp, J. A., see Grant, P. W.
-
Shaw, Adam, 20(5)537--576, 22(4)382--438
-
Shaw, Adam, see Bergstrom, Lars,
see Fluet, Matthew
-
Sheard, 9(1)105--111
-
Sheard, T., 13(3)545--571
-
Sheard, T., see Calcagno, C.
-
Sheard, Tim, 14(5)547--587
-
Sheard:2004:TLT, 14(5)547--587
-
Sheeran, Mary, 21(1)59--114, 26(z)z
-
Sheeran, Mary, see Dreyer, Derek,
see Svensson, Bo Joel
-
Sheeran:2011:FDP, 21(1)59--114
-
sheet-defined, 30(z)z
-
Shields, Mark, 17(1)1--82
-
Shields, Mark, see Peyton Jones, Simon
-
Shifting, 21(6)617--662
-
Shivers, Olin, 16(4)547--582, 18(5)707--780, 18(5)821--864
-
Shivers, Olin, see Fisher, David,
see Might, Matthew
-
Shivers:2006:MRF, 16(4)547--582
-
Shivkumar, Bhargav, 31(z)z
-
Shivkumar:2021:RTM, 31(z)z
-
short, 0(0)xi--277, 13(4)797--814, 17(6)731--776, 21(2)209--213
-
shortest, 6(1)29--46
-
show, 0(0)xvii--485, 0(0)xxiii--402
-
showing, 0(0)xxiii--402
-
Shrinking, 7(5)515--540
-
Shriram, 14(2)249--251
-
side, 10(1)1--18, 10(3)227--244
-
Siek, Jeremy, 17(2)145--205
-
Siek, Jeremy, see Garcia, Ronald
-
Siek, Jeremy G., 31(z)z
-
Siek:2021:BCT, 31(z)z
-
Siek:2021:PCC, 31(z)z
-
Sieve, 14(6)759--763, 19(1)95--106, 21(6)563--572
-
sieves, 7(2)219--225
-
sigma, lambda-, 8(2)131--176
-
Signature, 22(3)375--377, 34(z)z--99999999
-
signatures, 4(3)285--335
-
Silbermann, Frank S. K., 2(3)273--321
-
Silbermann:1992:DTA, 2(3)273--321
-
Siles, Vincent, 22(2)153--180
-
Siles:2012:PTS, 22(2)153--180
-
similarity, 16(1)1--12
-
Simon, 8(6)633--637
-
Simonsen, Jakob Grue, 33(z)z--99999999
-
Simonsen, Jakob Grue, see Bhaskar, Siddharth
-
simple, 0(0)xvi--133, 1(3)245--285, 4(2)207--247, 5(4)583--592,
6(5)757--761, 15(5)669--677, 16(2)197--217, 16(3)269--280, 27(z)z
-
simpler, 19(5)509--543
-
simplification, 31(z)z
-
simplifying, 28(z)z
-
simply, 0(0)xi--277
-
Simpson, Alex, 17(3)424--426
-
Simpson:2007:BRP, 17(3)424--426
-
simulates, 29(z)z
-
Simulating, 12(4)375--392
-
simulation, 15(3)477--502
-
since, 0(0)xxiii--657
-
Sinclair, 6(2)375--377
-
Singh, Satnam, 24(2)131--132
-
Singh:2014:SID, 24(2)131--132
-
Single, 13(6)1005--1059
-
Sison, Robert, 31(z)z
-
Sison:2021:VSC, 31(z)z
-
situ, in-, 23(2)174--184
-
Sivaramakrishnan, K. C., 24(6)613--674, 26(z)z
-
Sivaramakrishnan:2014:MMA, 24(6)613--674
-
Sivaramakrishnan:2016:CSA, 26(z)z
-
sixth-order, 8(2)195--199
-
size, variable-, 30(z)z
-
Size-based, 28(z)z
-
sized, 19(3)287--310, 26(z)z, 33(z)z--z
-
Skalka, Christian, 18(2)179--249
-
Skalka:2008:TTE, 18(2)179--249
-
Skeleton, 26(z)z
-
skeletons, 15(4)615--650
-
skills, 0(0)xvi--133
-
skim, 0(0)xviii--471
-
Skorstengaard, Lau, 31(z)z
-
Skorstengaard:2021:SEW, 31(z)z
-
Skribe, 15(5)751--770
-
Slideshow, 16(4)583--619
-
Sloane, Anthony M., 19(2)253--254
-
Sloane:2009:BRS, 19(2)253--254
-
Slotosch, Oscar, 9(2)191--223
-
Slotosch, Oscar, see Müller, Olaf
-
small, 0(0)xxiii--657
-
Small-step, 19(6)699--722
-
Smallbone, Nicholas, 27(z)z
-
Smallbone:2017:QSB, 27(z)z
-
smallest, 0(0)xi--277
-
Smaragdakis, Yannis, 14(4)429--472
-
Smaragdakis, Yannis, see Mcnamara, Brian
-
Smetsers, Sjaak, 3(2)191--215
-
Smetsers, Sjaak, see Nöcker, Eric
-
SMIL, 0(0)xxx--439, 17(3)423--424
-
Smith, Frederick, 13(3)677--708
-
Smith, Scott, 18(2)179--249
-
Smith, Scott, see Skalka, Christian
-
Smith, Scott F., 7(1)1--72
-
Smith, Scott F., see Agha, Gul A.
-
Smith, V. J., Rayward-, 4(1)65--75
-
Smith:2003:CTB, 13(3)677--708
-
SML, 0(0)xvi--355, 11(2)253--262, 15(4)615--650
-
SMT, 22(1)31--105
-
snake, 23(2)145--160
-
Soccer-Fun, 21(1)1--19
-
sockets, 0(0)xvi--133
-
softcover, 2654(0)xxii--398
-
software, 0(0)xiii--515, 0(0)xvi--133, 0(0)xvi--350, 0(0)xvii--485,
0(0)xxiii--402, 0(0)xxvi--586, 1(2)191--211, 17(6)675--686,
19(2)253--254, 19(2)259--261, 22(2)217--219, 2654(0)xxii--398
-
solid, 5(3)415--442
-
solution, 0(0)xi--277, 25(z)z, 30(z)z
-
solve, 16(6)671--679
-
solver, 22(1)31--105
-
solving, 1(2)213--227, 2(1)61--72, 14(5)588--589, 18(2)251--283,
23(2)145--160
-
Sons, 5(1)131--134, 6(2)375--377, 7(2)227--229, 13(4)831--832,
14(5)598--600
-
S{\o}rensen, M. H., 6(6)811--838
-
S{\o}rensen, Morten Heine, 10(5)417--452,
see Barthe, Gilles
-
Sorensen:1996:PS, 6(6)811--838
-
sort, 0(0)xviii--471, 9(3)339--346
-
Sorted, 21(6)573--583
-
sorting, 22(3)300--374, 28(z)z
-
sound, 6(1)111--141, 16(4)375--414
-
soundness, 23(1)38--144
-
source, 0(0)xi--277, 0(0)xxvi--586, 8(4)367--412
-
Sozeau, Matthieu, 27(z)z
-
Sozeau, Matthieu, see Ziliani, Beta
-
+SP, 4(1)113--115
-
space, 2(1)73--79, 13(6)1077--1085, 20(5)417--461, 32(z)z
-
space, design-, 26(z)z
-
Spackman, Stephen P., 5(3)317--343
-
Spackman, Stephen P., see Ziff, Donald A.
-
Sparcl, 34(z)z--99999999
-
sparse, 2(1)61--72, 6(1)143--170
-
spatial, 15(4)543--572
-
special, 2(1)i, 3(4)389--389, 3(4)565--566, 5(3)279--281, 7(1)125--126,
7(3)355--356, 10(1)135--136, 10(3)319--319, 10(6)627--627,
11(4)437--437, 11(5)439--440, 12(4)293--294, 13(2)257--260,
14(1)1--2, 14(4)473--473, 14(6)601--601, 15(3)351--352,
20(3)211--212, 20(5)415--416, 21(4)331--332, 22(4)379--381,
23(4)355--356, 24(2)131--132, 24(6)612--612, 26(z)z, 27(z)z,
28(z)z
-
specialization, 3(3)251--281, 13(3)573--600
-
specialized, 10(6)561--605
-
specializers, 3(3)251--281, 4(4)499--514
-
specially, 0(0)xvii--485
-
Specific, Domain-, 21(2)215--217, 22(3)375--377
-
specific, Domain-, 0(0)xix--374
-
specific, domain-, 0(0)xix--374, 19(6)645--661, 32(z)z
-
specifically, 0(0)xviii--471
-
specification, 0(0)xv--240, 5(4)461--500, 6(2)375--377, 13(1)139--144,
13(3)509--543, 14(5)598--600, 27(z)z
-
specified, 0(0)xv--240
-
specifies, 0(0)xviii--471
-
Specifying, 3(3)365--387
-
Spector-Zabusky, Antal, 26(z)z, 31(z)z
-
Spector-Zabusky, Antal, see Breitner, Joachim,
see Hritcu, Catalin
-
speed, 7(5)541--547
-
speedup, 34(z)z--99999999
-
Spencer, 24(2)419--421
-
Sperber, Michael, 19(z)1--301, 23(6)701--712, 24(1)128--130,
24(6)612--612, 25(z)z, 30(z)z, 34(z)z--99999999
-
Sperber, Michael, see Eriksen, Marius
-
Sperber:2009:RRA, 19(z)1--301
-
Sperber:2013:CUF, 23(6)701--712
-
Sperber:2014:BRS, 24(1)128--130
-
Sperber:2014:SIR, 24(6)612--612
-
Sperber:2020:RFR, 30(z)z
-
Sperber:2024:RJF, 34(z)z--99999999
-
Spineless, 2(2)127--202
-
Spinellis, Diomidis, 19(1)27--45
-
Spinellis, Diomidis, see Frankau, Simon
-
spiral, 0(0)xx--472, 7(2)219--225
-
Spitters, Bas, 32(z)z
-
Spitters, Bas, see Annenkov, Danil
-
Spivey, J. Michael, 19(3)469--487
-
Spivey, Michael, 10(4)397--408, 22(6)747--756
-
Spivey:2000:CBF, 10(4)397--408
-
Spivey:2009:ACS, 19(3)469--487
-
Spivey:2012:WMG, 22(6)747--756
-
split, 30(z)z
-
splittable, 2(2)203--212, 25(z)z
-
splitting, 22(4)382--438
-
Spoonhower, Daniel, 20(5)417--461
-
Spoonhower:2010:SPP, 20(5)417--461
-
spreadsheet, 5(3)383--414, 11(2)155--206, 16(3)293--325, 17(1)131--143,
26(z)z, 30(z)z
-
Springer, 16(2)247--249, 17(3)423--424, 22(2)219--221
-
Springer-Verlag, 2(2)227--231, 8(5)537--542, 9(1)105--111, 9(3)347--354,
10(5)501--508, 11(4)433--436, 11(5)589--589, 14(2)249--251,
14(5)589--592, 14(5)597--598, 17(3)428--429, 17(6)813--814, 30(z)z
-
Springintveld, Jan, 6(5)757--761
-
Springintveld, Jan, see Bezem, Marc
-
SprintPrint, 14(2)247--249
-
SQL, 29(z)z
-
stable, 26(z)z, 29(z)z
-
stack, 6(1)47--74, 15(2)179--217, 21(2)159--207, 31(z)z
-
Stack-based, 12(1)43--88, 13(5)957--959, 15(2)131--177
-
stage, 21(6)617--662
-
stage, multi-, 26(z)z
-
staged, 13(3)647--676, 15(6)893--939, 19(5)509--543
-
Staging, 21(6)617--662
-
standard, 0(0)xiii--320, 0(0)xxiii--657, 0(0)x--212, 0(0)x--301,
3(4)391--429, 3(4)527--552, 5(1)131--134, 5(2)155--200,
5(3)345--382, 6(1)189--193, 7(4)447--449, 13(1)103--124,
16(2)250--251, 24(6)613--674, 31(z)z
-
Stansifer, Paul, 26(z)z
-
Stansifer:2016:RSM, 26(z)z
-
Starch, 23(3)351--352, 24(2)419--421, 25(z)z
-
Stärk, Robert F., 8(2)97--129
-
Stark:1998:WCU, 8(2)97--129
-
start, 0(0)xi--277, 0(0)xv--240, 25(z)z
-
starter-kit, 4(1)1--18
-
state, 0(0)xxiii--657, 15(2)249--291, 22(4)477--528, 23(1)38--144
-
State-of-The-Art, 3(4)565--566
-
State-of-the-art, 5(3)279--281
-
stateful, 24(2)284--315
-
statement, 0(0)xi--277
-
static, 0(0)xvi--133, 0(0)xvii--485, 4(2)127--206, 12(4)295--357,
15(5)703--749, 16(4)621--661, 28(z)z, 34(z)z--99999999
-
statistical, 13(3)483--508
-
Statman, Richard, 9(5)565--575
-
Statman:1999:APT, 9(5)565--575
-
Staton, Sam, 27(z)z
-
Staton, Sam, see Piróg, Maciej
-
StdGen, 13(1)149--152
-
Steckler, Paul, 12(2)159--182
-
Steckler, Paul, see Findler, Robert Bruce
-
Stefan, Deian, 27(z)z
-
Stefan:2017:FDI, 27(z)z
-
step, Big-, 19(3)311--333
-
step, big-, 19(6)699--722
-
step, Small-, 19(6)699--722
-
step, step-by-, 0(0)xvii--485
-
step-by-step, 0(0)xvii--485
-
step-wise, 0(0)xv--240
-
Stephen, 13(4)823--824
-
Steps, 0(0)xvii--485, 22(6)854--855
-
Sterling, 14(1)125--128
-
Sterling, Jonathan, 31(z)z
-
Sterling:2021:HOF, 31(z)z
-
Stewart, Robert, 26(z)z
-
Stewart:2016:TFT, 26(z)z
-
STG, 19(1)47--94
-
StkTokens, 31(z)z
-
stock, 2(2)127--202
-
Stone, 30(z)z
-
stop, non-, 0(0)xvi--133
-
store, 0(0)xvi--133
-
storefront, 0(0)xxiii--402
-
Stoyle, Gareth, 18(4)437--502
-
Stoyle, Gareth, see Sewell, Peter
-
Straaten, Anton, Van, 19(z)1--301
-
Strategic, 24(4)434--473
-
strategy, 8(1)23--60, 28(z)z
-
Stratford, Barney, 21(3)309--329
-
Stratford:2011:CLD, 21(3)309--329
-
stream, 0(0)xvi--133, 0(0)xxiii--657, 2(1)1--21, 2(2)203--212,
20(5)463--535, 24(2)166--217, 25(z)z
-
stream-processing, 18(3)333--371
-
Street, 18(4)553--564
-
Streicher, Th, 8(6)543--572
-
Streicher:1998:CLC, 8(6)543--572
-
strict, 3(2)191--215, 8(2)97--129, 21(2)209--213, 30(z)z
-
strict, non-, 8(2)97--129
-
strictness, 5(1)37--49, 6(1)75--109, 18(4)503--551
-
string, 0(0)xi--277, 0(0)xviii--471, 14(5)503--518
-
Strnisa, Rok, 20(1)71--122
-
Strnisa, Rok, see Sewell, Peter
-
strong, 1(2)155--189, 5(1)65--80, 6(5)699--722, 7(4)395--420,
7(6)613--660, 10(4)321--325, 15(5)669--677
-
Strongly-typed, 8(4)367--412
-
Strub, Pierre-Yves, 23(4)402--451
-
Strub, Pierre-Yves, see Swamy, Nikhil
-
structural, 0(0)xviii--471, 12(1)1--41, 13(6)1061--1075, 18(3)373--419,
21(3)235--286, 33(z)z--99999999
-
structure, 0(0)xvi--133, 0(0)xviii--471, 0(0)xxi--534, 0(0)xxiii--657,
2(1)1--21, 5(1)51--64, 9(5)577--578, 11(2)253--262, 11(5)525--556,
13(1)7--16, 13(4)826--828, 14(4)365--378, 16(2)197--217
-
structured, 8(4)335--365, 26(z)z
-
Strydonck, Thomas, Van, 31(z)z
-
Strydonck:2021:LCF, 31(z)z
-
Stuckey, 11(2)253--262
-
Stuckey, Peter, 19(6)663--697
-
Stuckey, Peter, see Schrijvers, Tom
-
Stuckey, Peter J., 17(1)83--129, 18(2)251--283
-
Stuckey, Peter J., see Sulzmann, Martin
-
student, 0(0)xi--277, 3(1)35--48, 3(1)49--65, 32(z)z
-
study, 0(0)xiii--448, 0(0)xv--240, 2(1)61--72, 6(1)47--74, 6(1)75--109,
10(3)227--244, 15(5)679--702, 17(2)145--205, 20(5)463--535, 26(z)z,
31(z)z
-
study, self-, 0(0)xv--240
-
Stump, Aaron, 26(z)z, 27(z)z
-
Stump:2016:ELE, 26(z)z
-
Stump:2017:CDL, 27(z)z
-
style, 0(0)xi--277, 9(2)147--166, 30(z)z, 33(z)z--99999999
-
Su, Chenghao, 34(z)z--99999999
-
Su:2024:SBG, 34(z)z--99999999
-
substitution, 1(4)375--416, 6(5)699--722, 7(4)395--420, 18(3)373--419,
25(z)z
-
subsumption, 19(2)157--172
-
subtypes, 1(3)245--285
-
subtyping, 10(2)137--166, 12(6)511--548, 16(6)751--791, 22(1)31--105,
30(z)z, 33(z)z--99999999
-
succinct, 0(0)xi--277
-
such, 0(0)xi--277, 0(0)xvi--133, 0(0)xxiii--402
-
Sudoku, 16(6)671--679
-
Suenaga, Kohei, 18(3)333--371
-
Suenaga, Kohei, see Kodama, Koichi
-
Sufrin, B. A., 6(2)365--373
-
Sufrin, B. A., see Leifer, J. J.
-
suitable, 0(0)xxvi--586
-
Sulzmann, Martin, 17(1)83--129, 18(2)251--283, 21(4)333--412,
33(z)z--99999999
-
Sulzmann, Martin, see Vytiniotis, Dimitrios
-
Sulzmann:2007:UFD, 17(1)83--129
-
Sulzmann:2008:HXT, 18(2)251--283
-
Sulzmann:2023:TDD, 33(z)z--99999999
-
Sumii, Eijiro, 26(z)z
-
Sumii, Eijiro, see Codish, Michael
-
Sumners, Rob, 18(1)15--46
-
Sumners, Rob, see Greve, David A.
-
Super-naturals, 32(z)z
-
supercompiler, 6(6)811--838
-
support, 13(6)1005--1059, 15(3)353--401, 17(2)145--205, 20(1)71--122,
20(3)303--352, 26(z)z
-
supporting, 0(0)xxiii--402
-
Sur, S., 7(1)103--123
-
Sur, S., see Hammes, J.
-
Surányi, Gábor M., 17(3)353--386
-
Suranyi:2007:OOC, 17(3)353--386
-
surface, 0(0)xviii--471
-
surjective, 6(2)299--327
-
surviving, 13(4)815--822
-
Sussman, 11(2)253--262, 13(4)826--828
-
Sussman, Gerald Jay, 0(0)xxi--534, 0(0)xxiii--657
-
Sussman, Gerald Jay, see Abelson, Harold
-
Sussman, Julie, 0(0)xxiii--657
-
Sussman, Julie, see Abelson, Harold
-
Sussman:2001:SIC, 0(0)xxi--534
-
Svensson, Bo Joel, 26(z)z
-
Svensson:2016:LHD, 26(z)z
-
Swamy, Nikhil, 23(4)402--451
-
Swamy:2013:SDP, 23(4)402--451
-
swapping, 22(3)275--299
-
Swierstra, S. Doaitse, 14(6)635--646, 19(1)1--16
-
Swierstra, S. Doaitse, see Baars, Arthur I.
-
Swierstra, Wouter, 18(4)423--436, 21(6)573--583, 23(3)229--248, 27(z)z,
30(z)z, 32(z)z, 33(z)z--99999999
-
Swierstra:2008:DTC, 18(4)423--436
-
Swierstra:2009:LBF, 19(1)1--16
-
Swierstra:2011:SVP, 21(6)573--583
-
Swierstra:2013:LPD, 23(3)229--248
-
Swierstra:2017:SIP, 27(z)z
-
Swierstra:2020:HBR, 30(z)z
-
Swierstra:2022:WKR, 32(z)z
-
Swierstra:2023:CCC, 33(z)z--99999999
-
Swords, Cameron, 28(z)z
-
Swords:2018:EAC, 28(z)z
-
Sydow, Björn von, 10(5)501--508
-
symbolic, 4(0)x--426, 12(0)vii--390, 27(z)z
-
symmetric, 2(4)505--513
-
Symposium, 2257(0)viii--349
-
synchronization, 11(4)359--393, 15(2)219--247
-
synchronous, 32(z)z
-
synchrony, 32(z)z
-
Synek, Dan, 4(1)117--123
-
Synek, Dan, see Augustsson, Lennart
-
syntactic, 0(0)xviii--471, 6(5)667--698, 7(4)357--394, 13(5)867--904,
23(1)38--144
-
syntax, 0(0)xviii--471, 11(4)395--410, 11(6)673--680, 13(1)125--138,
13(2)415--451, 18(1)87--140, 19(5)581--631, 22(4)614--704, 31(z)z
-
synthesis, 15(3)477--502, 17(3)428--429, 2654(0)xxii--398
-
Syropoulos, 22(6)854--855
-
Syropoulos, Apostolos, 0(0)xvii--485
-
Syropoulos, Apostolos, see Loverdos, Christos K. K.
-
system, 0(0)xii--301, 0(0)xiii--515, 0(0)xiv--427, 0(0)xiv--600,
0(0)xvi--133, 0(0)xviii--363, 0(0)xxiii--657, 0(0)xxvi--586,
1(2)125--154, 1(3)367--372, 2(1)1--21, 2(1)61--72, 3(1)77--92,
4(1)19--45, 4(1)77--88, 4(2)125--125, 5(1)1--35, 5(3)345--382,
6(2)329--354, 6(5)723--756, 8(1)89--96, 8(2)131--176, 9(6)675--698,
10(1)19--56, 10(3)269--303, 10(5)417--452, 10(6)607--623,
11(4)433--436, 12(2)91--132, 13(1)223--224, 13(2)295--316,
13(3)483--508, 14(1)21--68, 14(4)379--427, 14(5)519--546,
15(4)651--651, 15(5)703--749, 16(2)137--155, 16(2)219--246,
17(3)287--352, 17(6)813--814, 18(2)141--178, 18(3)421--422,
22(2)153--180, 22(2)217--219, 23(1)38--144, 24(6)612--612, 25(z)z,
26(z)z, 29(z)z, 30(z)z, 31(z)z
-
systematic, 0(0)xv--240, 0(0)xxvi--586, 22(4)705--746, 24(1)128--130,
28(z)z