Index file section S for higherordersymbcomput.bib

Last update: Sun Oct 15 02:16:54 MDT 2017

Return to index directory

S

Sabelfeld, Andrei, 14(1)59--91
Sabelfeld:2001:PMS, 14(1)59--91
Sabry, Amr, 14(4)387--409, 15(2)139--140, 20(4)403--429, 22(3)233--273
Sabry, Amr, see Ariola, Zena M., see Danvy, Olivier, \see{Xiao, Yong
safe, type-, 23(3)371--407
Safe-for-Space, 11(2)209--225
Salama, Cherif, 24(1)81--114
Salama:2011:SCC, 24(1)81--114
Sandewall, Erik, 12(1)105--113
Sandewall:1999:EUC, 12(1)105--113
Sands, David, 14(1)59--91
Sands, David, see Sabelfeld, Andrei
sanity, 24(1)81--114
Saraiva, João, 24(1)115--149, see Pardo, Alberto
Sarkar, Dipanwita, 18(3)299--326
Sarkar, Dipanwita, see Waddell, Oscar
Sasano, Isao, 25(1)127--163
Sasano:2012:ACV, 25(1)127--163
Scaife, N., 16(3)203--251
Scaife, N., see Loidl, H.-W.
Scala-Virtualized, 25(1)165--207
scanf, 24(4)311--340
Scenarios, 17(1)47--92
scheme, 11(1)7--105, 11(4)399--404, 11(4)405--439, 17(4)277--295, 18(3)245--269, 18(3)271--298, 18(3)299--326, 18(3)327--354, 18(3)355--370, 18(3)371--388, 20(1)73--122, 20(4)431--460
Schmidt, David A., 13(1)89--101, 20(3)319--332, 20(3)333--335
Schmidt:2000:IDC, 13(1)89--101
Schmidt:2007:STMa, 20(3)319--332
Schmidt:2007:STMb, 20(3)333--335
scientist, 22(4)295--298
Scott, Dana, 13(1)103--114
Scott:2000:SRS, 13(1)103--114
Scsh, 18(3)327--354
Sculthorpe, Neil, 23(2)227--271
Sculthorpe:2010:KCF, 23(2)227--271
SECD-machine, 20(3)319--332
Second, 14(2)173--219
Secure, 14(1)59--91, 15(2)209--234
Security, 20(1)3--35, 20(1)123--160
See, 6(3)361--380, 16(4)401--401, 24(3)239--279, 24(4)387--387
selection, 18(1)211--235
Selectors, 18(3)245--269
Self-Interpretation, 13(3)217--237
Semantic, 11(3)281--343
semantics, 13(1)135--152, 16(3)161--202, 16(4)297--339, 19(1)7--30, 19(2)231--262, 19(2)305--337, 19(4)415--463, 20(1)161--196, 20(3)319--332, 20(3)333--335, 23(4)409--431
semantics-based, 17(1)47--92
sensitive, Context-, 23(3)275--313
sensitive, Flow-, 21(4)411--442
separation, 24(4)341--385
sequence, 24(4)281--309
Sequential, 14(1)59--91
Serrano, Manuel, 18(3)243--244, 23(4)409--431
Serrano, Manuel, see Felleisen, Matthias
Serrano:2010:MTS, 23(4)409--431
server, 18(3)355--370, 20(4)431--460
Servers, 17(4)277--295
Sestoft, Peter, 21(1)1--3
Sestoft, Peter, see Lawall, Julia
Set--Based, 18(3)245--269
set-based, 18(3)245--269
sets, 19(2)283--304
sets, Magic-, 23(1)29--86
several, 16(4)379--400
Shan, Chung-chieh, 20(4)371--401, 24(4)311--340
Shan, Chung-chieh, see Asai, Kenichi
Shan:2007:SSD, 20(4)371--401
sharing, 22(1)67--80
Sharing-graphs, 20(3)295--318
Shewchuk, 16(4)379--400
Shi, Kun, 17(1)93--128
Shi, Kun, see Khoo, Siau-Cheng
Shift, 20(4)371--401
Shinohara, Ayumi, 25(1)39--84
Shinohara, Ayumi, see Kobayashi, Naoki
Shivers, Olin, 18(3)243--244
Shivers, Olin, see Felleisen, Matthias
short, 17(1)129--163
Short-Cut, 15(4)273--300
Shortcut, 24(1)115--149
Side-effect, 24(1)151--189
Siegel, Alan, 18(1)9--11
Siegel:2005:RBP, 18(1)9--11
Siek, Jeremy G., 20(3)271--293
Siek, Jeremy G., see Friedman, Daniel P.
sign, 16(4)379--400
signatures, 19(2)305--337
Silva, Josep, 21(1)147--192
Silva, Josep, see Ochoa, Claudio
Simmons, Robert J., 24(1)41--80
Simmons:2011:LAP, 24(1)41--80
Simon, Axel, 23(1)87--143
Simon:2010:TVP, 23(1)87--143
Simply, 15(1)57--90
simulation, 20(1)161--196, 20(4)371--401, 25(2)255--274
Singh, Anshuman, 23(3)275--313
Singh, Anshuman, see Lakhotia, Arun
single-stage, 16(4)379--400
Siskind, Jeffrey Mark, 21(4)361--376
Siskind:2008:NFM, 21(4)361--376
Sized, 14(2)261--300
Skalka, Christian, 21(3)239--282, 24(4)341--385
Skalka, Christian, see Liu, Yu David
Skalka:2008:TTE, 21(3)239--282
slicing, 13(4)315--353, 16(4)297--339, 21(1)147--192
Slind, Konrad, 21(4)377--409
Slind, Konrad, see Owens, Scott
slow., 16(4)379--400
Smith, Scott F., 15(4)301--348, 24(4)341--385
Smith, Scott F., see Liu, Yu David
Smith:2002:SDA, 15(4)301--348
SML, 16(4)379--400
software, 13(4)315--353, 17(4)297--345, 18(1)211--235, 23(2)191--226
solution, 22(3)275--291
S{\o}rensen, Morten Heine, 16(3)253--285, see G{\o}rtz, Inge Li
S{\o}rensen, Morten Heine B., 12(2)125--170, see Barthe, Gilles
Soundness, 15(1)57--90
source, 16(4)379--400
Space, Safe-for-, 11(2)209--225
Space-efficient, 23(2)167--189
sparse, 18(1)15--49
specialisation, 14(2)143--172, 21(1)5--35
specialization, 12(4)309--335, 13(3)161--178, 17(1)47--92, 17(1)93--128, 18(1)121--210, 21(1)37--58
specialized, Type-, 24(4)341--385
specializers, 21(3)283--309
specification, 15(4)301--348, 16(1)63--92, 20(1)3--35, 20(1)161--196, 23(2)145--166
Sperber, Michael, 18(3)327--354
Sperber, Michael, see Gasbichler, Martin
Spoto, Fausto, 19(4)415--463, 23(1)29--86
Spoto, Fausto, see Hill, Patricia M.
Spoto:2010:MSL, 23(1)29--86
squaring, 16(4)379--400
SSA, 21(3)333--358
Stack, 14(4)309--356
stage, single-, 16(4)379--400
staged, 16(4)379--400, 24(4)341--385
staging., 16(4)379--400
standard, 11(2)209--225, 14(4)309--356, 17(3)245--265, 19(1)7--30
Standard, Non-, 16(4)297--339
state, 19(1)101--124, 20(3)319--332
State-transition, 20(3)319--332, 20(3)333--335
static, 13(3)161--178, 16(1)37--62, 17(4)297--345, 18(3)245--269, 19(1)31--100, 20(4)371--401, 24(1)81--114
Steckler, Paul, 18(3)245--269
Steckler, Paul, see Meunier, Philippe
Steele Jr., G. L., 11(1)7--105
Steele Jr., G. L., see Abelson, H.
Steele Jr., Guy L., 11(4)399--404, 11(4)405--439, 12(3)221--236
Steele Jr., Guy L., see Sussman, Gerald Jay
Steele:1999:GL, 12(3)221--236
Stehr, Mark-Oliver, 20(1)3--35
Stehr, Mark-Oliver, see Cervesato, Iliano
Stoller, Scott D., 16(1)37--62
Stoller, Scott D., see Liu, Yanhong A.
Stone, Chris, 11(2)209--225
Stone, Chris, see Biagioni, Edoardo
storage, 13(1)119--129, 17(3)245--265
Stories, 22(4)331--332
Stoy, Joe, 13(1)115--117
Stoy:2000:CSF, 13(1)115--117
Strachey, 13(1)51--55, 13(1)65--67, 13(1)73--74, 13(1)75--76, 13(1)83--84, 13(1)85--88, 13(1)89--101, 13(1)103--114, 13(1)115--117
Strachey, Christopher, 13(1)11--49, 13(1)135--152
Strachey:2000:CMS, 13(1)135--152
Strachey:2000:FCP, 13(1)11--49
strategy, 12(1)7--45, 18(1)121--210
stricterness, 23(3)315--335
Strictly, 12(1)75--104
Strong, 16(3)253--285, 20(3)209--230
Strongly, 20(3)209--230
Structural, 25(2)275--310
structure, 18(1)211--235, 19(2)305--337
structured, 21(1)89--118
Study, 22(4)333--359
Stump, Aaron, 22(2)115--144
Stump:2009:DRM, 22(2)115--144
style, 11(2)177--208, 20(3)333--335, 20(4)371--401
substitution, 15(1)57--90, 19(2)263--282, 19(2)305--337, 20(1)37--72, 20(3)257--270
subtraction, 16(4)379--400
Subtyping, 12(3)237--282
such, 16(4)379--400
Südholt, Mario, 14(1)7--34, see Douence, Rémi
suitable, 16(4)379--400
Sumii, Eijiro, 14(2)101--142
Sumii:2001:HAO, 14(2)101--142
Sussman, G. J., 11(1)7--105
Sussman, G. J., see Abelson, H.
Sussman, Gerald Jay, 11(4)399--404, 11(4)405--439
Sussman:1998:FRS, 11(4)399--404
Sussman:1998:SIE, 11(4)405--439
Swierstra, S. Doaitse, 23(2)145--166
Swierstra, S. Doaitse, see Middelkoop, Arie
Swierstra, Wouter, 23(4)489--506
Swierstra:2010:MDT, 23(4)489--506
SXML, 18(3)355--370
symbolic, 18(3)355--370, 20(1)123--160, 23(3)337--370
Syntactic, 11(3)233--279, 13(1)57--63, 14(4)387--409
syntax, 19(2)197--230, 19(2)231--262, 19(2)263--282
synthesis, 16(1)63--92, 25(2)255--274
system, 15(4)301--348, 18(3)271--298, 19(2)231--262, 19(4)345--376, 20(1)161--196, 20(4)339--369, 21(4)411--442, 23(1)1--27, 23(2)145--166, 23(2)191--226, 25(2)275--310