Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
T
-
Tabatabai, Ali-Reza, Adl-, 39(6)267--276, 41(1)397--408, 41(6)26--37
-
table, 25(6)112--126, 36(1)50--58, 37(2)14--19, 37(11)142--160,
38_2s_65_75, 41(2)29--33, 41(6)84--95, 41(7)173--181
-
table-driven, 41(2)29--33
-
tablet, 41(8)29--33
-
tabular, 41(7)135--144
-
TACO, 36(12)35--49
-
tag, 41(6)144--157
-
tagless, 37(9)218--229
-
Taha, Walid, 36(10)74--85, 36(10)146--156, 37(9)218--229, 38(1)26--37,
39(10)41--42
-
Taha, Walid, see Ganz, Steven E.,
see Guerrero, Miguel,
see Pa{\v{s}}ali{\'c}, Emir,
see Wan, Zhanyong
-
Taha:2003:EC, 38(1)26--37
-
tail, 41(6)401--414
-
tail-recursive, 41(7)125--134
-
tailored, 41(7)1--1
-
Takada, Hiroaki, 37(7)65--74
-
Takada, Hiroaki, see Wakabayashi, Takayuki
-
take, 40(6)261--268, 41(1)194--205, 41(1)372--382, 41(1)409--421,
41(3)40--48, 41(4)24--29, 41(4)42--49, 41(6)14--25, 41(6)84--95,
41(9)1--12
-
Takeichi, Masato, 35(9)137--149
-
Takeichi, Masato, see Sasano, Isao
-
taken, 41(6)295--307
-
Takeuchi, Mikio, 38(11)187--204
-
Takeuchi, Mikio, see Ishizaki, Kazuaki
-
taking, 41(4)42--49, 41(6)387--400, 41(7)54--63, 41(7)163--172
-
TAL, 38(5)208--219
-
tales, 41(4)3--14
-
talk, 35(7)1--11, 35(9)130--130, 35(9)244--244, 36(10)1--1,
36(10)z--99999999, 36(10)z--z, 37(3)1--8, 37(3)98--107, 41(1)1--1,
41(1)269--269, 41(7)1--1, 41(8)6--9
-
tall, 41(4)3--14
-
Tallam, Sriraman, 38(1)85--96
-
Tallam:2003:BAG, 38(1)85--96
-
Taming, 38(5)26--37
-
Tamper, 35(11)168--177
-
tamper-resistant, 35(11)168--177, 38(7)209--219
-
Tan, Kai, 38(10)203--215
-
Tan, Yudong, 40(7)175--182
-
Tan:2003:UGD, 38(10)203--215
-
Tan:2005:WAU, 40(7)175--182
-
Tang, Chunqiang, 38(10)131--142
-
Tang, Chunqiang, see Chen, DeQing
-
Tang, Hong, 38(10)119--130
-
Tang, Hong, see Chu, Lingkun
-
tangled, 39(10)9--10
-
Tangwongsan, Kanat, 41(6)96--107
-
Tangwongsan, Kanat, see Acar, Umut A.
-
Tanter, Éric, 38(11)27--46
-
Tanter:2003:PBR, 38(11)27--46
-
Tao, Jie, 38_2s_76_85
-
Tao, Jie, see Schulz, Martin
-
Tarafdar, Ashis, 35(10)382--400
-
Tarafdar, Ashis, see Bacon, David F.
-
Tardieu, Olivier, 36(5)24--34, 36(5)254--263, 41(7)125--134
-
Tardieu, Olivier, see Edwards, Stephen A.,
see Heintze, Nevin
-
Tarditi, David, 36(1)50--58, 36(1)111--120, 39(4)554--567, 40(1)38--49,
41(6)14--25
-
Tarditi, David, see Chen, Juan,
see Fitzgerald, Robert, \see{Harris, Tim
-
Tarditi:2001:CGC, 36(1)50--58
-
Tarditi:2004:TTD, 39(4)554--567
-
target, 37(6)45--51, 41(6)26--37, 41(6)118--131, 41(7)153--162
-
targeted, 41(6)61--71
-
Tarr, Peri, 39(10)29--30
-
Tarr:2004:CME, 39(10)29--30
-
Tasiran, Serdar, 40(6)27--37
-
Tasiran, Serdar, see Elmas, Tayfun
-
task, Inter-, 37(7)149--154
-
task, multi-, 39(7)88--94
-
task-level, 38(10)61--72
-
tasking, multi-, 35(11)168--177
-
Tatarinov, Igor, 35(1)135--148
-
Tatarinov, Igor, see Fernández, Mary
-
Tatsuzawa, Hideaki, 40(9)320--330
-
Tatsuzawa, Hideaki, see Masuhara, Hidehiko
-
Taura, Kenjiro, 38_2s_119_131, 38(10)216--229
-
Taura, Kenjiro, see Endo, Toshio
-
Taura:2003:PPP, 38(10)216--229
-
TBNF, 41(4)16--23
-
TCC, 39(11)1--13
-
TCP, 41(1)55--66
-
TCP/IP, 41(1)55--66
-
teaching, 37(12)35--46, 38(6)9--13, 38(12)18--19, 41(3)30--39
-
team, 40(8)12--18
-
Techaubol, Ching-Ching, 36(11)223--240
-
Techaubol, Ching-Ching, see Duggan, Dominic
-
technical, 35(2)25--28, 36(9)z--99999999, 36(12)z--99999999,
40(2)z--99999999, 41(1)383--396, 41(9)50--61
-
Technically, 41(1)180--193
-
technique, per-, 41(6)252--262
-
technology, 36(12)1--1, 36(12)z--99999999, 37(11)373--385,
39(4)295--312, 41(1)1--1, 41(1)194--205, 41(1)269--269,
41(6)283--294, 41(7)2--11, 41(7)12--21
-
tedious, 41(1)180--193, 41(3)10--19, 41(6)228--238
-
telecom, 38_2s_65_75
-
temperature, 41(7)163--172
-
Templ, Josef, 40(7)31--39
-
Templ, Josef, see Farcas, Emilia
-
template, 36(12)35--49, 37(12)60--75, 41(1)295--308
-
Templates-based, 38(8)37--43
-
Tempo, 35(7)76--77
-
temporal, 37(1)283--294, 38(5)182--195, 38(11)27--46, 41(1)153--165,
41(5)39--45
-
temporally, 37(10)30--41
-
ten, 40(9)129--129, 40(11)4--16, 41(1)269--269, 41(4)3--14,
41(6)308--319, 41(8)10--14
-
ten-fold, 41(1)269--269
-
ten-year, 41(4)3--14
-
tend, 41(4)42--49, 41(6)181--192, 41(6)216--227
-
Tenuring, Pre-, 36(1)127--136
-
Terauchi, Tachio, 37(5)1--12, 38(5)129--140, 40(9)105--115
-
Terauchi, Tachio, see Aiken, Alex,
see Foster, Jeffrey S.
-
Terauchi:2005:WSE, 40(9)105--115
-
term, 41(1)1--1, 41(1)67--78, 41(1)115--126, 41(1)206--217,
41(1)334--345, 41(6)341--353, 41(6)376--386, 41(7)2--11,
41(7)113--124, 41(8)29--33
-
terminal, non-, 41(4)24--29
-
terminate, 25(6)112--126, 39(4)372--389
-
terminating, 40(9)192--203
-
termination, 36(3)81--92, 37(9)283--283, 39(6)35--46, 40(1)132--144,
40(9)254--267, 41(1)91--102, 41(1)383--396, 41(6)415--426,
41(9)111--121
-
test, 36(9)31--36, 36(11)96--107, 36(11)312--326, 37(8)25--34,
39(10)324--325, 41(1)194--205, 41(1)409--421, 41(4)36--41,
41(6)108--117, 41(7)2--11, 41(7)93--102, 41(8)21--28
-
tested, 41(4)16--23, 41(6)193--203
-
testing, 25(6)92--101, 35(1)1--13, 35(1)25--38, 35(9)268--279,
36(9)81--85, 37(4)16--16, 37(12)47--59, 39(4)360--371,
40(6)213--223, 40(8)34--39, 41(1)1--1, 41(1)55--66, 41(4)36--41,
41(5)30--38, 41(7)103--112
-
testing, unit-, 39(10)162--163
-
text, 37(10)1--1, 39(10)247--252
-
textbook, 38(2)47--56
-
textile, 39(7)10--19
-
textual, 41(7)113--124
-
textual/graphical, 41(7)113--124
-
the-art, state-of-, 41(6)332--340
-
the-fact', 'after-, 41(1)383--396
-
the-Fly, On-, 36(1)155--166
-
the-fly, On-, 37(12)108--119, 39(4)313--327
-
the-fly, on-, 35(5)274--284, 36(11)367--380, 38(10)179--190,
38(11)269--281, 40(6)180--189
-
the-World, Stop-, 41(6)354--363
-
Theiling, Henrik, 36(8)112--120
-
Theiling:2001:GDT, 36(8)112--120
-
Thekkath, Chandramohan, 35(11)168--177
-
Thekkath, Chandramohan, see Lie, David
-
theme, 41(8)6--9
-
themselves, 41(1)334--345, 41(2)29--33, 41(5)39--45, 41(7)72--82
-
Theobald, Michael, 40(1)122--131
-
Theobald, Michael, see Grumberg, Orna
-
theorem, 39(1)99--110, 40(9)66--77, 41(1)42--54, 41(1)115--126,
41(1)127--140
-
theoretic, type-, 39(9)40--53, 41(9)38--49
-
theoretical, 40(1)209--220, 41(1)16--29, 41(6)96--107, 41(9)26--37
-
theoretically, complexity-, 41(1)168--179
-
theory, 25(6)92--101, 25(6)112--126, 37(1)203--216, 37(1)307--318,
37(9)167--178, 37(9)191--205, 38(1)172--184, 38(9)127--139,
38(9)213--225, 39(10)322--323, 40(1)75--84, 41(1)67--78, 41(3)4--8,
41(6)376--386, 41(9)62--73
-
theory, meta-, 40(9)240--240
-
there, 35(11)168--177, 37(9)230--234, 39(12)22--31, 40(6)261--268,
41(1)67--78, 41(1)91--102, 41(1)309--319, 41(2)29--33, 41(3)10--19,
41(6)52--60, 41(6)401--414, 41(7)125--134, 41(7)199--208
-
thereby, 41(1)91--102, 41(6)354--363, 41(9)38--49
-
therefore, 41(1)194--205, 41(4)30--35, 41(5)39--45, 41(6)118--131,
41(6)132--143, 41(7)145--152
-
thermal, 41(7)163--172
-
Thery, Thomas, 39(7)202--210
-
Thery, Thomas, see Daveau, Jean-Marc
-
they, software-, 41(6)401--414
-
Thielecke, Hayo, 38(1)139--149, 41(1)309--319
-
Thielecke:2003:CET, 38(1)139--149
-
Thielecke:2006:FRA, 41(1)309--319
-
Thiemann, Peter, 37(1)233--244, 37(9)179--190, 38(9)15--26,
40(1)221--232
-
Thiemann, Peter, see Neubauer, Matthias
-
Thiemann, Pieter, 36(6)19--19
-
Thiemann:2001:CPP, 36(6)19--19
-
Thies, Michael, 39(7)126--135
-
Thies, Michael, see Kastens, Uwe
-
Thies, William, 36(5)232--242, 37(10)291--303, 38(5)12--25,
38(7)103--112, 40(7)115--126
-
Thies, William, see Gordon, Michael I.,
see Karczmarek, Michal,
see Lamb, Andrew A.,
see Sermulins, Janis
-
Thies:2001:UFS, 36(5)232--242
-
thin, 39(4)583--595
-
thing, 37(2)23--26, 37(4)21--26, 37(12)14--16
-
third, 41(4)16--23, 41(7)1--1
-
third-party, 40(10)247--263
-
Thomas, Dave, 39(10)145--147
-
Thomas, Dave, see Fraser, Steven
-
Thomborson, Clark, 38(1)106--114
-
Thomborson, Clark, see Carter, Larry
-
Thomson, John, 40(7)78--86
-
Thomson, John, see Franke, Björn
-
Thorsten, 41(1)1--1
-
though, 41(1)79--90, 41(6)72--83, 41(6)401--414
-
thousand, 41(1)55--66, 41(6)108--117
-
thread-level, 37(10)18--29, 38(10)1--12, 39(6)59--70
-
Thread-local, 38_2s_183_194
-
thread-private, 41(6)14--25
-
thread-safe, non-, 41(6)14--25
-
Thread-Specific, 36(1)18--24
-
threaded, 41(8)29--33
-
Threaded, Multi-, 36(1)18--24
-
threaded, multi-, 38(5)115--128, 40(6)261--268, 41(6)26--37,
41(6)308--319, 41(6)320--331, 41(9)136--147
-
threading, 40(6)261--268, 40(6)269--279
-
threading, multi-, 41(6)308--319
-
threat, 41(1)372--382
-
three, 41(1)55--66, 41(5)39--45, 41(6)72--83, 41(6)108--117,
41(6)118--131, 41(6)387--400, 41(7)1--1, 41(7)135--144
-
three-valued, 41(7)34--43
-
three-way, 41(9)124--135
-
threshold, 37(7)223--232, 41(6)263--271
-
through-models, software-, 38(7)133--143
-
throughput, 37(10)239--250, 41(6)72--83, 41(7)72--82
-
throw, 38(10)284--294
-
Thrun, Sebastian, 40(1)171--182
-
Thrun, Sebastian, see Park, Sungwoo
-
thumb, 37(7)56--64
-
thus, 41(1)1--1, 41(1)91--102, 41(1)103--114, 41(1)180--193, 41(2)18--24,
41(3)10--19, 41(6)169--180, 41(6)354--363, 41(6)364--375,
41(7)2--11, 41(7)12--21, 41(7)72--82, 41(7)83--92, 41(9)111--121
-
Tibble, Julian, 40(6)117--128, 40(10)345--364
-
Tibble, Julian, see Allan, Chris,
see Avgustinov, Pavel
-
tier, multi-, 40(1)221--232
-
tightly, 41(2)18--24
-
TIL, 39(4)554--567
-
time, area-, 41(7)182--188
-
time, binding-, 37(9)283--283
-
time, Compile-, 38(5)49--62, 38(5)91--102
-
time, compile-, 39(2)18--25, 41(6)144--157
-
time, deployment-, 38(11)374--387
-
time, Destruct-, 38(9)99--110
-
time, GC-, 41(6)14--25
-
Time, Just-In-, 35(10)294--310
-
time, just-in-, 36(11)180--195, 38(5)312--323, 38(8)37--43,
38(11)187--204, 41(1)397--408
-
time, linear-, 35(9)137--149, 41(6)38--51, 41(7)93--102
-
time, Link-, 39(7)211--220
-
time, poly-, 41(1)168--179
-
Time, Real-, 35(11)37--48, 36(5)125--136, 36(8)20--28,
36(8)214--222, 41(6)283--294
-
time, Real-, 36(8)11--19, 36(10)146--156, 39(4)205--216
-
time, Run-, 36(8)11--19
-
time, run-, 38_2s_1_12, 38(5)91--102, 38(12)44--56,
39(4)540--553, 39(4)656--669, 41(1)1--1, 41(1)218--231,
41(1)269--269, 41(6)108--117, 41(6)144--157, 41(6)252--262,
41(6)283--294, 41(8)21--28
-
time, Space-, 37(5)177--186
-
time-analysis, 40(5)45--54
-
time-based, 41(3)20--29
-
time-bound, 37(3)75--86
-
time-complexity, 41(1)168--179
-
time-errors, run-, 41(7)54--63
-
time-restricting, 41(1)168--179
-
time-triggered, 38(7)93--102
-
timeliness, 41(7)12--21
-
timeout, 36(7)44--52
-
timer, 41(7)72--82
-
timestamp, 35(11)25--36
-
Timestamped, 36(5)180--190
-
timing, 36(8)88--93
-
Tina, 40(2)5--10
-
tiny, 37(10)85--95, 40(8)19--28, 41(1)409--421
-
TinyOS, 40(7)40--49, 41(7)44--53
-
TinyStore, 41(7)22--33
-
Tip, Frank, 35(10)281--293, 38(11)13--26, 39(10)8--8, 40(10)265--279,
41(1)334--345, 41(3)4--8
-
Tip, Frank, see Bailey, Mark W.,
see Balaban, Ittai, \see{Fuhrer, Robert,
see Vaziri, Mandana
-
Tip:2000:SPB, 35(10)281--293
-
Tip:2003:RGU, 38(11)13--26
-
Tired, 40(4)5--8
-
titled, 41(9)13--25
-
Titzer, Ben L., 40(7)59--68
-
Titzer:2005:NPI, 40(7)59--68
-
Tiwari, Ashish, 41(6)376--386
-
Tiwari, Ashish, see Gulwani, Sumit
-
TMS320C6000, 36(8)138--144
-
to, leads-, 39(2)12--17
-
to, Points-, 36(5)47--58, 36(11)43--55, 38(5)103--114
-
to, points-, 35(5)47--56, 38(1)115--125, 38(10)25--36,
40(10)59--76, 41(6)144--157, 41(6)387--400, 41(7)54--63
-
to-date, up-, 41(6)72--83
-
to-detect, hard-, 41(6)144--157
-
to-point, point-, 41(6)193--203
-
to-source, source-, 39(10)212--213
-
today, 41(6)118--131, 41(6)132--143, 41(6)239--251, 41(6)354--363,
41(7)163--172, 41(9)1--12
-
Tofte, Mads, 37(5)141--152
-
Tofte, Mads, see Hallenberg, Niels
-
together, 41(1)16--29, 41(6)181--192, 41(6)295--307, 41(6)401--414,
41(6)415--426, 41(7)135--144, 41(9)26--37, 41(9)111--121
-
Togt, A. van der, 38_2s_65_75
-
Togt, A. van der, see Ykman-Couvreur, Ch.
-
tokens, 35(6)15--20
-
Toledo, Sivan, 41(7)22--33
-
Toledo, Sivan, see Spivak, Michal
-
tolerance, 35(11)257--268, 41(9)38--49
-
tolerate, 41(6)158--168, 41(9)38--49
-
Tolmach, Andrew, 39(9)90--102, 40(9)116--128
-
Tolmach, Andrew, see Hallgren, Thomas
-
Tolmach:2004:IFL, 39(9)90--102
-
Tolvanen, Juha-Pekka, 39(10)39--40
-
Tolvanen:2004:MDS, 39(10)39--40
-
too, 25(6)112--126, 39(4)372--389, 41(4)42--49, 41(8)34--43
-
TOOL, 39(10)198--199
-
Tool-Oriented, 35(3)39--48
-
toolsuite, 39(10)27--28
-
top, 41(1)397--408, 41(7)34--43, 41(8)16--20
-
top-down, 41(5)46--54
-
Torczon, Linda, 39(4)155--166, 39(4)283--294, 39(7)231--239,
40(7)69--77
-
Torczon, Linda, see Almagor, L.,
see Briggs, Preston, \see{Callahan, David,
see Cooper, Keith D.
-
Toro, Miguel, 35(12)24--32
-
Toro, Miguel, see Corchuelo, Rafael
-
Torp-Smith, Noah, 39(1)220--231
-
Torp-Smith, Noah, see Birkedal, Lars
-
Torrellas, Josep, 37(10)18--29, 38(10)49--60
-
Torrellas, Josep, see Fraguela, Basilio B.,
see Martínez, José F.
-
total, 41(1)206--217, 41(6)72--83, 41(6)364--375, 41(7)163--172
-
total, non-, 41(1)206--217
-
totally, 41(8)21--28
-
Touili, Tayssir, 38(1)62--73
-
Touili, Tayssir, see Bouajjani, Ahmed
-
toward, 35(10)253--263, 37(1)113--125, 37(3)9--18, 37(9)1--1,
37(11)331--342, 38(1)198--212, 38(5)155--167, 38(10)13--24,
38(12)34--43, 39(10)37--38, 39(10)164--165, 40(5)39--44,
41(6)84--95, 41(6)96--107
-
tower, 41(9)111--121
-
trace, 36(1)35--49, 37(12)18--24, 38(1)97--105, 40(10)345--364,
40(10)385--402, 41(1)16--29, 41(1)55--66, 41(1)67--78, 41(5)21--29
-
trace-based, 39(7)95--106
-
TraceBack, 40(6)201--212
-
track, 41(1)309--319, 41(9)13--25
-
tracked, 40(1)310--323, 41(1)153--165
-
tracking, 37(10)96--107, 39(11)85--96, 39(11)177--188, 41(1)79--90,
41(7)1--1
-
tractable, 41(1)67--78, 41(1)141--152, 41(1)153--165
-
trade, 41(6)364--375
-
trade-off, 37(5)177--186, 41(7)153--162
-
trade-offs, 41(6)341--353
-
tradeoff, 35(11)168--177, 37(10)96--107, 41(6)181--192, 41(6)272--282,
41(7)44--53, 41(7)72--82
-
tradition, 41(1)359--371
-
traditional, 41(1)180--193, 41(1)194--205, 41(1)245--256, 41(1)334--345,
41(4)42--49, 41(6)84--95, 41(6)204--215, 41(7)22--33, 41(7)83--92,
41(7)113--124
-
traditionally, 41(6)26--37, 41(7)72--82
-
traffic, 41(7)72--82
-
train, 38_2s_157_170
-
trait, 38(11)47--64, 39(10)275--282
-
Transactors, 40(1)195--208
-
transducer, 41(6)295--307
-
transfer, 39(1)1--13, 41(7)34--43, 41(7)64--71, 41(7)173--181,
41(9)38--49
-
transform, 36(10)z--99999999, 39(4)642--655, 40(6)315--326,
41(7)113--124, 41(7)135--144
-
transformer, 35(9)186--197, 40(9)192--203, 41(5)30--38
-
transforming, 35(5)169--181, 38(10)250--259
-
transient, 41(9)38--49, 41(9)136--147
-
transistor, 41(9)38--49
-
transition, 38(1)38--49, 40(1)132--144, 41(7)113--124
-
translate, 41(6)118--131
-
translating, 37(3)131--142, 38(6)30--39, 39(9)115--125, 41(1)295--308
-
translation, 35(5)83--94, 35(7)41--51, 35(10)146--165, 37(10)133--143,
41(4)16--23, 41(7)113--124, 41(8)29--33, 41(9)26--37, 41(9)38--49
-
translation-based, 40(7)87--94
-
translational, 41(4)16--23
-
translator, 36(4)48--55, 41(4)16--23
-
translucency, 41(9)87--98
-
transmitted, 41(7)2--11, 41(7)12--21
-
transparent, 35(5)1--12, 35(7)75--75, 40(7)31--39
-
Transport, 38(7)144--152
-
Trap, 35(11)139--149
-
traps, 35(11)168--177
-
Traulsen, Claus, 41(7)113--124
-
Traulsen, Claus, see Prochnow, Steffen
-
traversal, 36(11)270--282
-
treat, 39(2)7--10, 41(3)20--29
-
treated, 41(1)372--382, 41(6)401--414
-
treatment, 41(9)62--73
-
tree, 35(2)11--16, 36(1)167--177, 36(8)112--120, 38(3)62--73,
39(3)31--37, 40(1)233--246, 40(1)271--282, 41(1)103--114,
41(1)153--165, 41(4)16--23, 41(6)52--60, 41(6)263--271,
41(7)145--152
-
tree-parsing, 41(6)52--60
-
Treinen, Ralf, 37(1)203--216
-
Treinen, Ralf, see Su, Zhendong
-
tremendously, 41(6)118--131
-
trend, 36(8)175--180, 41(7)135--144
-
Triantafyllis, Spyridon, 41(6)61--71
-
Triantafyllis:2006:FUW, 41(6)61--71
-
Tridirectional, 39(1)281--292
-
Trifonov, Valery, 35(9)82--93, 37(1)217--232
-
Trifonov, Valery, see Shao, Zhong
-
Trifonov:2000:FRI, 35(9)82--93
-
triggered, Time-, 38(7)93--102
-
triggering, 41(6)332--340
-
Trimaran, 41(7)163--172
-
Trinder, Phil, 35(9)162--173
-
Trinder, Phil, see Baker-Finch, Clem
-
Tripakis, Stavros, 38(7)153--162
-
Tripakis, Stavros, see Caspi, Paul
-
trivial, 37(8)19--24
-
Trofin, Mircea, 39(10)58--59, 39(10)312--313
-
Trofin:2004:FRRa, 39(10)58--59
-
Trofin:2004:FRRb, 39(10)312--313
-
true, 41(1)67--78, 41(1)153--165, 41(7)163--172, 41(8)21--28
-
trust, 41(7)12--21
-
trusted, 37(10)108--120
-
try, 41(2)29--33
-
trying, 41(6)272--282
-
Tschantz, Matthew S., 40(10)211--230
-
Tschantz:2005:JAR, 40(10)211--230
-
Tse, Stephen, 39(9)115--125
-
Tse:2004:TDP, 39(9)115--125
-
Tseng, Tony, 39(10)6--7, 39(10)156--157
-
Tseng, Tony, see Aldrich, Jonathan
-
TTA, 38(7)153--162
-
Tullsen, Dean M., 35(11)234--244, 40(6)269--279
-
Tullsen, Dean M., see Quiñones, Carlos García,
see Snavely, Allan
-
tuned, 41(6)239--251
-
tuned, well-, 41(6)26--37
-
tuning, 41(6)239--251, 41(7)163--172
-
tunneling, 39(5)58--65
-
tuple, 41(5)39--45
-
Turbak, Franklyn, 36(10)14--25
-
Turbak, Franklyn, see Dimock, Allyn
-
turn, 41(1)218--231, 41(8)21--28, 41(9)13--25
-
turn-off, 41(1)194--205
-
turned, 41(7)113--124
-
turning, 41(6)52--60
-
Tuya, Javier, 41(4)36--41
-
Tuya:2006:PGS, 41(4)36--41
-
TV, 41(1)180--193
-
twelve, 41(1)194--205, 41(7)125--134
-
twenty-year, 25(6)112--126
-
twice, 41(6)158--168, 41(7)125--134
-
Two-Edge, 35(7)65--72
-
Two-Level, 36(10)86--97
-
two-level, 39(10)27--28
-
two-part, 41(4)3--14, 41(8)10--14
-
type, Class-is-, 36(6)50--59
-
type, pointer-, 41(6)84--95
-
type, simple-, 41(1)2--15
-
type-2, 41(1)168--179
-
Type-base, 36(3)54--66
-
type-based, 35(5)219--232, 36(10)62--73
-
type-checking, 41(1)1--1
-
type-containment, 40(9)130--143
-
type-correct, 41(1)2--15
-
type-directed, 39(1)64--76, 39(4)554--567
-
type-flexible, 41(9)99--110
-
Type-indexed, 36(3)261--275
-
type-inference, 40(9)130--143, 41(9)50--61
-
type-passing, 41(1)1--1
-
type-preserving, 36(3)166--178, 41(9)38--49
-
Type-Safe, 36(10)14--25, 36(10)74--85
-
type-safe, 35(9)58--67, 37(1)128--139, 38(3)13--25, 41(6)252--262,
41(9)99--110
-
type-safety, 40(6)261--268, 41(6)72--83
-
type-theoretic, 39(9)40--53, 41(9)38--49
-
typeability, 41(1)397--408
-
typeable, 41(1)79--90
-
typechecking, 37(9)110--122, 38(11)224--240, 39(1)281--292, 41(1)1--1
-
typed, 35(9)68--81, 36(10)169--180, 37(9)218--229, 38(1)126--138,
38(1)139--149, 38(1)198--212, 38(3)98--108, 38(3)109--122,
39(1)64--76, 39(1)89--98, 40(1)38--49, 40(6)96--106, 41(1)257--268,
41(1)270--282, 41(1)309--319, 41(1)397--408, 41(6)144--157,
41(9)26--37, 41(9)38--49, 41(9)87--98
-
Typed, Dynamically-, 39(4)295--312
-
typed, simply-, 41(1)245--256, 41(9)38--49
-
typed, statically-, 39(8)54--60
-
typed, well-, 41(1)383--396, 41(7)54--63, 41(9)38--49
-
typeful, 38(9)275--286, 38(10)260--268
-
types, ATR1-, 41(1)168--179
-
types, data-, 38(9)39--50
-
typestate, 39(3)46--55, 40(10)77--96
-
typical, 41(1)383--396, 41(9)50--61
-
typically, 41(1)1--1, 41(1)372--382, 41(6)61--71, 41(6)72--83,
41(6)239--251, 41(6)354--363, 41(6)387--400, 41(7)64--71,
41(7)72--82, 41(7)83--92, 41(7)103--112, 41(7)113--124,
41(7)135--144
-
typing, 36(3)248--260, 37(9)157--166, 38(3)74--85, 39(1)306--317,
39(4)412--428, 40(9)156--167, 41(1)79--90, 41(1)269--269,
41(1)309--319, 41(9)38--49, 41(9)99--110
-
typing, sub-, 41(1)180--193
-
Tyson, Gary, 41(7)64--71
-
Tyson, Gary, see Kreahling, William
-
Tyson, Gary S., 41(7)83--92
-
Tyson, Gary S., see Kulkarni, Prasad A.