Index file section T for toplas.bib

Last update: Sat Oct 12 02:04:31 MDT 2024

Return to index directory

T

T, 16(6)1661--1674, 35(1)4--4
t, 19(5)726--750
T-definition, 14(2)127--144
T2, 35(1)3--3
T3E, Cray-, 20(6)1195--1222
Tabareau, Nicolas, 44(2)7--7
Tabareau, Nicolas, see Lennon-Bertrand, Meven
Tabatabai, Ali-Reza, Adl-, 22(3)431--470
table, 4(2)149--178, 5(2)127--163, 6(4)546--572, 9(2)257--276, 13(1)150--178, 13(3)295--314, 16(3)843--871, 17(1)1--15, 17(3)461--486, 17(4)672--689, 20(1)116--165, 20(5)980--1013, 22(6)973--1001, 30(6)33--33, 39(4)17--17
Table-Drive, 2(1)18--41
table-driven, 4(1)21--36
tableau, 16(3)843--871
tabled, 20(3)586--634
table/debugging, symbol-, 32(6)23--23
tables, hash-, 38(2)4--4
tabling, 20(3)586--634, 31(6)21--21
tackle, 31(3)9--9, 36(1)1--1, 38(2)5--5, 43(1)2--2
tackled, 20(2)344--387, 22(1)162--186
tackling, 42(3)15--15
TaDA, 43(4)16--16
tag, 13(2)237--268, 30(4)18--18
tagging, 13(2)237--268
Taha, 42(1)2--2
Tai, Kou-Chung, 1(2)295--320
Tai:1979:NSG, 1(2)295--320
tail, 4(2)295--322, 18(6)752--779
Tail-Call, 19(4)568--585
tail-call, 19(4)568--585, 21(5)914--947
tail-recursion, 42(3)13--13
tail-recursive, 26(6)1029--1052
tailored, 28(2)256--289, 30(4)22--22, 38(3)9--9
Tailored-List, 6(1)118--125
taint, 41(3)18--18, 43(2)6--6
tainted, 41(3)18--18
take, 5(2)127--163, 13(1)1--20, 16(3)775--797, 16(4)1215--1247, 16(5)1449--1466, 16(6)1811--1841, 17(3)487--506, 17(3)535--559, 18(4)454--476, 19(1)188--222, 20(1)1--50, 20(6)1131--1170, 22(1)87--128, 22(2)416--430, 22(4)638--672, 22(4)673--700, 22(5)816--860, 27(6)1097--1146, 28(2)290--330, 30(5)25--25, 31(5)17--17, 32(4)12--12, 32(4)13--13, 32(4)14--14, 33(1)4--4, 35(2)8--8, 38(1)2--2, 39(2)8--8
Take, Give-N-, 22(5)816--860
Takechi, Masato, 19(3)444--461
Takechi, Masato, see Hu, Zhenjiang
taken, 4(1)44--82, 14(1)1--27, 17(2)394--429, 17(3)431--447, 19(1)188--222, 21(1)46--89, 22(1)162--186, 22(3)490--505, 22(3)506--539, 36(2)6--6
Takeuchi, Mikio, 41(3)15--15
Takeuchi, Mikio, see Grove, David
Takikawa, Asumu, 35(3)11--11
Takikawa, Asumu, see Strickland, T. Stephen
taking, 31(1)2--2, 34(4)15--15, 41(1)2--2
Takisaka, Toru, 43(2)5--5
Takisaka:2021:RRS, 43(2)5--5
TAL, 21(3)527--568
Tale, 43(2)7--7
Talpin, 22(4)701--771
TALs, 32(3)7--7
Tamaki, 16(4)1081--1096
Tan, Gang, 32(3)7--7, 45(2)9--9
Tan, Gang, see Ahmed, Amal, \see{Jia, Xiaodong
Tan, Kai, 31(3)9--9
Tan, Kai, see MacDonald, Steve
Tan, Tian, 42(2)10--10
Tan, Tian, see Li, Yue
Tanenbaum, 5(3)499--499, 5(3)499--500
Tanenbaum, Andrew S., 4(1)21--36, 5(3)499--500
Tanenbaum:1982:UPO, 4(1)21--36, 5(3)499--499, 5(3)499--500
Tanenbaum:1983:TCT, 5(3)499--499, 5(3)499--500
Tang, Hong, 22(4)673--700
Tang:2000:PTR, 22(4)673--700
tangible, 41(3)18--18
Tangwongsan, Kanat, 32(1)3--3
Tangwongsan, Kanat, see Acar, Umut A.
Tanter, Éric, 36(4)12--12, 40(4)16--16, 42(2)11--11, 43(4)14--14, 44(2)7--7, 45(2)8--8, see Abate, Carmine, see Garcia, Ronald, see Lennon-Bertrand, Meven, see Toro, Matías
Tardieu, Olivier, 29(2)8--8, 41(3)15--15
Tardieu, Olivier, see Grove, David
Tardieu:2007:DLS, 29(2)8--8
tardiness, 23(1)73--103
target, 4(1)21--36, 4(3)496--517, 7(4)560--599, 9(2)257--276, 9(3)367--389, 14(3)299--338, 15(4)632--658, 16(2)205--258, 16(4)1215--1247, 16(6)1768--1810, 18(3)300--324, 19(6)916--941, 20(4)869--916, 22(1)129--161, 28(1)134--174, 29(5)29--29, 32(3)7--7, 32(4)15--15, 34(1)5--5, 35(1)5--5, 36(1)3--3, 36(4)14--14, 37(2)6--6, 38(2)4--4, 39(3)11--11, 40(1)2--2, 42(1)1--53, 43(1)1--1
target-level, 43(1)1--1
targeted, 17(4)561--575, 19(4)586--616, 20(4)724--767, 22(5)932--972
Tarifa, S. Lizeth Tapia, 46(1)3--3
Tarifa, S. Lizeth Tapia, see Din, Crystal Chang
Tarifa, Silvia Lizeth Tapia, 46(3)9--9
Tarifa, Silvia Lizeth Tapia, see Boer, Frank de
Tarjan, 3(2)126--143, 16(3)370--386, 18(6)649--658, 19(4)557--567, 20(6)1265--1296, 21(2)175--188, 22(5)816--860
Tarjan, Robert Endre, 1(1)121--141
Tarjan, Robert Endre, see Lengauer, Thomas
Tarm, Michael, Sartin-, 37(1)2--2
Tarski, Knaster-, 31(4)15--15
Tasiran, Serdar, 24(1)51--64
Tasiran, Serdar, see Henzinger, Thomas A.
task, 3(1)49--59, 7(4)501--538, 8(4)491--523, 9(2)125--163, 12(4)643--669, 15(4)659--680, 16(4)1215--1247, 16(6)1768--1810, 17(1)47--62, 17(2)233--263, 17(2)264--292, 17(4)600--634, 17(5)691--703, 19(3)525--555, 20(6)1131--1170, 20(6)1195--1222, 21(2)189--239, 21(4)790--812, 22(3)506--539, 29(6)33--33, 31(6)22--22, 34(1)6--6, 35(1)3--3, 35(3)9--9, 36(3)10--10, 37(3)10--10, 40(2)5--5, 40(3)10--10, 40(4)14--14, 41(1)2--2, 41(2)10--10, 41(2)13--13, 41(3)14--14, 41(3)15--15, 41(3)19--19, 41(4)21--21, 44(1)3--3, 45(2)10--10, 46(2)8--8
task, event-, 41(1)1--1
task, task-to-, 41(1)1--1
task-and, 20(6)1131--1170
task-event, 41(1)1--1
task-granularity, 41(3)19--19
Task-Level, 17(4)600--634
task-level, 17(4)600--634, 20(3)483--545
Task-Parallel, 35(1)3--3
task-parallel, 18(4)454--476, 35(1)3--3, 36(3)10--10, 41(3)19--19
task-to-task, 41(1)1--1
tasking, 12(4)643--669
taskwait, 35(1)3--3
taste, 7(2)183--213, 22(5)861--931
Tautschnig, Michael, 36(2)7--7
Tautschnig, Michael, see Alglave, Jade
taxonomy, 28(1)175--205, 31(6)20--20
Taylor, 16(1)35--101, 41(1)2--2
Taylor, Stephen, 16(3)577--604
Taylor, Stephen, see Foster, Ian
tcc, 21(2)324--369
TCP/IP, 30(4)22--22
teach, 16(3)577--604
teaching, 15(1)36--72
technical, 3(1)112--112, 3(1)112--113, 4(1)120--122, 4(1)122--123, 4(4)650--667, 5(1)122--122, 5(3)499--499, 5(3)499--500, 5(3)500--501, 6(3)432--439, 7(1)62--79, 7(1)176--181, 8(3)406--407, 8(4)547--576, 10(1)178--188, 10(2)338--342, 10(3)503--504, 10(4)633--634, 10(4)635--640, 11(4)598--632, 11(4)666--668, 12(1)135--138, 12(1)139--141, 13(4)626--629, 13(4)630--630, 13(4)631--632, 13(4)633--633, 15(1)206--208, 15(2)357--365, 18(2)175--234, 21(3)677--701, 22(2)265--295, 28(5)795--847, 31(5)19--19, 34(1)6--6, 35(1)4--4, 41(2)13--13
technically, 19(3)462--491, 30(5)27--27, 31(4)13--13, 37(4)12--12
techniques,, 41(4)22--22
techniques., 16(4)1156--1214, 31(3)12--12
technology, 18(4)477--518, 19(3)525--555, 20(2)274--301, 20(4)869--916, 21(4)747--789, 27(6)1049--1096, 30(6)32--32, 39(4)17--17
tedious, 21(4)790--812, 28(3)517--575, 36(3)10--10
Teitelbaum, Tim, 5(3)449--477, 8(4)577--608, 20(3)546--585
Teitelbaum, Tim, see Horwitz, Susan, see Liu, Yanhong A., \see{Reps, Thomas
Tel, Gerard, 15(1)1--35
Tel:1993:DDT, 15(1)1--35
telecommunication, 39(1)5--5
Temam, Olivier, 17(4)561--575
Temam, Olivier, see Fricker, Christine
template, 20(1)51--115, 30(4)22--22, 33(3)11--11, 40(1)1--1
template-based, 40(1)1--1
Templin, F., 7(1)176--181
Templin, F., see Wall, D.
temporal, 4(3)455--495, 6(1)68--93, 6(2)239--253, 8(2)244--263, 11(1)147--167, 14(4)521--573, 16(3)872--923, 16(5)1543--1571, 17(1)157--179, 18(4)424--453, 19(4)617--638, 20(1)51--115, 21(5)977--1027, 22(1)87--128, 27(6)1344--1395, 30(5)29--29, 31(4)14--14, 33(5)15--15, 37(3)9--9, 45(3)19--19
temporal-logic, 6(1)68--93, 16(5)1512--1542
temporal-ordering, 21(5)977--1027
temporarily, 28(5)942--965, 32(4)12--12
temporary, 20(6)1297--1322, 21(3)627--676, 28(6)1145--1177, 30(4)21--21
Temps, William H., 40(3)10--10
Temps, William H., see Florence, Spencer P.
tempting, 16(4)1097--1113
Ten, 3(4)431--483, 41(3)18--18
tend, 31(3)12--12, 45(2)8--8
Teng, Shang-Hua, 17(1)123--156
Teng, Shang-Hua, see Chatterjee, Siddhartha
tension, 28(5)908--941
tensor, 19(5)751--803, 39(2)9--9, 44(2)10--10
TensorFlow, 44(2)10--10
Tentative, 5(4)596--619
tenuring, 14(1)1--27
Terauchi, Tachio, 30(3)15--15, 30(5)27--27
Terauchi:2008:CCC, 30(5)27--27
Terauchi:2008:WSE, 30(3)15--15
term, 4(1)44--82, 4(1)83--112, 4(2)258--282, 4(3)382--401, 4(3)402--454, 4(3)496--517, 6(2)159--174, 8(1)109--139, 8(4)524--546, 8(4)547--576, 9(4)491--542, 10(2)204--214, 11(4)633--649, 13(1)21--51, 13(1)99--123, 13(1)124--149, 15(4)575--631, 15(4)659--680, 16(1)35--101, 16(1)151--174, 16(2)175--204, 16(3)456--492, 16(3)493--523, 16(3)607--648, 16(3)727--774, 16(4)1215--1247, 16(4)1279--1318, 16(4)1361--1398, 16(5)1411--1430, 17(1)157--179, 17(2)366--393, 17(4)600--634, 18(1)73--108, 18(3)325--353, 19(5)639--684, 20(3)635--678, 21(2)189--239, 21(5)948--976, 28(3)389--428, 28(5)795--847, 28(5)848--907, 31(3)10--10, 31(4)13--13, 31(4)16--16, 32(5)19--19, 32(6)22--22, 33(2)7--7, 33(5)16--16, 34(1)1--1, 35(1)2--2, 36(1)2--2, 38(1)2--2, 39(1)4--4, 40(1)1--1, 40(3)12--12, 41(1)4--4, 41(2)11--11, 41(3)16--16, 41(4)20--20, 43(1)4--4, 43(3)9--9, 44(2)7--7
term's, psi-, 16(4)1279--1318
term, long-, 4(4)527--551
term, short-, 18(2)139--174
term-rewriting, 4(1)83--112, 16(4)1215--1247, 20(3)679--706, 20(4)768--844, 22(1)45--86
termed, 37(3)10--10
terminal, 4(4)585--600, 13(1)150--178
terminate, 15(5)771--794, 16(3)1024--1050, 20(4)724--767, 31(3)10--10, 32(3)8--8, 32(5)17--17, 40(2)7--7, 41(2)10--10
terminate., 31(3)10--10
terminating, 16(2)205--258, 16(4)1081--1096, 31(3)10--10, 32(3)8--8, 41(2)10--10
terminating, left-, 16(4)1081--1096
termination, Non-, 40(1)1--1
termination, non-, 40(2)5--5, 40(3)11--11
termination-insensitive, 39(3)10--10, 40(4)16--16
termination-sensitivity, 42(1)3--3
terminationash, 32(5)16--16
terminology, 30(4)23--23
terms, psi-, 16(4)1279--1318
test, 4(2)258--282, 4(4)563--584, 5(4)641--655, 6(4)527--545, 9(4)491--542, 10(2)204--214, 13(4)626--629, 13(4)630--630, 14(4)574--588, 16(1)3--34, 16(4)1248--1278, 17(2)228--232, 19(3)427--443, 22(2)265--295, 27(5)819--856, 28(2)207--255, 28(2)256--289, 30(6)33--33, 31(6)20--20, 32(2)4--4, 32(4)15--15, 34(2)7--7, 38(3)10--10, 38(4)14--14
tested, 21(2)286--323, 22(6)973--1001, 29(1)3--3, 31(3)10--10, 32(5)16--16, 34(2)9--9, 35(4)13--13, 41(2)12--12, 43(1)3--3
tester, 16(2)175--204
testimony, 35(4)13--13
Testing**, 19(5)726--750
testing, 3(3)211--223, 7(1)37--61, 7(1)176--181, 7(2)183--213, 7(2)214--243, 7(3)478--489, 8(1)50--87, 9(2)164--197, 11(2)169--193, 12(4)643--669, 13(4)491--530, 14(1)54--106, 15(1)182--205, 15(2)357--365, 16(1)3--34, 16(2)175--204, 16(3)387--427, 16(3)649--686, 16(4)1097--1113, 16(4)1319--1360, 16(5)1613--1647, 16(5)1648--1659, 17(1)157--179, 17(2)197--216, 17(2)217--227, 17(4)672--689, 19(2)334--385, 19(4)557--567, 20(1)1--50, 20(1)51--115, 20(2)302--343, 20(6)1111--1130, 21(2)370--416, 22(2)340--377, 30(3)12--12, 31(1)5--5, 31(5)19--19, 32(1)1--1, 32(4)15--15, 36(2)7--7, 37(3)8--8, 40(1)2--2, 40(3)10--10, 42(3)15--15
testing, satisfiability-, 38(1)3--3
test\&set, 13(1)124--149
TEXT, 7(1)62--79, 7(4)600--621, 9(2)277--295
text, 7(4)600--621, 8(4)547--576, 9(2)277--295, 19(3)413--426, 20(2)259--273, 28(2)256--289, 36(4)13--13
textbook, 18(6)730--751, 20(2)259--273
textual, 8(4)547--576, 14(4)490--520, 20(5)980--1013
TF-Coder, 44(2)10--10
tgraph, 14(4)574--588
Thakur, Manas, 41(3)16--16
Thakur:2019:PFP, 41(3)16--16
Thammanur, Sathyanarayanan, 26(6)938--974
Thammanur:2004:FME, 26(6)938--974
thank, 17(1)1--15, 20(4)768--844, 34(1)1--1, 36(4)12--12, 41(3)15--15, 43(1)2--2
that, structure-, 8(4)419--490
Thatcher, J. W., 4(4)711--732
Thatcher:1982:DTS, 4(4)711--732
the, 3(1)110--110, 7(3)490--492, 15(2)211--252, 18(6)730--751, 44(2)6--6
the, chains-, 40(1)4--4
the, CSS-, 41(2)12--12
the, formulas-, 45(2)7--7
the, State-of-, 17(4)561--575
the, types-, 39(1)4--4
the-art, state-of-, 20(4)869--916, 33(3)10--10, 35(1)4--4, 40(3)13--13, 41(2)13--13, 41(3)16--16, 41(3)17--17
the-fly', `on-, 40(4)15--15
The-Fly, On-, 17(3)487--506
the-fly, On-, 6(3)333--344, 40(4)15--15
the-fly, on-, 17(3)461--486, 22(2)224--264, 28(1)1--69, 29(4)20--20, 40(4)15--15
the-Large, Programming-in-, 16(5)1572--1612
the-large, programming-in-, 16(5)1572--1612
the-shelf, off-, 29(1)3--3, 31(2)7--7, 31(5)17--17, 37(1)3--3, 42(1)3--3
the-world, stop-, 27(6)1097--1146, 28(1)1--69
theft, 29(6)35--35
theirs, 20(6)1297--1322
theme, 5(3)405--421, 32(4)12--12
themselves, 7(2)183--213, 17(4)672--689, 20(6)1297--1322, 21(4)813--847, 21(6)1137--1195, 22(2)224--264, 38(3)8--8, 40(1)3--3
then, 4(3)362--381, 4(3)382--401, 4(3)455--495, 4(3)496--517, 11(4)598--632, 11(4)633--649, 12(4)643--669, 13(1)150--178, 13(2)237--268, 14(1)1--27, 14(2)201--264, 14(2)265--297, 14(4)521--573, 14(4)589--616, 15(1)73--132, 15(4)681--705, 15(5)771--794, 16(2)175--204, 16(3)775--797, 16(3)954--985, 16(4)1081--1096, 16(4)1215--1247, 16(5)1613--1647, 16(5)1648--1659, 16(6)1699--1718, 16(6)1842--1874, 17(1)16--27, 17(1)123--156, 18(2)175--234, 18(3)235--253, 18(3)300--324, 18(5)564--614, 18(6)683--710, 19(3)413--426, 19(3)525--555, 19(4)586--616, 19(5)751--803, 19(6)942--991, 19(6)1053--1084, 19(6)1085--1087, 20(1)51--115, 20(2)302--343, 20(3)483--545, 20(6)1171--1194, 21(2)175--188, 21(2)189--239, 21(2)240--285, 21(2)370--416, 21(5)1028--1075, 21(6)1196--1250, 22(3)490--505, 22(6)1002--1036, 23(1)1--29, 27(6)1147--1215, 28(1)134--174, 28(2)256--289, 28(2)290--330, 28(5)795--847, 28(5)908--941, 30(4)21--21, 31(2)6--6, 32(3)8--8, 32(5)17--17, 33(1)5--5, 35(4)14--14, 36(3)8--8, 36(3)9--9, 36(4)12--12, 38(2)7--7, 38(3)9--9, 38(4)14--14, 38(4)16--16, 39(4)15--15, 39(4)17--17, 40(3)11--11, 40(3)12--12, 40(4)14--14, 40(4)17--17, 41(1)5--5, 41(2)8--8, 41(2)11--11, 42(1)4--4, 43(1)1--1, 43(2)8--8, 44(1)2--2, 46(3)11--11
then-else, if-, 6(4)527--545
then-run, define-, 44(3)20--20
theorem, 4(2)258--282, 4(4)733--757, 7(1)113--136, 8(1)1--49, 8(4)547--576, 9(1)100--120, 12(2)224--252, 12(2)253--302, 13(1)99--123, 13(2)237--268, 14(2)127--144, 16(2)205--258, 16(3)607--648, 16(3)687--726, 16(4)1081--1096, 17(1)63--84, 17(1)157--179, 17(2)264--292, 18(2)175--234, 18(3)268--299, 20(1)208--258, 20(3)586--634, 21(3)627--676, 21(6)1137--1195, 22(4)638--672, 28(4)619--695, 28(4)747--793, 30(6)30--30, 31(1)5--5, 31(4)15--15, 33(1)4--4, 35(3)11--11, 41(4)20--20, 43(1)2--2, 44(2)7--7, 44(4)23--23
theorem-proving, 37(4)11--11
theoretic, 3(2)126--143, 4(2)196--225, 43(2)7--7
Theoretic, Automata-, 19(4)617--638
theoretic, automata-, 19(4)617--638, 22(1)87--128, 33(5)15--15, 36(2)5--5
theoretic, game-, 33(4)14--14
theoretic, graph-, 22(1)162--186
theoretic, model-, 14(4)521--573, 16(3)607--648, 23(1)1--29, 30(5)26--26
theoretic, proof-, 21(2)370--416, 23(1)1--29, 30(5)26--26
theoretic, set-, 22(5)861--931
theoretic, type-, 17(3)431--447, 35(2)6--6
theoretical, 9(4)491--542, 14(1)54--106, 14(2)147--172, 16(1)35--101, 16(4)1117--1155, 20(4)707--723, 20(4)768--844, 20(6)1195--1222, 21(2)370--416, 21(4)813--847, 21(5)914--947, 22(5)861--931, 31(3)12--12, 36(1)1--1, 38(2)7--7, 40(3)13--13, 41(3)15--15, 41(4)23--23
theoretically, 17(1)123--156, 38(3)8--8
THEORY, 13(3)295--314
Theory., 31(4)15--15
therapy, 40(3)10--10
there, 8(4)577--608, 9(2)125--163, 9(2)257--276, 10(2)248--266, 13(1)124--149, 13(2)237--268, 14(1)1--27, 15(4)632--658, 16(1)3--34, 16(3)607--648, 16(3)727--774, 16(4)1156--1214, 16(6)1699--1718, 17(2)331--365, 17(4)600--634, 18(2)139--174, 18(3)235--253, 19(4)586--616, 19(6)1085--1087, 20(6)1171--1194, 20(6)1251--1264, 21(1)46--89, 21(2)240--285, 22(1)162--186, 22(2)187--223, 22(2)265--295, 22(2)378--415, 22(3)431--470, 22(3)506--539, 23(1)73--103, 28(1)70--105, 30(4)20--20, 30(4)23--23, 33(4)13--13, 33(5)15--15, 36(2)5--5, 38(2)5--5, 38(3)12--12, 39(1)4--4, 39(2)9--9, 41(1)3--3, 41(2)8--8, 43(1)2--2, 43(1)4--4, 43(3)10--10, 45(1)2--2
thereby, 16(3)775--797, 17(4)576--599, 18(4)355--400, 19(1)87--152, 21(4)703--746, 21(4)790--812, 22(2)378--415, 30(4)21--21, 31(5)17--17, 36(4)13--13, 41(3)16--16, 42(1)3--3
therefor, 40(1)3--3
therefore, 4(2)295--322, 4(4)650--667, 14(1)1--27, 14(2)127--144, 14(4)589--616, 15(4)681--705, 16(3)387--427, 16(3)456--492, 16(3)775--797, 17(3)431--447, 19(3)462--491, 19(5)804--851, 20(5)917--979, 21(4)790--812, 22(4)701--771, 28(4)747--793, 28(5)942--965, 31(2)6--6, 31(4)15--15, 33(1)3--3, 34(2)7--7, 37(3)8--8, 38(2)7--7, 40(1)3--3, 40(4)16--16, 41(2)13--13, 42(3)15--15, 43(1)2--2
Thibault, Jérémy, 43(4)14--14, see Abate, Carmine
thicker, 34(1)1--1
Thiemann, Peter, 22(2)224--264, 26(4)652--701, 33(4)12--12
Thiemann, Peter, see Helsen, Simon, see Sperber, Michael, \see{Wehr, Stefan
Thiemann, René, 33(2)7--7, see Giesl, Jürgen
Thies, William, 29(6)34--34
Thies:2007:STU, 29(6)34--34
thin, 17(2)197--216
thing, 31(4)17--17
ThingLab, 3(4)353--387
think, 4(1)44--82
thinking, 17(2)233--263, 38(3)9--9, 40(3)10--10
Thinner, 17(2)293--330
Thinning, 17(2)293--330
third, 5(2)223--235, 13(1)52--98, 14(2)145--146, 14(2)147--172, 39(3)11--11, 40(3)12--12, 45(3)16--16
third, one-, 4(3)382--401
third-order, 18(4)401--423
third-party, 21(3)569--626, 41(3)18--18
thirds, two-, 4(3)382--401
ThisJava, 38(3)8--8
ThisType, 38(3)8--8
ThisTyped, 38(3)8--8
ThisTypes, 38(3)8--8
Thomas, 16(2)259--303
Thomason, M. G., 2(4)580--595
Thomason, M. G., see Moret, B. M. E.
Thomborson, Clark, 29(6)35--35
Thomborson, Clark, see Collberg, Christian S.
Thompson, Simon, 39(4)17--17
Thompson, Simon, see Trinder, Phil
Thomson, Paul, 37(3)10--10
Thomson, Paul, see Betts, Adam
thorough, 6(4)505--526, 38(3)8--8, 43(1)4--4, 44(4)22--22
thoroughly, 41(1)2--2
Thorup, Mikkel, 16(3)1024--1050
Thorup:1994:CGA, 16(3)1024--1050
though, 16(4)1215--1247, 20(4)724--767, 28(5)942--965, 31(4)15--15, 33(1)3--3, 43(2)6--6, 44(4)25--25
thought, 8(4)524--546, 18(2)139--174, 21(5)1028--1075
thousand, 16(5)1648--1659, 21(2)370--416
thread, 17(2)233--263, 17(4)600--634, 17(5)704--739, 21(1)138--173, 21(2)240--285, 22(4)673--700, 27(6)1097--1146, 28(5)942--965, 30(4)20--20, 31(5)17--17, 32(5)18--18, 34(2)9--9, 35(2)8--8, 35(4)12--12, 36(1)2--2, 36(1)3--3, 36(2)6--6, 36(3)9--9, 36(4)14--14, 37(3)8--8, 37(3)10--10, 38(1)2--2, 38(2)5--5, 39(3)11--11, 40(3)12--12, 40(4)17--17, 42(4)16--16, 43(3)10--10, 44(4)22--22, 45(1)6--6
thread, 128-, 35(1)3--3
Thread-Level, 38(2)5--5
thread-level, 38(2)5--5
thread-local, 28(2)207--255, 30(4)20--20, 33(1)3--3
thread-scheduling, 32(5)18--18
thread-specific, 28(4)715--746
threaded, 17(1)1--15, 19(4)617--638, 22(4)673--700
threaded, Multi-, 44(1)1--1
threaded, multi-, 38(4)16--16, 45(1)6--6
Threaded, Single-, 40(3)12--12
threading, 14(2)265--297
threads+counters+variables, 36(3)9--9
threat, 38(4)15--15, 46(2)5--5
three, 4(2)295--322, 4(3)496--517, 5(2)236--264, 5(4)620--640, 6(2)159--174, 10(2)204--214, 11(4)598--632, 13(1)52--98, 13(2)269--290, 14(1)1--27, 14(3)417--461, 15(4)659--680, 15(4)735--742, 15(5)771--794, 18(6)659--682, 19(1)7--47, 19(1)153--187, 19(6)916--941, 19(6)942--991, 20(3)546--585, 21(3)430--501, 21(4)848--894, 22(2)187--223, 23(1)1--29, 28(1)70--105, 30(3)17--17, 30(4)22--22, 31(1)2--2, 31(1)4--4, 31(4)15--15, 31(6)20--20, 32(2)5--5, 32(4)12--12, 34(1)1--1, 34(1)3--3, 34(2)8--8, 35(1)3--3, 35(1)5--5, 36(3)9--9, 36(3)10--10, 36(4)13--13, 38(2)4--4, 38(4)15--15, 39(3)11--11, 39(4)18--18, 40(4)17--17, 41(1)1--1, 43(1)1--1, 44(4)23--23
three-pass, 35(1)2--2
threshold, 17(4)561--575
through, 4(1)44--82, 4(3)496--517, 5(3)405--421, 5(4)641--655, 6(4)505--526, 6(4)527--545, 8(1)109--139, 9(2)164--197, 9(3)297--318, 11(4)598--632, 12(1)135--138, 13(1)99--123, 13(2)181--210, 14(2)173--200, 14(3)339--395, 15(4)735--742, 16(2)205--258, 16(2)259--303, 16(3)577--604, 16(3)954--985, 16(4)1248--1278, 16(6)1842--1874, 17(5)777--803, 18(1)16--29, 18(2)139--174, 18(5)528--563, 18(6)752--779, 19(5)804--851, 20(1)208--258, 20(4)869--916, 20(6)1131--1170, 21(2)189--239, 21(3)430--501, 21(5)1028--1075, 21(6)1077--1136, 21(6)1137--1195, 22(2)265--295, 22(3)490--505, 22(5)861--931, 28(4)747--793, 28(5)848--907, 28(5)942--965, 29(2)9--9, 29(2)10--10, 30(4)18--18, 30(4)22--22, 30(6)32--32, 31(2)6--6, 31(4)14--14, 32(4)11--11, 32(4)13--13, 32(4)14--14, 32(5)17--17, 32(6)23--23, 33(3)11--11, 36(1)1--1, 36(1)2--2, 37(1)2--2, 37(1)4--4, 37(2)5--5, 38(3)9--9, 38(4)16--16, 39(1)3--3, 39(3)11--11, 40(2)6--6, 41(2)8--8, 41(2)13--13, 41(3)18--18, 41(4)20--20, 43(1)1--1, 43(1)3--3
throughout, 16(2)175--204, 36(2)6--6, 39(4)17--17
throughput, 27(6)1097--1146, 28(1)1--69, 36(1)2--2
throw, 21(5)914--947, 28(1)70--105, 38(4)16--16
throwing, 38(4)16--16
Thrun, Sebastian, 31(1)4--4
Thrun, Sebastian, see Park, Sungwoo
thus, 4(2)179--195, 14(2)201--264, 15(1)133--181, 16(3)1051--1077, 16(4)1361--1398, 16(5)1411--1430, 18(3)268--299, 18(3)325--353, 18(6)730--751, 19(4)557--567, 20(2)302--343, 21(3)569--626, 21(6)1077--1136, 22(1)129--161, 28(1)1--69, 28(5)942--965, 29(1)2--2, 29(5)29--29, 30(3)12--12, 30(4)18--18, 30(5)27--27, 33(3)11--11, 33(4)13--13, 33(6)21--21, 34(3)14--14, 36(1)3--3, 36(3)10--10, 36(4)14--14, 37(3)8--8, 38(2)5--5, 38(2)7--7, 38(4)16--16, 39(2)7--7, 40(1)3--3, 40(3)11--11, 41(1)2--2, 41(4)21--21, 42(1)3--3, 45(4)20--20
Tichy, 10(4)633--634
Tichy, Walter F., 8(3)273--291, 10(4)633--634
Tichy:1986:SR, 8(3)273--291
Tichy:1988:TCT, 10(4)627--632, 10(4)633--634
Tick, 21(2)324--369
Tick, E., 16(1)3--34
Tick:1994:DTN, 16(1)3--34
ticks, 29(6)33--33
tidier, 5(2)236--264
tie, 14(4)589--616, 40(3)13--13
Tierless, 45(3)17--17
tight, 22(5)773--815, 34(3)14--14, 43(2)6--6
tightening, 27(6)1344--1395
tighter, 16(5)1472--1511, 41(1)2--2
tightly, 16(3)387--427, 20(3)586--634, 45(2)11--11
TIGRE, 14(2)265--297
tile, 34(1)3--3, 42(3)12--12
tiled, 21(4)703--746, 34(1)3--3, 38(3)11--11
tiling, 24(4)409--453, 26(6)975--1028, 34(1)3--3
time'', ``just-in-, 21(2)324--369
time', `just-in-, 21(5)895--913
Time,, 6(2)215--238
time, Ahead-of-, 45(4)20--20
time, ahead-of-, 34(2)7--7
time, alternating-, 37(3)9--9
time, ``binding-, 18(6)730--751
time, binding-, 17(1)47--62, 18(6)730--751, 19(5)751--803, 22(5)932--972, 27(6)1147--1215
time, build-, 29(1)2--2
Time, Compile-, 3(1)11--23, 9(3)367--389
time, Compile-, 21(3)430--501, 22(4)673--700, 30(3)17--17
time, compile-, 13(2)211--236, 13(2)269--290, 19(6)853--898, 21(3)430--501, 21(3)627--676, 22(1)129--161, 22(4)673--700, 28(5)848--907, 30(6)31--31, 32(4)15--15, 33(3)10--10, 44(3)17--17
time, constant-, 15(4)659--680, 30(6)33--33
time, execution-, 19(3)492--524, 34(1)5--5, 41(3)16--16
time, exponential-, 26(1)186--190
time, finite-, 14(4)521--573
time, infinite-, 14(4)521--573
Time, Just-In-, 41(3)16--16
Time, Just-in-, 28(1)70--105, 28(1)106--133, 38(2)7--7
time, just-in-, 27(4)732--785, 38(2)7--7, 41(3)16--16, 43(3)10--10, 45(4)20--20
Time, Linear-, 16(3)775--797
time, linear-, 16(3)1051--1077, 20(6)1265--1296, 21(5)895--913, 27(3)383--387, 28(4)696--714, 41(1)3--3
time, Link-, 27(5)882--945
time, one-, 40(3)9--9, 41(4)23--23
time, polynomial-, 18(5)528--563, 34(1)6--6, 41(3)14--14
time, quadratic-, 28(4)696--714
Time, Real-, 6(2)215--238, 14(4)521--573
time, Real-, 14(4)521--573, 19(3)525--555, 20(2)274--301, 21(1)46--89
time, real-, 6(2)215--238, 14(4)521--573, 15(4)632--658, 15(4)681--705, 16(5)1543--1571, 16(6)1661--1674, 19(2)386--412, 19(3)525--555, 19(4)586--616, 20(2)274--301, 21(1)46--89, 29(6)33--33, 32(4)13--13, 45(2)11--11
Time, Run-, 10(4)555--578
time, Run-, 9(3)297--318, 13(1)1--20, 13(3)342--371, 14(1)1--27, 15(4)659--680, 16(3)577--604, 16(5)1449--1466, 17(2)233--263, 18(4)355--400, 20(1)166--207, 20(6)1111--1130, 20(6)1131--1170, 20(6)1195--1222, 21(1)11--45, 21(1)138--173, 21(2)324--369, 22(2)265--295, 22(3)471--489, 22(3)490--505, 22(4)673--700, 30(1)6--6
time, run-, 4(2)239--257, 4(4)552--562, 8(4)419--490, 9(3)367--389, 13(1)1--20, 13(2)269--290, 16(1)151--174, 16(2)205--258, 16(3)577--604, 16(5)1449--1466, 19(1)87--152, 19(1)188--222, 20(1)166--207, 20(6)1111--1130, 20(6)1195--1222, 21(1)1--10, 21(1)11--45, 21(2)324--369, 21(5)1028--1075, 22(2)296--339, 22(5)932--972, 30(2)8--8, 33(4)12--12
time, space-, 30(4)23--23
Time-bounded, 45(3)16--16
time-complexity, 10(2)248--266
time-computed, run-, 22(5)932--972
Time-Constrained, 16(6)1661--1674
time-constrained, 23(1)73--103
time-consuming, 21(5)895--913, 34(1)6--6
Time-Critical, 15(4)632--658
time-critical, 15(4)632--658, 19(3)525--555
Time-efficiency, 30(6)33--33
time-efficient, 20(6)1195--1222, 21(2)240--285
time-multiplexed, 19(3)525--555
time-sensitive, 44(1)2--2
time-sensitively, 44(1)2--2
time-steps, 23(1)73--103
time., 16(3)1024--1050, 32(3)9--9
timed, 16(6)1661--1674, 34(1)5--5
timeliness, 45(2)11--11
timely, 29(6)33--33
Timeout, 6(2)254--280
times, release-, 23(1)73--103
times., 13(1)52--98
timestamp, 15(5)771--794, 16(3)939--953, 28(3)476--516
timesteps, 44(1)2--2
timing, 14(2)201--264, 16(6)1661--1674, 20(6)1171--1194, 21(1)46--89, 29(6)33--33, 32(4)13--13, 37(1)2--2, 45(2)13--13
timing, event-, 16(6)1661--1674
Tip, 40(1)2--2
Tip, Frank, 22(3)540--582, 24(6)625--666, 33(3)9--9, 34(1)4--4
Tip, Frank, see Dolby, Julian, see Snelting, Gregor
Tip:2002:PET, 24(6)625--666
Tip:2011:RUT, 33(3)9--9
Tiuryn, J., 15(2)290--311
Tiuryn, J., see Kfoury, A. J.
Tjiang, Steven, 18(3)235--253
Tjiang, Steven, see Liao, Stan
Tjiang, Steven W. K., 11(4)491--516
Tjiang, Steven W. K., see Aho, Alfred V.
TLA, 16(3)872--923, 16(5)1543--1571
TML, 32(3)7--7
TMPI, 22(4)673--700
to, creation-, 41(3)15--15
to, functions-, 39(2)9--9
to, parameterization-, 10(2)189--203
to, Points-, 42(2)8--8
to, points-, 30(4)19--19, 35(2)8--8, 39(4)18--18, 41(1)6--6, 41(2)13--13, 41(3)16--16, 42(2)8--8, 46(2)6--6
to, ``up-, 33(1)5--5, 41(4)22--22
to, up-, 33(1)5--5
to-C, OCaml-, 30(4)18--18
to-dynamic, static-, 40(4)16--16
to-end, end-, 37(1)4--4, 40(2)6--6
to-event, event-, 41(1)1--1
to-find, hard-, 30(4)18--18
to-Fortran, MATLAB-, 21(2)286--323
to-point, point-, 44(4)26--26
to-source, source-, 16(3)577--604, 16(4)1081--1096, 17(2)293--330, 22(3)540--582, 37(2)5--5, 38(3)12--12, 39(2)8--8
to-sparc, core-ML-, 32(3)7--7
to-task, task-, 41(1)1--1
to-understand, easy-, 37(3)8--8
to-verify, hard-, 40(4)16--16
today, 19(1)188--222, 21(1)138--173, 21(5)1028--1075, 28(1)106--133, 32(3)9--9, 34(3)13--13, 37(3)8--8, 39(2)7--7, 39(2)9--9, 42(3)14--14, 42(3)15--15, 43(3)10--10, 45(3)17--17
Tofte, 18(3)254--267, 22(4)701--771
Tofte, Mads, 20(4)724--767
Tofte:1998:RIA, 20(4)724--767
together, 8(4)524--546, 9(3)297--318, 14(3)299--338, 14(3)339--395, 15(5)876--895, 16(4)1156--1214, 16(5)1613--1647, 17(2)217--227, 19(3)525--555, 20(1)166--207, 22(2)378--415, 22(3)431--470, 27(6)1147--1215, 28(2)256--289, 31(4)16--16, 35(1)4--4, 35(1)5--5, 35(2)7--7, 38(1)3--3, 38(2)7--7, 39(2)7--7, 41(2)12--12, 43(1)3--3, 45(3)14--14, 46(1)1--1
token, 5(2)127--163, 19(3)492--524, 20(2)259--273, 21(1)1--10, 31(6)22--22
tokenization, 20(2)259--273
tolerance, 4(3)382--401, 21(3)569--626, 27(6)1344--1395, 41(3)15--15
Tolerance, Fault-, 15(1)182--205, 21(1)46--89
tolerance, Fault-, 9(2)235--256, 11(2)249--283, 12(2)178--202, 15(3)563--573, 16(3)986--1009, 16(6)1719--1736, 17(3)535--559, 21(1)46--89
tolerance, fault-, 21(1)46--89
tolerant, 31(6)22--22
tolerant'', ``overrun-, 4(4)733--757
Tolerant, Fault-, 6(2)254--280, 17(3)535--559
tolerant, fault-, 21(1)46--89, 26(1)125--185
Tomasco, Ermenegildo, 44(1)1--1
Tomasco, Ermenegildo, see Inverso, Omar
Tomita, 28(4)577--618
Toninho, Bernardo, 40(4)17--17, 43(2)7--7
Toninho:2018:ISB, 40(4)17--17
Toninho:2021:PSF, 43(2)7--7
Tony, 44(4)25--25
too, 7(2)183--213, 17(1)157--179, 17(5)740--776, 18(3)300--324, 20(4)869--916, 21(2)175--188, 21(3)502--526, 21(4)813--847, 22(1)87--128, 28(4)747--793, 28(5)908--941, 31(1)3--3, 32(3)9--9, 34(3)13--13, 36(1)3--3, 36(4)12--12, 41(4)21--21
toolchain, 38(3)10--10, 41(3)17--17
toolkit, 16(3)577--604, 19(3)492--524, 19(5)639--684, 23(6)776--796, 40(3)13--13
top, 18(5)615--647, 22(4)638--672, 30(6)32--32, 32(6)23--23, 33(6)20--20, 35(3)9--9, 36(3)8--8, 36(4)12--12, 39(2)7--7, 39(4)16--16, 41(2)12--12, 41(3)18--18, 43(1)2--2, 44(4)22--22
top-down, 4(2)149--178, 9(2)125--163, 10(3)403--419, 15(5)876--895, 20(4)707--723, 42(2)8--8, 43(1)2--2
topic, 9(2)125--163, 17(3)431--447, 22(3)506--539, 32(4)14--14, 38(2)5--5
TOPLAS, 32(4)10--10, 32(6)20--20, 34(1)1--1, 40(4)18--18, 42(2)11--11
toplas, 5(2)164--189
topological, 33(6)20--20
topology, 33(6)20--20, 34(1)5--5
Torczon, Linda, 8(4)491--523, 15(3)367--399, 16(3)428--455
Torczon, Linda, see Briggs, Preston, see Burke, Michael, \see{Cooper, Keith D.
Toro, 42(2)11--11
Toro, Matías, 40(4)16--16, 42(2)11--11, 45(2)8--8
Toro, Miguel, 24(6)698--710
Toro, Miguel, see Corchuelo, Rafael
Toro:2018:TDG, 40(4)16--16, 42(2)11--11
Toro:2020:CTD, 40(4)16--16, 42(2)11--11
Toro:2023:CLT, 45(2)8--8
Toronto, 4(2)149--178
Torp-Smith, Noah, 29(5)24--24, 30(4)24--24
Torp-Smith, Noah, see Biering, Bodil
Torp-Smith:2008:LRA, 30(4)24--24
Torre, Salvatore, La, 44(1)1--1
Tortoise, 45(1)1--1
tortoise-and-hare, 45(1)1--1
tortuous, 16(3)798--842
total, 4(3)382--401, 4(4)668--677, 5(2)236--264, 7(1)62--79, 18(2)175--234, 19(6)1031--1052, 33(3)10--10, 33(6)19--19, 36(2)6--6, 36(2)7--7, 40(3)12--12
totaling, 30(5)28--28, 33(1)3--3
tour, 9(2)235--256
Touriño, Juan, 30(6)32--32, see Arenaz, Manuel
tow, 18(4)355--400
toward, 4(1)1--20, 5(4)596--619, 6(4)468--486, 7(1)1--9, 7(2)183--213, 7(4)501--538, 8(2)185--214, 10(3)374--402, 14(4)589--616, 18(2)139--174, 19(5)639--684, 22(2)378--415, 27(6)1147--1215, 27(6)1344--1395, 29(6)34--34, 30(5)29--29, 39(1)2--2, 39(2)8--8, 44(4)25--25, 45(1)2--2, 45(3)19--19
Townsend, Gregg, 10(1)51--86
Townsend, Gregg, see Andrews, Gregory R.
Townsend, Gregg M., 29(6)35--35
Townsend, Gregg M., see Collberg, Christian S.
toy, 4(1)1--20, 16(3)872--923, 31(2)7--7
TR87-810, 11(4)598--632
trace, 4(2)295--322, 14(1)1--27, 14(3)396--416, 16(4)1156--1214, 16(4)1319--1360, 21(5)977--1027, 21(5)1028--1075, 25(5)578--630, 28(3)476--516, 29(5)26--26, 30(2)10--10, 30(5)25--25, 32(6)23--23, 33(3)10--10, 34(1)5--5, 38(2)7--7, 39(4)15--15, 41(1)3--3, 42(1)3--3, 43(4)14--14
trace, off-, 16(4)1156--1214
Trace-Based, 14(3)396--416, 15(1)208--208
trace-based, 14(3)396--416, 34(1)5--5
trace-driven, 14(2)265--297
Trace-relating, 43(4)14--14
tracing, 13(4)491--530, 16(4)1319--1360, 20(6)1111--1130, 22(4)701--771, 29(2)12--12, 34(1)5--5, 38(2)7--7
tracing., 16(4)1319--1360
track, 16(3)1051--1077, 22(4)701--771, 22(6)1037--1080, 27(6)1147--1215, 28(5)942--965, 30(2)8--8, 30(4)18--18, 31(1)2--2, 31(3)11--11, 32(4)12--12, 32(6)23--23, 34(1)4--4, 35(1)2--2, 39(1)3--3, 43(2)6--6
tracked, 28(5)942--965
tracking, 18(6)752--779, 31(1)4--4, 42(3)14--14, 45(2)10--10
tractability, 21(4)790--812, 28(4)619--695
traction, 43(1)3--3
trade, 8(1)109--139, 21(2)324--369, 39(2)6--6, 41(3)17--17, 43(3)10--10
trade-off, 16(3)798--842, 16(5)1449--1466, 20(6)1195--1222, 21(1)138--173, 21(5)1028--1075, 30(1)4--4, 44(2)7--7
trade-offs, 21(2)189--239, 21(3)569--626, 23(2)105--186, 33(1)2--2, 33(1)3--3, 38(3)12--12, 43(2)6--6
traded, 39(2)7--7
tradeoff, 27(4)631--661, 39(2)8--8, 40(3)9--9
trading, 19(4)617--638, 30(3)17--17
traditional, 4(1)83--112, 4(2)226--238, 7(1)159--175, 9(3)319--349, 12(4)643--669, 13(1)21--51, 13(2)269--290, 14(3)299--338, 16(3)305--327, 16(3)387--427, 16(3)798--842, 16(5)1472--1511, 16(5)1543--1571, 17(2)264--292, 17(4)635--671, 18(3)254--267, 18(5)528--563, 18(5)564--614, 19(6)916--941, 19(6)1053--1084, 20(3)483--545, 20(3)635--678, 20(6)1297--1322, 21(1)11--45, 21(3)677--701, 21(4)703--746, 21(6)1251--1297, 22(2)224--264, 22(5)816--860, 22(5)932--972, 28(1)1--69, 28(1)134--174, 28(4)747--793, 29(1)3--3, 31(2)7--7, 32(1)3--3, 32(2)6--6, 32(4)14--14, 34(1)4--4, 38(2)7--7, 40(3)9--9, 41(4)23--23, 43(1)3--3
traditionally, 13(1)1--20, 16(3)775--797, 22(2)187--223, 22(6)1037--1080, 28(1)1--69, 30(4)21--21, 33(5)15--15, 38(3)10--10
traffic, 31(6)20--20, 39(4)17--17
trail, 38(1)2--2
trailed, 17(4)635--671
trailing, 17(4)635--671
training, 19(1)188--222, 31(6)20--20
training-based, 31(6)20--20
traitor, 4(3)382--401
traits, 28(2)331--388, 35(3)11--11
transaction, 5(3)381--404, 11(2)249--283, 12(2)178--202, 16(6)1719--1736, 40(4)15--15, 40(4)18--18, 42(2)11--11, 42(3)14--14
transactional, 26(2)301--338, 33(1)2--2, 38(2)5--5, 40(4)15--15
Transducer-Based, 38(1)1--1
transducers, 38(1)1--1
transfer, 14(3)417--461, 19(5)804--851, 20(6)1131--1170, 22(4)638--672, 31(3)11--11, 41(2)8--8
TRANSFER-LEVEL, REGISTER-, 8(1)142--153, 16(5)1512--1542, 18(3)235--253, 18(3)300--324
transferred, 6(2)159--174, 18(3)268--299, 22(1)129--161
transform, 4(1)1--20, 4(1)83--112, 5(2)236--264, 14(4)490--520, 16(3)687--726, 16(3)775--797, 16(6)1737--1767, 21(4)703--746, 21(5)1028--1075, 30(4)21--21, 31(5)18--18, 31(6)22--22, 33(4)13--13, 36(4)13--13, 38(2)7--7, 39(2)7--7, 42(3)14--14
transformation, concurrent-, 16(3)577--604
transformation-specific, 37(4)12--12
transformational, 4(4)650--667, 6(4)487--504, 7(3)490--492, 10(3)420--455, 19(5)639--684, 21(1)46--89, 25(2)210--224, 31(4)14--14
transformational, program-, 17(2)394--429
transformations., 16(6)1768--1810
transformed, 4(3)362--381, 8(1)109--139, 10(2)248--266, 13(1)21--51, 13(2)211--236, 15(5)745--770, 16(4)1248--1278, 18(2)109--138, 18(2)175--234, 18(4)424--453, 19(3)525--555, 20(3)679--706, 22(5)932--972, 34(1)5--5
transformer, 4(4)668--677, 12(3)396--428, 16(3)727--774, 16(3)798--842, 17(1)157--179, 18(3)325--353, 19(6)1053--1084, 20(5)1067--1109, 31(4)16--16, 32(2)5--5, 35(1)4--4, 36(4)11--11
transformer-generator, abstract-, 35(1)4--4
TransformGen, 16(3)727--774
transforming, 4(1)1--20, 16(4)1081--1096, 17(1)63--84, 19(4)557--567, 19(6)1031--1052, 22(1)162--186, 31(6)21--21, 32(6)24--24, 41(2)12--12
transit, 14(3)417--461
transit, in-, 18(5)615--647
transition, 16(2)259--303, 16(3)649--686, 16(6)1842--1874, 17(1)16--27, 19(1)48--86, 20(1)51--115, 20(6)1171--1194, 21(4)747--789, 27(6)1049--1096, 27(6)1344--1395, 29(3)15--15, 31(4)13--13, 34(1)6--6, 35(3)10--10, 36(3)9--9, 36(4)14--14, 40(3)9--9, 40(4)16--16, 41(4)23--23, 46(3)9--9
transition, state-, 19(5)726--750
transitive, 4(3)362--381, 40(3)9--9
transitive-closure-based, 34(3)11--11
translate, 16(4)1215--1247, 21(2)286--323, 22(4)701--771, 40(2)8--8
translated, 4(1)21--36, 14(3)299--338, 18(6)752--779, 31(3)12--12, 36(2)6--6
translating, 4(2)149--178, 41(3)18--18
translation, 4(1)44--82, 4(2)149--178, 4(4)527--551, 6(3)345--369, 6(4)527--545, 9(2)125--163, 9(2)257--276, 9(4)473--490, 9(4)491--542, 16(3)305--327, 16(3)775--797, 16(5)1572--1612, 17(2)264--292, 17(5)691--703, 19(6)916--941, 21(2)286--323, 21(3)527--568, 22(4)701--771, 25(2)210--224, 29(2)13--13, 29(6)35--35, 31(5)17--17, 31(5)18--18, 32(4)12--12, 33(4)13--13, 35(1)2--2, 35(2)8--8, 35(4)13--13, 41(2)8--8
translator, 4(4)601--614, 4(4)615--649, 7(1)159--175, 7(4)560--599, 9(2)257--276, 9(3)297--318, 9(3)367--389, 9(3)408--440, 9(4)491--542, 9(4)543--566, 10(2)338--342, 14(2)147--172, 14(4)490--520, 16(3)305--327, 16(3)1010--1023, 16(3)1051--1077, 16(4)1215--1247, 16(5)1572--1612, 16(5)1613--1647, 17(2)228--232, 17(2)394--429, 17(3)461--486, 17(4)672--689, 17(5)691--703, 18(1)16--29, 18(1)73--108, 18(6)730--751, 19(3)492--524, 19(6)1053--1084, 20(5)980--1013, 21(2)286--323, 22(4)583--637, 22(6)973--1001, 30(4)19--19
transliterated, 4(2)149--178
translucent, 35(1)2--2
transmission, 4(4)527--551, 15(5)771--794, 16(2)259--303, 17(5)704--739, 21(6)1196--1250
transmits, 13(2)211--236
transmitted, 41(2)12--12
transmitted, ``structure-, 22(1)162--186
transmitted, structure-, 22(1)162--186
transparency, 28(4)747--793
transparent, 9(2)235--256, 9(2)277--295, 16(2)205--258, 19(5)804--851, 40(2)8--8, 41(3)15--15
transparent, Network-, 19(5)804--851
transparent, network-, 21(3)569--626
transparently, 32(3)9--9, 34(2)9--9, 37(1)3--3, 40(4)16--16
Transport, 6(4)573--602
transportation, 39(1)5--5
transpose, 30(2)9--9
transposition, 21(3)430--501
transputer, 15(4)681--705
traps, 4(2)226--238
Tratt, Laurence, 30(6)31--31
Tratt:2008:DSL, 30(6)31--31
traveling, 9(2)235--256
traversal, 9(2)235--256, 17(2)264--292
traversal, path-, 41(3)18--18
Traversals, 26(2)370--412
traversed, 16(4)1319--1360, 17(2)264--292
traverses, 17(2)264--292, 31(3)10--10, 36(4)13--13
treat, 31(1)4--4, 31(3)12--12, 37(1)1--1, 44(4)21--21
treated, 14(3)339--395, 19(3)444--461, 20(5)980--1013, 32(1)2--2, 36(4)12--12, 39(1)4--4
treating, 18(1)73--108, 32(1)2--2, 37(1)1--1
treatment, 4(4)711--732, 6(4)632--646, 9(3)319--349, 9(3)390--407, 10(3)503--504, 16(1)151--174, 16(3)428--455, 16(3)456--492, 16(3)577--604, 16(3)727--774, 16(4)1117--1155, 18(6)730--751, 22(2)378--415, 36(4)14--14, 39(4)14--14
tree, 2(1)129--133, 2(4)580--595, 3(1)83--103, 3(4)508--532, 4(3)345--361, 4(4)601--614, 5(1)66--77, 5(1)122--122, 5(3)300--317, 7(2)348--357, 7(4)680--685, 8(4)577--608, 9(2)235--256, 9(2)277--295, 9(3)408--440, 11(4)491--516, 12(1)61--83, 13(3)295--314, 15(4)575--631, 15(4)659--680, 16(1)3--34, 16(3)727--774, 16(3)1024--1050, 16(4)1279--1318, 16(5)1613--1647, 16(6)1684--1698, 17(1)1--15, 17(1)123--156, 18(6)649--658, 18(6)752--779, 19(1)188--222, 19(2)239--252, 19(3)462--491, 19(4)557--567, 20(1)1--50, 20(1)208--258, 20(2)388--435, 20(4)768--844, 20(5)980--1013, 20(6)1251--1264, 21(3)569--626, 22(1)1--44, 22(6)973--1001, 29(3)17--17, 32(1)2--2, 32(2)4--4, 32(2)5--5, 33(5)15--15, 34(1)3--3, 34(3)14--14, 37(4)12--12, 38(1)1--1, 38(1)3--3, 38(3)12--12, 45(2)9--9
Tree, -, 3(4)508--532
tree, expression-, 17(5)740--776
tree, regular-, 21(2)370--416
tree-based, suffix-, 22(2)378--415
Tree-Oriented, 18(6)752--779
tree-scheduling, expression-, 17(5)740--776
tree-structured, 4(4)687--710
trees, fat-, 17(1)123--156
trees, syntax-, 9(2)125--163
treewidth, 40(3)9--9, 41(4)23--23
tremendous, 18(4)477--518, 35(4)13--13, 45(1)2--2
trend, 22(2)378--415, 35(1)3--3, 38(2)5--5
triaging, 37(3)8--8
triangle, 17(3)461--486
trick, 16(6)1768--1810, 18(6)730--751
tricky, 30(3)12--12, 30(4)18--18, 39(4)14--14
trie, 18(5)528--563
tried, 28(2)256--289
Trifonov, 18(5)519--527
Trifonov, Valery, 24(2)112--152, 25(2)159--209, 27(1)1--45
Trifonov, Valery, see League, Christopher, see Saha, Bratin, \see{Shao, Zhong
trigger, 28(1)134--174, 41(3)18--18
triggered, 9(3)319--349, 38(2)5--5
triggering, 28(4)715--746
triggering, effect-, 42(1)4--4
trimming, 17(3)461--486
Trinder, Phil, 39(4)17--17
Trinder:2017:SRI, 39(4)17--17
TRIO, 14(4)521--573
trip, zero-, 22(5)816--860
Tripakis, Stavros, 33(4)14--14
Tripakis:2011:TSR, 33(4)14--14
triple, 33(5)17--17
TRIPS, 37(1)2--2
trivial, 39(4)14--14
trivially, 32(3)9--9
troops, 4(3)382--401
troublesome, 18(2)139--174
true, 17(1)16--27, 21(4)703--746, 31(6)21--21, 37(3)8--8
TruffleVM, 40(2)8--8
truly, 20(5)980--1013, 30(6)33--33
truncation, 14(2)127--144
trust, 31(4)14--14, 31(5)18--18, 41(3)18--18, 42(3)14--14
trusted, 21(1)90--137
truth, 17(1)157--179, 38(4)15--15
try, 4(3)382--401, 16(3)1010--1023, 16(4)1248--1278, 22(2)378--415
try-finally, 21(1)90--137
Tsai, Jeffrey J. P., 20(5)917--979
Tsai, Jeffrey J. P., see Juan, Eric Y. T.
Tsay, Yih-Kuen, 17(1)16--27
Tsay:1995:DFP, 17(1)16--27
Tse, Stephen, 30(1)6--6, 31(1)5--5
Tse, Stephen, see Bhargavan, Karthikeyan
Tse:2007:RTP, 30(1)6--6
Tseng, Chau-Wen, 18(4)424--453
Tseng, Chau-Wen, see McKinley, Kathryn S.
Tsiouris, Yiannis, 39(4)17--17
Tsiouris, Yiannis, see Trinder, Phil
TSL, 35(1)4--4
TSO, 36(2)7--7, 45(1)6--6
TSOP, 36(4)12--12
Tsukada, Takeshi, 43(4)15--15
Tsukada, Takeshi, see Matsushita, Yusuke
Tu, Peng, 21(3)627--676
Tu, Peng, see Kennedy, Robert
tune, 30(3)17--17, 32(4)13--13, 40(3)13--13
tuned, 16(3)524--576, 28(5)908--941, 30(3)17--17, 36(3)10--10
tuning, 9(2)164--197, 19(3)525--555, 20(4)869--916, 21(4)703--746, 30(3)17--17, 30(4)19--19, 34(1)4--4, 40(3)13--13, 41(2)13--13
tuning, fine-, 15(4)681--705
tuning, hand-, 21(4)703--746
tuple, 3(3)251--262, 17(5)777--803, 21(3)527--568, 31(3)10--10, 43(1)3--3
tuple, K-, 17(5)777--803
tupling, 19(3)444--461
Turchin, Valentin F., 8(3)292--325
Turchin:1986:CS, 8(3)292--325
Turetsky, Emma, 39(2)9--9
Turetsky, Emma, see Reps, Thomas
Turing, 4(4)733--757, 31(2)8--8
Turing-with, 9(3)367--389
Turini, Franco, 6(4)468--486, 16(4)1361--1398
Turini, Franco, see Brogi, Antonio
Turini:1984:MLO, 6(4)468--486
turn, 6(4)546--572, 14(4)574--588, 16(5)1572--1612, 16(5)1613--1647, 17(1)1--15, 17(1)47--62, 17(2)366--393, 18(4)401--423, 22(2)224--264, 32(5)17--17, 36(3)8--8, 36(4)14--14, 38(2)6--6, 39(1)3--3, 39(4)16--16, 40(1)4--4, 40(3)13--13, 41(2)10--10, 43(1)1--1
turned, 19(3)444--461, 29(2)13--13
Turner, David N., 21(5)914--947, 22(1)1--44
Turner, David N., see Kobayashi, Naoki, see Pierce, Benjamin C.
tutorial, 3(4)484--507, 38(4)14--14
TUX, 30(4)22--22
twice, 15(4)632--658, 21(3)430--501
twig, 11(4)491--516
twin, 41(3)16--16
twist, 39(4)14--14
Two-dimensional, 30(5)28--28
two-generation, 14(1)1--27, 41(1)3--3
two-phase, 19(6)992--1030, 43(1)3--3
two-process, 20(1)51--115
two-pronged, 35(3)11--11, 41(3)16--16
two-step, 16(4)1248--1278, 41(3)16--16
two-thirds, 4(3)382--401
two-variable, 33(6)21--21
twofold, 20(6)1171--1194
typable, 41(2)10--10
type-abstraction, 22(6)1037--1080
type-and-effects, 22(4)701--771
type-based, 22(2)340--377, 23(1)30--72, 29(1)6--6, 29(2)10--10, 40(4)16--16
type-checking, 17(3)448--460, 20(4)707--723, 35(1)2--2, 37(4)11--11
type-conditional, 33(4)12--12
type-correct, 21(3)527--568, 33(3)9--9
type-directed, 21(3)527--568, 22(4)701--771
Type-Driven, 40(4)16--16
Type-driven, 42(2)11--11
Type-Extension, 13(4)626--629
{Type}-Extension, 13(4)630--630
Type-Graphs, 14(4)574--588
type-graphs, 14(4)574--588
type-preserving, 21(3)527--568, 24(2)112--152
Type-Safe, 24(6)711--804
type-safe, 17(3)431--447, 22(3)490--505, 25(2)225--290, 27(3)477--526, 27(6)1049--1096, 32(5)19--19
type-safety, 28(3)429--475, 31(3)12--12, 38(1)3--3
type-sound, 38(3)8--8
type-soundness, 31(3)12--12
type-system-based, 45(2)8--8
type-theoretic, 17(3)431--447, 35(2)6--6
type-unsafe, 28(3)517--575
typecase, 13(2)237--268
typechecking, 17(6)805--843, 26(5)836--889, 28(3)517--575, 31(2)7--7, 32(1)2--2, 33(4)12--12
typed, 6(4)603--631, 8(3)406--407, 8(4)419--490, 13(2)237--268, 15(4)575--631, 16(5)1411--1430, 18(2)109--138, 19(1)87--152, 20(2)436--482, 20(4)707--723, 20(6)1251--1264, 21(1)11--45, 21(3)502--526, 21(3)527--568, 22(4)701--771, 22(6)1037--1080, 23(1)30--72, 27(6)1049--1096, 28(3)429--475, 28(4)715--746, 28(5)848--907, 30(4)21--21, 30(6)33--33, 32(3)7--7, 34(2)8--8, 36(4)12--12, 38(3)8--8, 40(2)8--8, 40(4)17--17, 42(1)2--2, 45(1)4--4
typed, dynamically-, 40(2)8--8
typed, gradually-, 40(4)16--16
typed, security-, 40(4)16--16
typed, strongly-, 5(3)405--421
typed, well-, 21(3)527--568, 22(4)638--672, 22(6)1037--1080, 38(4)14--14, 40(4)17--17, 42(3)15--15
typed-, 45(1)4--4
Typed-Untyped, 45(1)4--4
typedef, 42(3)15--15
typedness, well-, 22(4)638--672, 28(4)619--695
types-the, 39(1)4--4
typeset, 7(1)62--79
typesetting, 7(1)62--79
typestate, 36(4)12--12, 42(3)14--14
typestate-dependent, 36(4)12--12
Typestate-Oriented, 36(4)12--12
typestate-oriented, 36(4)12--12
Type:Type, 39(1)3--3
typical, 16(3)524--576, 16(4)1156--1214, 16(5)1648--1659, 20(2)436--482, 30(5)26--26, 31(4)13--13, 35(3)11--11
typically, 15(5)745--770, 16(4)1248--1278, 18(1)30--72, 18(3)235--253, 18(4)424--453, 20(1)166--207, 20(2)302--343, 21(1)90--137, 21(1)138--173, 21(2)370--416, 27(6)1049--1096, 30(5)29--29, 32(4)13--13, 34(1)1--1, 34(1)2--2, 34(2)7--7, 35(1)2--2, 36(4)14--14, 41(3)16--16, 46(1)2--2, 46(2)6--6
typing, 13(2)237--268, 18(3)254--267, 18(6)730--751, 19(1)153--187, 20(1)166--207, 20(2)302--343, 21(1)11--45, 21(1)90--137, 21(2)370--416, 21(3)502--526, 21(3)527--568, 21(5)914--947, 21(6)1196--1250, 28(5)795--847, 28(5)848--907, 32(1)2--2, 32(6)21--21, 36(1)1--1, 36(4)12--12, 40(4)16--16, 41(1)5--5, 41(2)10--10, 42(1)2--2, 44(1)4--4, 44(3)15--15, 45(4)22--22
Tyrrell, Malcolm, 30(6)34--34, 31(4)16--16
Tyrrell, Malcolm, see Morris, Joseph M.
Tzannes, Alexandros, 36(3)10--10
Tzannes:2014:LSR, 36(3)10--10