Index file section A for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
A
-
A, 2(1)134--134, 4(1)120--122, 5(3)500--501, 11(4)666--668, 13(1)179--179,
16(3)605--606, 17(1)45--46, 27(3)383--387
-
a, 22(2)296--339
-
à, 42(1)2--2
-
a, method-, 39(2)9--9
-
a.out, 19(3)492--524
-
Aaron, 34(1)1--1
-
Abadi, 21(6)1196--1250, 44(2)6--6
-
Abadi, Martin, 17(3)507--534, 21(1)90--137, 28(2)207--255
-
Abadi, Martin, see Stata, Raymie
-
Abadi, Martín, 13(2)237--268, 15(1)73--132, 15(4)706--734,
16(5)1543--1571, 18(4)401--423, 29(3)14--14, 33(1)2--2
-
Abadi:1991:DTS, 13(2)237--268
-
Abadi:1993:CAC, 15(4)706--734
-
Abadi:1993:CS, 15(1)73--132
-
Abadi:1994:OFR, 16(5)1543--1571
-
Abadi:1995:CS, 17(3)507--534
-
Abadi:1996:SM, 18(4)401--423
-
Abadi:2006:TSL, 28(2)207--255
-
Abadi:2007:E, 29(3)14--14
-
Abadi:2011:STM, 33(1)2--2
-
abandon, 38(4)14--14
-
abandonment, 38(4)15--15
-
Abate, Carmine, 43(4)14--14, 45(3)15--15
-
Abate, Carmine, see Haselwarter, Philipp G.
-
Abate:2021:EAT, 43(4)14--14
-
abduction, 35(2)8--8
-
abduction, bi-, 33(5)17--17
-
Abella, Jaume, 27(5)946--987
-
Abella, Jaume, see Vera, Xavier
-
Abhari, Morteza, Biglari-, 45(2)11--11
-
ability, 4(1)1--20, 8(4)577--608, 14(4)521--573, 16(3)328--369,
16(3)986--1009, 16(5)1399--1410, 16(5)1648--1659, 18(4)424--453,
21(6)1251--1297, 31(3)9--9, 31(4)16--16, 34(3)13--13, 34(4)17--17,
38(3)12--12, 41(4)20--20
-
able, 10(2)248--266, 15(1)133--181, 16(3)986--1009, 16(4)1248--1278,
16(6)1699--1718, 20(1)1--50, 21(3)569--626, 22(2)265--295,
22(6)973--1001, 23(1)1--29, 30(4)20--20, 31(3)12--12, 31(5)17--17,
32(6)23--23, 33(1)3--3, 34(1)2--2, 39(2)7--7, 40(2)8--8, 40(3)13--13,
41(2)13--13, 43(1)2--2
-
abort, 32(3)9--9
-
above-mentioned, 16(3)305--327, 18(6)752--779
-
absence, 4(1)44--82, 4(4)668--677, 15(4)632--658, 16(3)687--726,
21(3)502--526, 32(6)23--23, 33(3)10--10, 34(2)7--7, 40(1)1--1
-
absent, 42(3)15--15
-
absolute, 5(3)405--421, 16(3)798--842, 38(4)13--13
-
ABSTRACT, 7(2)270--298, 7(2)348--357, 7(3)404--425, 9(4)618--645,
10(1)87--117, 10(4)579--601, 11(1)90--114, 11(1)147--167,
11(2)330--344, 11(4)562--584, 12(1)84--101, 12(2)203--223,
12(2)303--339, 12(3)463--492, 13(3)295--314, 13(3)399--442,
15(3)563--573, 15(4)632--658, 15(5)771--794, 16(3)493--523,
16(3)843--871, 16(3)924--938, 16(5)1449--1466, 16(6)1842--1874,
17(2)366--393, 17(4)600--634, 18(3)268--299, 18(3)325--353,
18(5)528--563, 19(4)617--638, 19(6)899--915, 20(2)259--273
-
abstract-syntax, 8(4)577--608
-
abstract-transformer-generator, 35(1)4--4
-
abstracted, 16(2)175--204, 32(2)5--5, 36(3)9--9
-
abstracting, 19(1)153--187, 32(2)5--5, 44(3)18--18
-
abstraction, 3(1)1--10, 3(3)211--223, 4(1)120--122, 4(4)687--710,
7(3)404--425, 7(3)446--477, 10(2)189--203, 11(4)598--632,
13(2)269--290, 16(1)151--174, 16(2)259--303, 16(3)328--369,
16(3)524--576, 16(3)577--604, 16(3)954--985, 16(4)1248--1278,
16(5)1512--1542, 17(5)704--739, 18(1)1--15, 19(3)492--524,
19(5)726--750, 20(6)1171--1194, 21(3)527--568, 22(1)1--44,
22(2)378--415, 22(6)1037--1080, 24(5)491--553, 26(5)769--804,
27(2)314--343, 28(5)795--847, 29(3)15--15, 29(5)24--24, 30(4)19--19,
30(5)29--29, 31(1)3--3, 31(2)6--6, 31(4)14--14, 32(4)12--12,
34(1)2--2, 34(3)11--11, 35(1)2--2, 36(2)6--6, 36(4)11--11,
36(4)14--14, 37(1)2--2, 37(1)4--4, 37(2)6--6, 37(4)13--13, 38(2)4--4,
38(2)7--7, 39(2)9--9, 39(4)16--16, 40(1)3--3, 40(3)13--13,
41(4)20--20, 41(4)22--22, 42(2)8--8, 43(1)1--1, 43(1)2--2,
43(3)10--10, 44(1)3--3, 44(1)5--5, 44(4)23--23, 44(4)25--25
-
abstraction, type-, 22(6)1037--1080
-
abstractly, 4(3)382--401, 40(3)12--12
-
Abuah, Chike, 45(2)8--8
-
Abuah, Chike, see Toro, Matías
-
abuse, 42(3)14--14
-
AC-3, 22(6)1002--1036
-
academia, 44(4)22--22
-
academic, 17(2)197--216
-
Acar, Umut A., 28(6)990--1034, 32(1)3--3
-
Acar:2006:AFP, 28(6)990--1034
-
Acar:2009:EAS, 32(1)3--3
-
accept, 13(1)150--178, 16(3)1024--1050, 17(4)576--599, 18(5)519--527,
28(5)795--847, 45(2)9--9
-
acceptable, 5(2)236--264, 28(3)429--475, 34(1)4--4, 34(3)13--13,
43(3)10--10
-
acceptance, 17(2)394--429, 18(1)30--72, 20(4)869--916
-
accepted, 19(3)413--426, 21(1)11--45, 28(2)331--388, 28(3)389--428,
30(5)29--29, 41(2)12--12
-
accepted, well-, 19(3)525--555
-
accepting, 16(6)1661--1674, 41(1)5--5
-
acceptors, 16(2)259--303
-
access, 6(4)546--572, 8(1)142--153, 8(4)419--490, 14(4)471--489,
15(4)659--680, 15(4)706--734, 16(6)1768--1810, 17(5)777--803,
18(2)139--174, 18(3)235--253, 18(5)615--647, 18(6)659--682,
20(3)483--545, 20(6)1195--1222, 21(4)703--746, 21(6)1251--1297,
22(1)129--161, 22(3)540--582, 22(4)701--771, 24(1)65--109,
24(5)566--591, 26(1)57--124, 27(2)344--382, 28(2)290--330,
28(5)795--847, 28(5)942--965, 29(1)4--4, 30(1)1--1, 30(4)18--18,
30(5)28--28, 31(2)8--8, 31(6)20--20, 32(4)11--11, 32(6)22--22,
32(6)23--23, 35(2)6--6, 36(1)2--2, 36(4)12--12, 37(1)4--4, 38(2)5--5,
38(4)14--14, 40(2)8--8, 41(3)18--18, 42(4)18--18, 43(2)8--8,
43(3)10--10
-
access, Sequential-, 8(1)142--153
-
access-based, 32(6)22--22
-
Access-Right, 5(1)78--96
-
accessed, 21(3)430--501, 22(3)490--505, 27(2)185--235, 28(2)290--330,
31(3)11--11, 31(6)20--20, 32(6)22--22, 34(1)4--4
-
accessibility, 28(5)795--847, 40(1)2--2
-
accessible, 44(4)22--22
-
accessing, 2(3)386--414, 18(6)752--779, 21(4)703--746
-
accommodate, 19(1)87--152, 43(1)1--1
-
accommodated, 16(1)151--174, 16(4)1097--1113
-
accommodating, 21(3)677--701
-
accompanied, 27(6)1049--1096, 36(4)14--14, 39(4)14--14
-
accompanying, 14(2)173--200, 19(6)899--915, 33(4)12--12
-
accomplish, 8(4)491--523, 16(1)151--174, 22(2)378--415
-
accomplished, 7(2)183--213, 17(1)63--84, 17(2)264--292, 41(2)10--10
-
accordance, 35(4)14--14
-
accorded, 14(4)471--489
-
according, 10(2)248--266, 14(1)1--27, 16(2)205--258, 17(1)1--15,
19(3)444--461, 20(3)586--634, 28(1)1--69, 28(5)795--847,
30(3)12--12, 31(1)1--1, 37(4)12--12, 40(4)16--16, 41(3)18--18
-
accordingly, 45(1)2--2
-
account, 15(4)706--734, 16(4)1279--1318, 18(6)730--751, 22(1)162--186,
22(2)416--430, 30(6)34--34, 31(1)2--2, 31(3)10--10, 32(4)12--12,
32(4)13--13, 34(2)7--7, 36(4)12--12, 38(1)2--2, 43(2)5--5,
43(4)14--14
-
accounted, 27(6)1344--1395
-
accounting, 22(5)932--972, 41(3)16--16
-
Accumulation, 6(4)487--504, 7(3)490--492
-
accumulator, 11(2)194--211
-
accuracy, 16(1)35--101, 16(5)1431--1448, 17(1)28--44, 18(5)564--614,
20(4)845--868, 21(5)1028--1075, 21(6)1251--1297, 24(6)593--624,
27(6)1270--1343, 29(6)37--37, 31(1)2--2, 31(6)20--20, 34(3)14--14,
37(2)5--5, 37(3)8--8, 39(2)8--8, 40(1)3--3, 41(3)14--14, 43(2)6--6
-
accurate, 9(2)164--197, 9(4)491--542, 16(5)1399--1410, 16(5)1431--1448,
16(6)1768--1810, 18(4)424--453, 20(1)1--50, 23(2)105--186,
26(1)191--220, 26(2)263--300, 27(5)946--987, 29(1)2--2, 30(3)17--17,
32(4)15--15, 40(3)10--10, 41(3)14--14
-
accurate-enough, 39(2)8--8
-
accurately, 17(1)85--122, 19(6)992--1030, 21(5)1028--1075,
22(2)340--377, 31(1)2--2, 39(4)18--18, 40(1)3--3, 41(3)19--19
-
ACE, 10(2)248--266
-
Acharya, Aravind, 38(3)12--12
-
Acharya, Aravind, see Bondhugula, Uday
-
achievable, 19(6)853--898
-
achieve, 11(4)598--632, 14(3)396--416, 15(1)182--205, 16(6)1768--1810,
17(3)535--559, 18(4)424--453, 21(2)324--369, 21(4)703--746,
22(2)224--264, 22(2)265--295, 22(5)932--972, 27(6)1049--1096,
27(6)1147--1215, 27(6)1216--1269, 28(1)134--174, 28(5)942--965,
29(1)3--3, 30(3)17--17, 32(1)2--2, 32(1)3--3, 32(4)14--14, 34(1)3--3,
35(1)5--5, 35(3)9--9, 37(3)8--8, 38(2)4--4, 40(3)12--12, 40(4)17--17,
41(1)6--6, 41(3)16--16, 44(1)4--4
-
achieved, 16(6)1768--1810, 20(6)1131--1170, 22(3)490--505,
28(4)696--714, 31(4)13--13, 31(5)17--17, 34(1)4--4, 36(4)12--12,
43(1)3--3
-
achievement, 41(2)8--8
-
achieving, 9(2)257--276, 15(4)735--742, 17(1)1--15, 20(5)980--1013,
21(2)189--239, 22(1)129--161, 22(3)506--539, 22(6)1002--1036,
30(3)17--17, 32(3)9--9, 36(3)8--8, 37(4)11--11, 40(3)9--9,
40(4)14--14, 41(3)19--19
-
Ackermann, 4(4)668--677, 23(1)73--103
-
Ackermann-hard, 36(4)14--14
-
acknowledge, 38(4)15--15
-
acknowledged, 18(1)30--72, 36(2)7--7
-
ACM, 4(3)518--521, 5(3)502--505, 6(2)215--238, 6(3)440--443,
7(3)493--496, 8(2)244--263, 8(3)408--411, 9(3)463--466,
10(3)470--502, 10(3)504--507, 11(3)483--486, 12(3)493--496,
13(3)443--446, 14(3)462--465, 15(2)211--252, 17(1)180--180,
40(4)18--18, 42(2)11--11
-
acm, 5(2)164--189
-
ACO, 39(4)17--17
-
acquire, release-, 36(2)7--7
-
acquisition, 45(2)10--10
-
across, 16(2)175--204, 16(4)1156--1214, 18(5)528--563, 18(6)659--682,
18(6)730--751, 19(1)188--222, 19(4)568--585, 19(6)853--898,
21(6)1196--1250, 30(4)18--18, 32(4)11--11, 34(2)9--9, 35(1)3--3,
37(1)2--2, 40(2)8--8, 41(4)21--21
-
act, 16(4)1279--1318, 18(6)730--751, 27(6)1147--1215, 38(1)1--1
-
action, 5(3)381--404, 9(2)125--163, 9(2)164--197, 10(4)513--554,
13(1)150--178, 15(4)735--742, 16(3)872--923, 16(5)1543--1571,
19(6)1053--1084, 20(5)917--979, 30(4)20--20, 34(2)10--10, 36(2)6--6
-
action, Unbounded-, 12(1)84--101, 13(3)399--442
-
actionable, 41(3)19--19
-
actions., 29(6)35--35
-
activation, 41(3)18--18
-
active, 4(2)283--294, 17(2)233--263, 18(1)73--108, 20(6)1195--1222,
22(3)506--539, 30(6)30--30, 42(4)18--18, 44(1)5--5
-
activities, 8(4)419--490, 16(1)151--174, 18(4)454--476, 19(3)525--555
-
Activity, 2(4)580--595, 3(3)293--317
-
actor, 39(4)17--17
-
actual, 13(1)150--178, 14(1)1--27, 14(3)299--338, 16(3)387--427,
16(3)954--985, 17(4)561--575, 20(6)1111--1130, 21(2)189--239,
22(2)187--223, 28(4)715--746, 34(1)5--5, 34(3)14--14, 40(1)3--3,
41(3)17--17
-
actually, 7(1)62--79, 17(4)635--671, 18(6)752--779, 19(1)153--187,
19(6)1053--1084, 22(5)932--972, 32(3)8--8, 34(3)13--13, 35(4)14--14
-
actuators, 19(3)525--555
-
acyclic, 3(1)24--48, 4(3)323--344, 4(4)601--614, 6(4)632--646,
16(4)1081--1096, 18(1)30--72, 20(6)1195--1222, 21(2)240--285
-
acyclicity, 4(2)258--282, 16(4)1081--1096
-
AD, 30(2)7--7, 44(3)20--20
-
ad, 13(3)342--371, 16(3)727--774, 19(3)444--461, 33(3)10--10,
34(3)12--12, 37(1)4--4, 40(1)2--2, 40(3)13--13
-
ad-hoc, 30(6)31--31
-
Ada, 2(2)225--233, 4(4)601--614, 5(2)127--163, 8(4)524--546,
10(2)189--203, 12(4)643--669, 15(4)681--705, 22(3)506--539
-
Adams, Stephen, 39(4)17--17
-
Adams, Stephen, see Trinder, Phil
-
adapt, 16(5)1472--1511, 21(2)370--416, 31(3)12--12
-
Adaptable, 9(4)599--617
-
adaptation, 13(2)291--294, 16(1)151--174, 31(3)12--12, 41(2)10--10
-
adapted, 4(1)37--43, 16(1)151--174, 16(5)1572--1612, 18(1)73--108,
21(2)175--188, 34(4)17--17
-
adapting, 14(1)1--27, 21(5)914--947
-
adaptive, 4(1)44--82, 14(1)1--27, 17(2)264--292, 18(4)355--400,
25(3)316--359, 28(6)990--1034, 32(1)3--3, 36(3)10--10, 40(4)14--14
-
adaptivity, 32(3)9--9
-
adaptors, 19(2)292--333
-
add, 13(2)237--268, 16(5)1411--1430, 16(5)1572--1612, 16(6)1661--1674,
20(3)586--634, 21(2)324--369, 22(3)431--470, 28(3)517--575,
32(4)12--12, 36(3)8--8, 36(4)13--13, 38(2)7--7, 39(4)14--14,
40(2)6--6, 41(3)15--15, 43(1)3--3
-
added, 17(4)635--671, 17(4)672--689, 21(3)569--626, 22(3)431--470,
31(2)7--7, 34(1)4--4, 41(3)16--16, 43(2)6--6, 44(4)22--22
-
addendum, 6(4)487--504, 7(3)490--492
-
adding, 7(2)183--213, 12(2)303--339, 16(3)924--938, 18(6)730--751,
21(1)11--45, 21(3)502--526, 27(6)1147--1215, 28(1)70--105,
31(4)16--16, 32(3)9--9, 40(1)3--3
-
addition, 4(4)563--584, 4(4)615--649, 9(2)235--256, 9(3)367--389,
16(3)798--842, 16(3)986--1009, 17(4)635--671, 18(3)235--253,
20(5)980--1013, 20(5)1014--1066, 21(1)138--173, 21(3)527--568,
21(3)569--626, 21(3)627--676, 21(4)790--812, 21(5)977--1027,
22(2)187--223, 28(3)517--575, 28(5)908--941, 29(1)2--2, 29(1)3--3,
30(1)4--4, 30(4)20--20, 33(3)11--11, 35(3)10--10, 36(1)4--4,
36(3)8--8, 38(3)9--9, 38(3)12--12, 40(1)4--4, 41(2)11--11
-
additional, 4(1)113--119, 9(4)491--542, 14(2)127--144, 14(3)339--395,
15(5)771--794, 16(4)1248--1278, 21(1)1--10, 21(3)627--676,
22(2)296--339, 22(6)1037--1080, 28(2)207--255, 29(1)3--3,
30(4)21--21, 31(4)16--16, 31(5)17--17, 34(1)6--6, 36(2)7--7,
36(3)10--10, 36(4)12--12, 41(4)23--23
-
Additionally, 16(2)175--204, 16(3)843--871, 16(6)1768--1810, 36(2)7--7,
40(4)16--16
-
address, 8(4)419--490, 14(2)201--264, 15(4)575--631, 16(2)205--258,
16(3)456--492, 16(3)798--842, 16(3)986--1009, 16(5)1431--1448,
17(2)233--263, 17(2)394--429, 17(3)448--460, 17(4)561--575,
17(5)704--739, 18(1)30--72, 18(3)235--253, 18(3)254--267,
18(6)659--682, 19(3)492--524, 19(5)804--851, 20(5)980--1013,
22(4)673--700, 22(5)773--815, 28(5)848--907, 30(4)22--22,
31(3)11--11, 31(6)20--20, 32(2)5--5, 32(4)11--11, 32(4)12--12,
32(5)17--17, 33(5)15--15, 35(1)3--3, 36(1)4--4, 38(3)12--12,
38(4)16--16, 39(4)15--15, 39(4)17--17, 40(3)12--12, 41(1)4--4,
41(2)13--13, 41(3)16--16
-
address-of, 28(3)429--475
-
addressability, 9(3)367--389
-
addressable, 17(2)233--263
-
addressed, 4(1)44--82, 9(2)257--276, 16(3)577--604, 16(5)1543--1571,
18(2)139--174, 20(4)869--916, 22(5)773--815, 28(5)795--847,
36(1)1--1
-
addressed, byte-, 4(1)21--36
-
addressing, 9(3)367--389, 18(3)235--253, 18(4)454--476, 31(3)10--10,
32(4)11--11, 37(3)10--10, 38(4)15--15, 43(1)4--4
-
addressing, auto-, 32(4)11--11
-
addressing-such, 9(3)367--389
-
adequacy, 5(4)641--655, 16(3)493--523, 16(5)1613--1647, 20(6)1171--1194
-
adequate, 20(6)1111--1130, 20(6)1171--1194, 39(2)8--8, 42(1)2--2
-
adequately, 21(2)370--416
-
adherence, 31(5)18--18
-
adjacent, 22(1)1--44
-
adjoint, 19(6)916--941
-
adjustable, user-, 21(1)138--173
-
adjusted, 38(1)2--2
-
adjusting, 21(1)138--173, 41(2)13--13
-
adjusting, self-, 32(1)3--3, 37(1)3--3
-
adjustment, 38(1)2--2
-
Adl-Tabatabai, Ali-Reza, 22(3)431--470
-
Adl-Tabatabai, Ali-Reza, see Lueh, Guei-Yuan
-
Administration, 8(1)50--87
-
admissible, 20(6)1171--1194
-
admit, 19(4)617--638, 21(3)527--568, 35(2)8--8, 41(1)3--3, 43(3)10--10
-
admitted, 16(3)524--576
-
Admitting, 38(1)1--1
-
adopt, 33(5)16--16, 40(4)16--16
-
adopted, 4(1)1--20, 4(1)113--119, 41(1)6--6, 43(3)10--10, 44(4)22--22
-
adopting, 17(2)366--393
-
adoption, 20(1)116--165, 38(4)14--14
-
ADT, 32(5)18--18
-
advance, 35(1)4--4, 38(2)5--5, 39(2)9--9, 41(1)6--6
-
advanced, 4(1)83--112, 14(2)201--264, 15(1)133--181, 16(3)305--327,
17(3)487--506, 21(2)286--323, 22(5)932--972, 27(6)1097--1146,
30(6)32--32, 32(4)14--14, 40(4)16--16, 42(1)3--3
-
advantage, 6(4)546--572, 8(4)577--608, 9(2)125--163, 13(1)21--51,
14(2)201--264, 16(4)1114--1116, 17(1)28--44, 18(6)752--779,
19(1)188--222, 20(1)51--115, 20(3)483--545, 20(6)1131--1170,
21(3)502--526, 22(4)673--700, 22(5)816--860, 22(6)973--1001,
27(6)1097--1146, 32(4)11--11, 32(4)14--14, 34(4)17--17, 35(1)2--2,
40(1)1--1, 43(1)3--3, 45(4)20--20
-
advantageous, 16(3)1010--1023, 31(1)2--2
-
adversarial, 43(1)1--1
-
adversely, 29(6)35--35
-
advertising, 39(3)10--10
-
advice, 26(5)890--910, 29(1)2--2, 34(3)12--12
-
advocated, 4(1)1--20, 14(4)589--616
-
advocates, 31(2)6--6
-
Aehlig, Klaus, 34(3)14--14
-
Aehlig, Klaus, see Hoffmann, Jan
-
\AEminium, 36(1)2--2
-
Aerial, 32(4)13--13
-
Afek, Yehuda, 15(1)182--205, 16(3)939--953
-
Afek:1993:LC, 15(1)182--205
-
Afek:1994:BFF, 16(3)939--953
-
affect, 9(3)319--349, 17(1)123--156, 17(3)487--506, 17(4)561--575,
19(1)1--6, 21(4)813--847, 29(1)3--3, 29(6)35--35, 38(4)16--16,
41(3)18--18
-
affected, 17(3)535--559, 21(5)948--976, 32(1)3--3
-
affecting, 14(2)173--200, 30(5)25--25
-
affine, 20(3)635--678, 22(5)773--815, 29(5)29--29, 33(3)11--11,
34(3)11--11, 34(4)16--16, 36(4)11--11, 37(4)11--11, 38(2)5--5,
38(3)12--12, 40(1)3--3, 40(2)7--7, 41(1)2--2, 41(2)10--10
-
affine, quasi-, 37(4)12--12
-
affine-relation, 36(4)11--11
-
affinity, 41(2)10--10
-
Affix, 7(4)560--599
-
afford, 8(4)491--523
-
affordable, 9(2)277--295
-
aforementioned, 13(1)150--178
-
AFP, 32(1)3--3
-
AG, 17(2)228--232
-
again, 17(2)293--330, 21(3)430--501, 22(2)187--223, 22(3)540--582
-
against, 6(4)632--646, 18(5)528--563, 21(3)627--676, 30(1)4--4,
30(6)30--30, 37(1)4--4, 41(2)12--12, 41(3)16--16, 41(3)18--18,
42(2)8--8, 43(1)1--1, 43(1)3--3, 45(2)13--13
-
age, 39(1)3--3
-
agent, 13(1)99--123, 16(1)151--174, 19(5)804--851, 26(1)57--124,
28(2)290--330, 30(6)34--34, 32(4)12--12, 37(3)9--9
-
Ager, Mads Sig, 28(4)696--714
-
Ager:2006:FPE, 28(4)696--714
-
Aggarwal, S., 12(2)303--339
-
Aggarwal:1990:ALP, 12(2)303--339
-
aggravated, 45(1)6--6
-
aggregate, 16(3)328--369, 16(5)1399--1410, 20(3)483--545, 27(1)91--125
-
aggregation, 44(1)5--5
-
aggressive, 16(4)1156--1214, 16(5)1449--1466, 18(3)300--324,
18(6)659--682, 19(4)557--567, 22(2)265--295, 22(2)378--415,
38(4)16--16
-
aggressively, 27(6)1097--1146, 30(4)23--23, 34(2)9--9
-
agnostic, 37(1)1--1
-
agnostic, language-, 40(2)8--8
-
ago, 38(3)9--9, 39(2)7--7
-
agree, 4(3)382--401, 43(1)4--4
-
agreement, 4(3)382--401
-
AGs, 17(2)228--232
-
Agten, Pieter, 37(2)6--6
-
Agten, Pieter, see Patrignani, Marco
-
ahead, 28(5)848--907, 31(5)17--17, 34(2)7--7
-
Ahead, Look-, 4(4)615--649
-
ahead, look-, 4(4)615--649, 13(1)150--178
-
ahead-of-time, 34(2)7--7, 45(4)20--20
-
Ahmed, Amal, 32(3)7--7, 42(1)1--1
-
Ahmed:2010:SFT, 32(3)7--7
-
Ahmed:2020:ISI, 42(1)1--1
-
Aho, Alfred V., 11(4)491--516
-
Aho:1989:CGU, 11(4)491--516
-
aid, 4(3)323--344, 7(2)270--298, 8(1)154--182, 9(2)257--276,
9(3)367--389, 11(2)169--193, 13(4)491--530, 14(2)173--200,
14(2)265--297, 15(1)36--72, 16(3)387--427, 16(4)1097--1113,
16(5)1512--1542, 16(5)1648--1659, 16(6)1661--1674, 17(1)157--179,
17(2)197--216, 18(3)235--253, 18(3)300--324, 19(2)334--385,
19(4)586--616, 20(6)1111--1130, 21(2)370--416, 27(6)1049--1096,
44(2)12--12
-
AIDED, COMPUTER-, 7(2)334--347
-
aided, Computer-, 16(1)102--150, 16(3)843--871
-
Aids**, 21(5)977--1027
-
Aiken, Alex, 28(6)1035--1087, 29(3)16--16, 30(3)15--15, 30(5)27--27
-
Aiken, Alex, see Foster, Jeffrey S.,
see Terauchi, Tachio, \see{Xie, Yichen
-
Aiken, Alexander, 17(1)63--84
-
Aiken:1995:SST, 17(1)63--84
-
aim, 9(2)125--163, 13(1)150--178, 16(2)205--258, 20(2)344--387,
35(3)9--9, 38(2)5--5, 41(2)12--12, 43(1)3--3, 43(2)5--5, 44(4)22--22
-
aimed, 5(2)236--264
-
aiming, 30(3)17--17, 38(1)3--3
-
{A{\"{}\i}t}-Kaci, Hassan, 11(1)115--146
-
Aït-Kaci, Hassan, 16(4)1279--1318
-
Ait-Kaci:1989:EIL, 11(1)115--146
-
Ait-Kaci:1994:FPC, 16(4)1279--1318
-
AIX, 19(6)853--898
-
AJ, 34(1)4--4
-
akin, 13(2)269--290
-
al, 16(1)35--101, 16(3)939--953, 16(6)1675--1683, 18(3)300--324,
20(6)1297--1322, 21(2)175--188, 27(6)1097--1146, 27(6)1344--1395,
30(5)25--25, 36(1)3--3, 37(3)8--8, 39(1)3--3, 39(2)9--9, 40(1)2--2,
40(4)16--16, 40(4)18--18, 41(4)21--21, 42(2)11--11
-
alarm, 38(2)6--6, 39(4)16--16
-
albeit, 35(1)5--5
-
Aldrich, Jonathan, 36(1)2--2, 36(4)12--12, 42(3)14--14, 44(1)5--5
-
Aldrich, Jonathan, see Coblenz, Michael,
see Garcia, Ronald, \see{Melicher, Darya,
see Stork, Sven
-
algebra, 4(2)226--238, 4(4)733--757, 14(3)339--395, 15(4)681--705,
16(4)1361--1398, 16(6)1875--1903, 19(3)427--443, 19(6)899--915,
21(6)1251--1297, 28(5)848--907, 30(6)34--34, 32(4)14--14,
32(6)21--21, 33(6)21--21, 34(4)17--17, 36(4)11--11, 38(1)3--3,
43(1)4--4
-
ALGEBRAIC, 10(1)118--155, 13(3)315--341, 13(4)451--490, 14(2)147--172,
14(3)339--395, 14(4)574--588, 17(2)366--393, 17(3)487--506,
18(1)30--72, 18(4)477--518, 18(6)730--751, 19(3)427--443,
19(3)462--491, 19(6)899--915
-
algebraic, 4(1)21--36, 4(2)226--238, 4(3)362--381, 4(4)687--710,
4(4)711--732, 4(4)733--757, 8(2)185--214, 9(1)54--99, 9(3)441--462,
10(1)118--155, 10(3)374--402, 14(3)339--395, 15(5)876--895,
16(4)1361--1398, 16(5)1411--1430, 16(6)1737--1767, 17(2)366--393,
19(3)427--443, 19(5)639--684, 19(5)751--803, 20(5)1067--1109,
21(2)286--323, 21(3)627--676, 22(6)1002--1036, 28(2)290--330,
28(5)848--907, 29(1)1--1, 34(4)17--17, 39(4)18--18, 40(3)9--9,
41(4)23--23, 42(1)4--4, 43(1)4--4, 45(3)15--15
-
algebraically, 4(3)362--381, 4(4)687--710
-
Alglave, Jade, 36(2)7--7, 39(2)6--6, 43(2)8--8
-
Alglave:2014:HCM, 36(2)7--7
-
Alglave:2017:DSF, 39(2)6--6
-
Alglave:2021:ACF, 43(2)8--8
-
ALGOL, 5(2)236--264, 8(4)547--576
-
Algol, 14(2)127--144
-
ALGOL-68, 7(2)214--243, 9(3)390--407
-
algorithmic, 4(3)362--381, 9(2)257--276, 9(4)473--490, 9(4)646--685,
17(3)461--486, 21(3)677--701, 27(6)1097--1146, 34(1)6--6,
35(3)10--10, 36(4)14--14, 39(1)4--4, 40(2)7--7, 40(3)9--9,
40(3)10--10, 41(4)23--23, 42(1)2--2
-
algorithmically, 32(1)2--2
-
ALGORITHMS, 7(2)348--357, 10(1)1--50, 11(1)33--56, 11(1)57--66,
11(3)404--417, 11(4)491--516, 11(4)562--584, 11(4)585--597,
12(1)84--101, 12(2)203--223, 13(3)399--442, 15(2)312--336,
15(4)632--658, 16(4)1117--1155, 16(5)1472--1511, 17(2)331--365,
17(3)487--506, 17(6)805--843, 18(5)528--563, 20(2)259--273,
20(6)1265--1296
-
ALI, 5(3)405--421
-
Ali, Khayri A. M., 23(4)472--602
-
Ali, Khayri A. M., see Gupta, Gopal
-
alias, 16(5)1467--1471, 19(1)1--6, 21(4)848--894, 23(1)30--72,
23(2)105--186, 29(6)35--35, 30(3)13--13, 41(4)23--23
-
Alias, May-, 19(1)1--6
-
alias, may-, 16(5)1467--1471, 19(1)1--6
-
alias, must-, 16(5)1467--1471
-
aliased, 31(3)11--11
-
aliasing, 7(4)637--655, 13(2)181--210, 16(1)35--101, 16(2)175--204,
16(5)1467--1471, 19(1)7--47, 20(3)635--678, 21(4)848--894,
22(4)701--771, 23(2)105--186, 31(1)1--1, 32(3)8--8, 33(6)20--20,
35(2)6--6, 38(4)14--14, 42(3)14--14
-
align, 41(4)23--23, 46(1)3--3
-
aligned, 17(1)123--156
-
aligning, 17(1)123--156
-
alignment, 9(3)367--389, 17(1)123--156, 21(6)1251--1297, 44(4)25--25
-
alike, 30(6)31--31
-
All-Purpose, 8(2)215--243
-
Allen, Randy, 9(4)491--542
-
Allen:1987:ATF, 9(4)491--542
-
Allison, Lloyd, 15(1)206--208
-
Allison, Lloyd, see Finlay, Alan
-
allocate, 9(2)235--256, 13(1)1--20, 21(1)138--173, 21(5)895--913,
34(3)13--13, 38(3)9--9
-
allocate-on-write-miss, 14(2)265--297
-
allocated, 8(4)419--490, 14(1)28--53, 20(4)724--767, 21(3)430--501,
28(4)715--746, 32(3)8--8, 32(5)18--18, 32(6)23--23, 34(3)13--13,
38(3)9--9, 41(1)3--3, 41(3)18--18, 44(4)25--25
-
allocated, heap-, 17(2)233--263, 20(1)1--50, 32(2)5--5,
37(1)4--4
-
allocated, stack-, 43(1)3--3
-
allocating, 13(1)1--20, 16(3)370--386, 18(6)683--710, 21(3)430--501,
29(1)2--2, 29(2)9--9
-
allocation, 1(1)71--83, 1(2)287--294, 9(3)367--389, 11(1)1--32,
11(1)90--114, 11(3)388--403, 12(4)501--536, 14(3)299--338,
16(3)370--386, 16(3)428--455, 17(3)535--559, 18(3)300--324,
18(5)615--647, 18(6)683--710, 21(5)895--913, 22(1)129--161,
22(3)431--470, 22(5)773--815, 25(6)876--910, 26(6)938--974,
28(3)476--516, 28(4)715--746, 29(1)2--2, 30(4)23--23, 32(4)13--13,
32(4)15--15, 34(3)13--13, 35(2)6--6, 35(4)12--12, 37(2)6--6,
38(3)11--11, 41(3)17--17, 43(4)15--15, 44(4)25--25, 45(2)10--10
-
allocation, closure-, 22(1)129--161
-
allocation, write-, 14(2)265--297
-
Allocation/deallocation, 7(1)62--79, 10(4)555--578, 11(3)388--403,
14(1)1--27, 18(5)615--647, 21(3)430--501
-
allocator, 16(3)428--455, 18(3)300--324, 21(5)895--913, 22(3)431--470,
32(4)15--15, 35(4)13--13
-
allowed, 7(1)62--79, 15(4)632--658, 16(2)259--303, 16(4)1081--1096,
18(5)615--647, 27(6)1097--1146, 36(4)13--13
-
allowing, 6(4)527--545, 9(2)277--295, 16(3)577--604, 16(3)649--686,
17(2)394--429, 17(4)600--634, 18(1)16--29, 18(4)454--476,
18(5)615--647, 20(6)1223--1250, 21(2)189--239, 28(1)134--174,
28(3)517--575, 29(2)13--13, 31(2)7--7, 34(3)14--14, 35(1)3--3,
38(4)13--13, 41(1)3--3, 43(1)2--2
-
Alma-O, 20(5)1014--1066
-
almost, 18(3)268--299, 18(5)615--647, 19(3)444--461, 19(4)557--567,
21(2)175--188, 21(2)324--369, 21(5)895--913, 29(1)2--2, 30(5)28--28,
30(6)33--33, 35(2)7--7, 40(3)9--9, 41(2)10--10
-
almost-linear, 17(3)487--506
-
almost-sure, 40(2)7--7
-
alone, stand-, 13(1)1--20, 33(1)3--3
-
along, 4(4)585--600, 8(4)524--546, 16(4)1319--1360, 17(2)264--292,
17(3)535--559, 18(1)1--15, 20(5)980--1013, 21(5)977--1027,
22(3)431--470, 22(3)540--582, 30(2)8--8, 31(3)12--12, 31(6)20--20,
32(4)13--13, 32(6)23--23, 33(4)13--13, 36(4)11--11, 38(2)5--5,
38(2)7--7, 38(3)11--11, 41(1)2--2, 43(2)8--8
-
along, sets-, 22(5)861--931
-
Alpern, Bowen, 11(1)147--167
-
Alpern:1989:VTP, 11(1)147--167
-
Alpha, 19(3)492--524, 22(5)773--815
-
alpha-beta, 9(2)235--256, 20(5)1014--1066
-
alphabet, 29(1)3--3, 36(3)9--9, 38(1)1--1
-
Alpuente, María, 20(4)768--844
-
Alpuente:1998:PEF, 20(4)768--844
-
already, 16(3)798--842, 18(5)564--614, 22(1)129--161, 22(2)187--223,
22(4)638--672, 27(6)1097--1146, 40(2)7--7
-
alter, 17(1)63--84, 21(4)703--746, 30(5)25--25, 40(1)3--3
-
alteration, 43(1)1--1
-
altering, 37(1)3--3
-
alternate, 14(4)490--520
-
alternating, 22(1)87--128, 37(3)9--9
-
alternating-time, 37(3)9--9
-
alternation, 7(2)270--298, 10(1)87--117, 12(2)203--223, 16(3)924--938,
17(2)366--393, 38(4)13--13
-
alternative, 2(2)153--172, 7(1)10--36, 8(4)577--608, 11(4)491--516,
11(4)598--632, 15(4)735--742, 16(3)524--576, 16(3)954--985,
16(5)1613--1647, 18(4)454--476, 19(3)525--555, 20(2)344--387,
21(3)569--626, 22(4)701--771, 29(2)13--13, 30(1)4--4, 30(4)21--21,
30(6)33--33, 32(4)13--13, 33(3)9--9, 34(1)4--4, 34(3)12--12,
41(3)16--16, 43(1)1--1, 43(2)8--8
-
alternatively, 18(2)139--174, 42(1)3--3
-
although, 6(4)527--545, 9(2)125--163, 9(3)408--440, 9(4)491--542,
10(2)189--203, 14(2)173--200, 16(1)3--34, 16(3)370--386,
16(3)607--648, 16(3)798--842, 16(4)1156--1214, 16(5)1411--1430,
16(5)1613--1647, 16(6)1661--1674, 17(2)228--232, 17(2)394--429,
17(3)431--447, 17(4)635--671, 18(1)30--72, 18(6)752--779,
19(6)1053--1084, 20(2)259--273, 20(3)483--545, 20(6)1297--1322,
21(6)1137--1195, 22(2)265--295, 28(3)517--575, 28(4)696--714,
31(3)9--9, 32(3)8--8, 32(4)15--15, 33(3)10--10, 34(1)3--3,
37(4)11--11, 38(2)5--5, 39(4)14--14, 40(1)2--2, 40(1)3--3, 40(1)4--4,
41(2)13--13, 41(3)18--18, 45(3)16--16
-
Altucher, Rita, 23(2)105--186
-
Altucher, Rita, see Ryder, Barbara G.
-
ALU, 16(5)1512--1542
-
Alur, Rajeev, 20(6)1171--1194, 23(3)273--303, 26(2)339--369,
27(4)786--818, 33(5)15--15
-
Alur:1998:FF, 20(6)1171--1194
-
Alur:2001:MCH, 23(3)273--303
-
Alur:2004:MRH, 26(2)339--369
-
Alur:2005:ARS, 27(4)786--818
-
Alur:2011:SMC, 33(5)15--15
-
Alway, 1(2)258--265
-
always, 6(4)632--646, 9(4)491--542, 15(4)632--658, 15(5)745--770,
15(5)771--794, 16(3)1024--1050, 16(5)1449--1466, 18(2)175--234,
20(2)259--273, 20(4)707--723, 20(4)724--767, 21(1)90--137,
23(2)105--186, 29(1)2--2, 31(3)9--9, 31(4)13--13, 32(1)2--2,
34(1)4--4, 38(2)6--6, 38(3)8--8, 40(3)11--11, 40(3)13--13
-
Amadio, 17(4)576--599, 18(5)519--527
-
Amadio, Roberto M., 15(4)575--631, 25(5)549--577
-
Amadio:1993:SRT, 15(4)575--631
-
Amadio:2003:RDC, 25(5)549--577
-
Amaral, José Nelson, 30(1)2--2, 38(4)15--15,
see Blackburn, Stephen M.,
see Zhao, Peng
-
Amarasinghe, Saman, 29(6)34--34
-
Amarasinghe, Saman, see Thies, William
-
Amarasinghe, Saman P., 27(4)662--731
-
Amarasinghe, Saman P., see Hall, Mary W.
-
Amber, 39(1)4--4, 44(4)24--24
-
ambient, 25(1)1--69, 26(1)57--124, 28(2)290--330
-
ambiguity, 4(4)601--614, 16(3)1024--1050, 20(5)980--1013
-
ambiguous, 16(3)1024--1050, 22(6)973--1001, 28(3)389--428, 39(4)14--14,
45(2)9--9
-
AMC, 37(3)9--9
-
AME, 33(1)2--2
-
ameliorates, 16(3)387--427
-
amelioration, 19(4)617--638
-
amenable, 4(1)44--82, 16(1)35--101, 30(4)20--20, 45(2)8--8
-
amendments, 39(4)14--14
-
Amiel, Eric, 20(1)116--165
-
Amiel, Eric, see Dujardin, Eric
-
amortization, 34(3)14--14
-
amortized, 14(4)490--520, 34(3)14--14, 44(3)14--14
-
amount, 8(1)109--139, 16(3)328--369, 16(3)428--455, 16(4)1156--1214,
17(4)600--634, 18(4)477--518, 20(2)344--387, 20(3)635--678,
21(1)138--173, 21(4)703--746, 22(2)378--415, 28(3)429--475,
28(5)908--941, 34(1)4--4, 38(3)11--11, 40(4)14--14, 41(2)13--13,
41(3)19--19
-
amounts., 31(5)17--17
-
Amour, Vincent, St-, 40(3)10--10, 41(1)4--4
-
Amram, Amir M., Ben-, 29(1)5--5, 30(3)16--16, 34(4)16--16
-
Amtoft, Torben, 29(5)27--27, 42(2)6--6
-
Amtoft, Torben, see Ranganath, Venkatesh Prasad
-
Amtoft:2020:TSI, 42(2)6--6
-
Amulet, 23(6)776--796
-
an, 10(3)503--504, 18(3)354--354
-
an, architecture-, 37(2)6--6
-
analog, 22(1)162--186
-
analogous, 4(2)149--178, 20(6)1297--1322
-
analogously, 9(3)319--349
-
analogue, 40(4)17--17
-
analogy, 16(2)259--303, 17(1)157--179
-
analyse, 13(2)181--210, 13(2)269--290, 16(3)607--648, 16(3)649--686,
16(5)1431--1448, 16(5)1467--1471, 17(1)28--44, 17(1)47--62,
17(2)181--196, 17(2)233--263, 17(2)331--365, 17(5)777--803,
18(3)268--299, 19(1)1--6, 19(4)568--585, 19(5)751--803,
20(1)166--207, 20(3)546--585, 20(5)980--1013, 20(6)1111--1130,
20(6)1297--1322, 21(6)1137--1195, 22(1)162--186, 22(2)340--377,
22(4)701--771, 23(2)105--186, 25(5)578--630, 30(4)19--19,
30(5)29--29, 32(1)1--1, 32(3)8--8, 32(4)15--15, 32(5)16--16,
33(1)3--3, 34(2)7--7, 34(2)9--9, 34(3)14--14, 35(1)5--5, 35(4)14--14,
36(3)8--8, 37(1)1--1, 38(2)6--6, 39(2)7--7, 39(4)18--18, 40(3)13--13,
41(1)6--6, 41(3)14--14, 41(3)16--16, 42(2)10--10, 43(2)6--6,
44(3)15--15, 46(1)4--4
-
analyser, 28(4)619--695, 40(2)5--5
-
analysing, 36(2)7--7
-
ANALYSIS, 7(2)348--357, 10(1)1--50, 10(2)313--337, 11(1)33--56,
11(1)57--66, 11(3)404--417, 11(4)491--516, 11(4)562--584,
11(4)585--597, 12(1)84--101, 12(2)203--223, 13(3)399--442,
14(2)127--144, 14(3)339--395, 15(2)312--336, 15(4)632--658,
16(4)1117--1155, 16(5)1472--1511, 17(2)331--365, 17(3)487--506,
17(6)805--843, 18(2)139--174, 18(3)325--353, 18(5)528--563,
20(2)259--273, 20(4)869--916, 20(6)1265--1296
-
analysis, dataflow-, 39(2)9--9
-
analysis, lexical-, 20(2)259--273
-
analysis, numerical-, 39(2)9--9
-
Analysis, Pre-, 38(2)6--6
-
analysis, pre-, 38(2)6--6
-
analysis, program-, 22(1)162--186, 44(2)11--11
-
analysis, shape-, 20(1)1--50, 32(5)18--18
-
analysis, static-, 32(6)23--23
-
analysis-driven, 28(4)715--746
-
analysis-guided, pre-, 38(2)6--6
-
analysis-results, 41(3)16--16
-
analysis., 31(3)10--10
-
analysis/verification, 32(6)23--23
-
analysts, 39(2)9--9, 43(2)6--6
-
analytical, 19(6)1053--1084, 30(5)28--28
-
analytically, 17(4)635--671, 19(6)1053--1084
-
analytics, 39(1)5--5
-
analyze, 4(1)44--82, 10(2)248--266, 14(1)54--106, 16(3)1051--1077,
18(5)564--614, 18(6)659--682, 19(1)153--187, 19(5)639--684,
19(6)942--991, 20(5)917--979, 21(1)11--45, 21(1)138--173,
21(6)1196--1250, 22(2)187--223, 23(1)30--72, 26(2)263--300,
29(1)3--3, 32(4)13--13, 32(6)23--23, 36(3)8--8, 37(4)12--12,
41(3)19--19
-
analyzed, 4(2)179--195, 16(1)35--101, 19(5)751--803, 21(2)370--416,
22(2)187--223, 29(5)29--29, 30(4)23--23, 30(6)32--32, 31(6)20--20,
34(1)5--5, 35(1)4--4, 39(4)18--18
-
analyzer, 4(2)149--178, 16(2)205--258, 16(5)1449--1466, 17(1)1--15,
19(3)492--524, 19(3)525--555, 19(6)992--1030, 20(3)635--678,
21(2)189--239, 22(2)187--223, 28(2)256--289, 32(3)8--8, 32(6)23--23,
35(4)14--14, 36(3)8--8, 36(4)11--11, 38(2)6--6, 39(4)15--15,
39(4)16--16, 40(4)14--14, 41(2)13--13, 41(3)18--18, 46(1)4--4
-
analyzing, 7(3)380--403, 14(1)54--106, 14(3)299--338, 15(1)36--72,
16(4)1156--1214, 18(4)477--518, 21(2)240--285, 21(3)417--429,
21(3)627--676, 21(4)703--746, 21(4)747--789, 22(3)540--582,
26(2)301--338, 32(5)18--18, 32(6)23--23, 34(2)9--9, 34(3)14--14,
35(1)4--4, 37(3)8--8, 38(4)13--13, 41(3)19--19, 42(3)15--15
-
ancestor, 10(2)204--214
-
anchor, 27(6)1147--1215
-
anchoring, 27(6)1147--1215
-
Ancona, D., 29(2)13--13
-
Ancona, Davide, 25(5)641--712
-
Ancona, M., 13(1)150--178
-
Ancona:1991:ECL, 13(1)150--178
-
Ancona:2003:JDJ, 25(5)641--712
-
Ancona:2007:PCT, 29(2)13--13
-
and, enhancements-, 38(3)9--9
-
and, semantics-, 40(1)4--4
-
and, task-, 20(6)1131--1170
-
and-conquer, divide-, 4(4)733--757, 19(3)444--461, 32(3)9--9,
41(4)20--20
-
and-effects, type-, 22(4)701--771
-
and-hare, tortoise-, 45(1)1--1
-
and-prune, cache-, 20(3)546--585
-
and-swap, compare-, 28(1)1--69, 40(3)12--12
-
and-sweep'', ``mark-, 15(1)1--35
-
and-sweep, mark-, 15(1)1--35, 28(5)908--941
-
Andersen, 35(1)5--5
-
Andersen, Leif, 41(1)4--4
-
Andersen, Per, 30(2)9--9
-
Andersen, Per, see Cooke, Daniel E.
-
Andersen, Tycho, 36(4)11--11
-
Andersen, Tycho, see Elder, Matt
-
Andersen:2019:FSP, 41(1)4--4
-
Anderson, C., 29(2)13--13
-
Anderson, C., see Ancona, D.
-
Anderson, S. O., 3(3)318--347
-
Anderson:1981:LLC, 3(3)318--347
-
And/Or, 2(1)1--17
-
and/or, 16(2)175--204, 16(3)1010--1023, 20(5)980--1013, 21(4)703--746,
32(4)14--14, 41(1)2--2
-
Andorra, 16(1)3--34
-
André, F., 3(1)11--23
-
Andre:1981:MAC, 3(1)11--23
-
Andreae, Chris, 32(2)4--4
-
Andreae, Chris, see Markstrum, Shane
-
Andrew, 14(4)471--489
-
Andrews, Gregory R., 2(1)56--76, 3(4)405--430, 10(1)51--86
-
Andrews:1980:AAI, 2(1)56--76
-
Andrews:1981:SR, 3(4)405--430
-
Andrews:1988:OSL, 10(1)51--86
-
Android, 35(4)14--14, 41(3)18--18
-
angelic, 30(6)34--34, 31(4)16--16, 40(2)7--7
-
Anger, Frank D., 11(3)404--417
-
Anger:1989:LIC, 11(3)404--417
-
Ann, 6(2)215--238
-
annotate, 17(1)63--84
-
annotated, 6(2)159--174, 19(4)617--638, 31(1)1--1
-
annotated, hand-, 28(2)207--255
-
annotating, 22(1)45--86
-
annotation, 6(2)159--174, 16(3)524--576, 21(3)502--526, 22(1)1--44,
27(6)1049--1096, 28(2)207--255, 28(5)795--847, 32(1)2--2, 32(3)8--8,
32(6)22--22, 34(1)4--4, 35(2)8--8, 40(4)16--16, 43(3)10--10
-
annotation, user-, 30(5)28--28
-
announce, 14(2)147--172
-
anomaly, 8(4)577--608, 21(3)677--701, 22(3)506--539, 36(2)7--7
-
anonymous, 4(3)522--525, 5(3)506--509, 6(3)444--447, 7(3)497--500,
8(3)412--415, 8(4)609--610, 9(3)467--470, 10(3)508--511,
10(4)641--642, 11(3)487--490, 11(4)669--670, 12(3)497--500,
12(4)700--701, 13(3)447--450, 13(4)634--635, 14(3)466--469,
14(4)617--618, 16(6)1904--1907, 17(6)938--940, 18(5)528--563,
18(6)752--779, 20(6)1323--1325, 24(4)369--408, 24(5)455--490,
40(4)18--18
-
Anonymous:1982:IA, 4(3)522--525
-
Anonymous:1983:IA, 5(3)506--509
-
Anonymous:1984:IA, 6(3)444--447
-
Anonymous:1985:IA, 7(3)497--500
-
Anonymous:1986:AI, 8(4)609--610
-
Anonymous:1986:IA, 8(3)412--415
-
Anonymous:1987:IA, 9(3)467--470
-
Anonymous:1988:AI, 10(4)641--642
-
Anonymous:1988:IA, 10(3)508--511
-
Anonymous:1989:AI, 11(4)669--670
-
Anonymous:1989:IA, 11(3)487--490
-
Anonymous:1990:AI, 12(4)700--701
-
Anonymous:1990:IA, 12(3)497--500
-
Anonymous:1991:AI, 13(4)634--635
-
Anonymous:1991:IA, 13(3)447--450
-
Anonymous:1992:AI, 14(4)617--618
-
Anonymous:1992:IA, 14(3)466--469
-
Anonymous:1994:AI, 16(6)1904--1907
-
Anonymous:1995:AI, 17(6)938--940
-
Anonymous:1998:AI, 20(6)1323--1325
-
Anonymous:2002:ADC, 24(4)369--408
-
Anonymous:2002:LDD, 24(5)455--490
-
Anonymous:2018:CCL, 40(4)18--18
-
another, 4(2)149--178, 4(2)179--195, 6(2)159--174, 9(3)319--349,
13(1)124--149, 15(4)706--734, 16(3)872--923, 16(3)1010--1023,
16(5)1648--1659, 16(6)1699--1718, 16(6)1842--1874, 17(3)431--447,
18(6)752--779, 19(4)557--567, 19(6)853--898, 20(6)1297--1322,
21(2)175--188, 21(6)1196--1250, 22(3)490--505, 30(3)17--17,
31(5)19--19, 32(4)12--12, 34(2)8--8, 39(1)5--5, 39(2)7--7, 40(2)8--8
-
ANSI, 21(2)324--369
-
Anson, Ed, 9(4)567--581
-
Anson:1987:GIC, 9(4)567--581
-
answer, 4(4)711--732, 13(2)269--290, 16(6)1675--1683, 16(6)1768--1810,
17(1)47--62, 19(5)804--851, 20(3)635--678, 22(1)162--186, 36(2)5--5,
38(1)2--2, 40(2)7--7, 40(3)9--9, 40(4)14--14, 41(4)23--23
-
answered, 40(3)9--9, 41(4)21--21, 41(4)23--23
-
answering, 13(2)269--290, 38(1)3--3, 40(3)9--9
-
answering, Question-, 15(5)795--825, 19(6)992--1030
-
answers., 14(2)147--172
-
Ant, 39(4)17--17
-
ante, 28(4)747--793
-
antidependency, 9(2)257--276
-
antimessages, 7(3)404--425, 15(5)771--794
-
any, 4(1)44--82, 4(1)113--119, 4(3)382--401, 4(3)455--495, 4(4)615--649,
6(4)527--545, 9(2)235--256, 9(3)408--440, 13(1)52--98,
13(1)124--149, 14(1)1--27, 14(3)396--416, 15(4)659--680,
15(4)681--705, 16(3)456--492, 16(3)524--576, 16(3)607--648,
16(3)687--726, 16(4)1081--1096, 16(4)1117--1155, 16(4)1156--1214,
16(4)1319--1360, 16(6)1699--1718, 16(6)1811--1841, 17(1)63--84,
17(2)293--330, 17(2)331--365, 18(1)30--72, 18(3)235--253,
18(3)300--324, 18(5)615--647, 18(6)711--729, 19(1)48--86,
19(1)87--152, 19(4)557--567, 19(4)617--638, 19(6)1085--1087,
20(1)51--115, 20(1)116--165, 20(1)208--258, 20(2)274--301,
20(3)635--678, 20(4)845--868, 20(5)1014--1066, 20(6)1171--1194,
21(2)240--285, 21(3)430--501, 21(3)502--526, 21(3)677--701,
21(4)813--847, 22(3)471--489, 27(6)1270--1343, 28(1)1--69,
28(1)70--105, 28(4)715--746, 28(5)795--847, 29(1)2--2, 30(4)23--23,
30(5)29--29, 30(6)30--30, 31(3)10--10, 31(4)16--16, 31(6)21--21,
31(6)22--22, 32(3)8--8, 32(3)9--9, 32(4)11--11, 32(5)16--16,
32(5)17--17, 32(6)22--22, 33(3)10--10, 34(2)7--7, 35(1)5--5,
35(3)9--9, 36(3)10--10, 37(1)3--3, 38(2)4--4, 38(3)11--11,
38(3)12--12, 39(3)11--11, 39(4)16--16, 39(4)18--18, 40(1)2--2,
40(1)4--4, 41(1)3--3, 43(2)8--8, 45(4)22--22
-
anything, 16(4)1279--1318
-
anywhere, 13(1)52--98
-
AOP, 34(3)12--12
-
AOT, 45(4)20--20
-
apart, 4(2)149--178
-
Apel, Sven, 32(5)19--19
-
Apel:2010:CUF, 32(5)19--19
-
API, 30(4)22--22, 32(2)4--4, 39(4)15--15, 40(2)8--8, 44(4)25--25
-
APL, 4(4)585--600, 6(3)297--313, 6(3)314--332
-
apparent, 45(2)10--10
-
apparently, 17(1)63--84
-
appear, 4(4)687--710, 15(2)211--252, 16(4)1319--1360, 16(5)1411--1430,
17(2)331--365, 17(5)777--803, 19(1)48--86, 21(3)569--626,
22(2)187--223, 30(3)12--12, 30(6)32--32, 33(1)4--4, 35(1)3--3,
37(3)8--8, 42(3)15--15
-
appearance, 31(4)15--15
-
appeared, 6(2)215--238, 8(2)244--263, 10(3)470--502, 11(4)598--632
-
appearing, 21(6)1077--1136
-
Appel, A. W., 15(5)743--744, 16(6)1699--1718
-
Appel, Andrew, 16(1)1--2, 16(4)1079--1079
-
Appel, Andrew W., 15(2)209--210, 18(3)300--324, 21(4)813--847,
22(1)129--161, 23(5)657--683, 32(3)7--7, 37(2)7--7
-
Appel, Andrew W., see Ahmed, Amal,
see Blume, Matthias, \see{George, Lal,
see Shao, Zhong
-
Appel:1993:Ea, 15(2)209--210
-
Appel:1993:Eb, 15(5)743--744
-
Appel:1994:ABG, 16(6)1699--1718
-
Appel:1994:E, 16(4)1079--1079
-
Appel:1994:PS, 16(1)1--2
-
Appel:2001:IMR, 23(5)657--683
-
Appel:2015:VCP, 37(2)7--7
-
Appelbe, William F., 6(2)129--158
-
Appelbe:1984:ECS, 6(2)129--158
-
applicability, 2(3)307--320, 10(3)374--402, 19(1)188--222,
20(2)274--301, 21(2)189--239, 32(5)17--17, 35(3)9--9, 39(3)11--11,
40(2)6--6, 40(3)11--11, 42(3)14--14, 44(4)25--25
-
applicable, 4(3)455--495, 4(4)733--757, 7(1)62--79, 9(2)164--197,
16(3)305--327, 16(5)1472--1511, 17(2)331--365, 18(5)528--563,
19(3)413--426, 20(1)116--165, 22(3)490--505, 28(3)517--575,
31(3)10--10, 39(1)4--4, 39(4)16--16, 41(4)22--22, 42(4)19--19,
43(2)8--8
-
applicable, Self-, 14(2)147--172
-
applicable, self-, 14(2)147--172, 16(6)1699--1718
-
application, self-, 14(2)147--172
-
APPLICATION-BASED, 19(3)525--555
-
application-only, 29(1)2--2
-
application-specific, 29(1)2--2
-
APPLICATIONS, 7(4)600--621
-
applicative, 4(1)44--82, 4(2)226--238, 4(3)362--381, 4(4)733--757,
7(2)311--333, 8(1)1--49, 8(1)88--108, 8(1)109--139, 8(1)140--141,
8(3)406--407, 9(2)277--295, 9(3)441--462, 10(2)248--266,
10(4)555--578, 10(4)602--626, 11(4)598--632, 11(4)633--649,
12(2)224--252, 13(1)21--51, 13(1)52--98, 13(2)269--290,
13(4)531--557, 13(4)577--625, 14(2)265--297, 15(1)206--208,
15(2)211--252, 15(2)253--289, 15(2)290--311, 15(4)659--680,
16(1)3--34, 16(2)205--258, 16(3)328--369, 16(4)1279--1318,
16(5)1411--1430, 16(5)1431--1448, 16(5)1449--1466, 16(5)1613--1647,
16(6)1719--1736, 17(1)47--62, 17(2)293--330, 17(4)576--599,
17(4)635--671, 17(5)704--739, 17(6)896--937, 18(1)16--29,
18(2)109--138, 18(2)175--234, 18(6)730--751, 19(1)87--152,
19(2)334--385, 19(3)444--461, 19(5)751--803, 19(6)916--941,
20(1)166--207, 20(2)344--387, 20(4)768--844, 20(6)1251--1264,
21(3)430--501, 22(2)224--264, 22(2)340--377, 22(5)773--815,
41(4)22--22, 42(1)4--4
-
applied, 7(3)404--425, 9(3)319--349, 10(2)204--214, 14(1)54--106,
14(3)417--461, 15(1)1--35, 15(1)36--72, 16(4)1081--1096,
16(6)1842--1874, 19(5)639--684, 19(6)1053--1084, 20(1)166--207,
20(3)546--585, 21(4)703--746, 21(4)813--847, 27(6)1049--1096,
28(2)207--255, 28(4)747--793, 28(5)908--941, 30(4)18--18,
30(4)20--20, 31(3)10--10, 32(2)5--5, 32(3)7--7, 32(3)8--8,
32(5)18--18, 34(2)8--8, 34(2)9--9, 35(1)5--5, 37(3)10--10,
39(3)11--11, 39(4)18--18, 40(3)11--11, 41(3)17--17
-
apply, 4(2)179--195, 8(4)491--523, 16(3)305--327, 16(3)687--726,
16(4)1097--1113, 16(6)1768--1810, 18(6)711--729, 19(1)7--47,
19(6)1053--1084, 20(5)1067--1109, 22(5)932--972, 28(2)331--388,
28(4)696--714, 29(1)2--2, 30(6)33--33, 31(1)2--2, 31(4)14--14,
31(6)21--21, 32(2)5--5, 32(6)24--24, 33(1)2--2, 33(1)4--4,
33(3)11--11, 34(1)6--6, 34(2)9--9, 34(3)11--11, 34(4)15--15,
35(1)3--3, 38(2)6--6, 39(1)4--4, 39(2)9--9, 40(3)9--9, 40(4)14--14,
41(3)18--18, 41(4)20--20, 42(3)15--15, 43(2)8--8
-
applying, 4(1)1--20, 4(3)362--381, 4(4)650--667, 13(1)150--178,
15(1)1--35, 15(5)745--770, 16(3)687--726, 16(3)775--797,
16(3)798--842, 19(6)992--1030, 21(5)977--1027, 22(2)265--295,
22(5)932--972, 28(5)848--907, 30(3)17--17, 31(5)19--19, 34(2)7--7,
38(2)6--6, 39(3)11--11, 42(1)3--3, 42(2)10--10
-
appreciable, 30(4)22--22
-
apprentice, 24(3)193--216
-
approachable, 44(4)22--22
-
appropriate, 3(2)126--143, 4(1)1--20, 9(2)164--197, 18(6)711--729,
20(4)869--916, 21(5)1028--1075, 30(4)24--24, 32(4)13--13,
33(4)14--14, 39(2)8--8
-
appropriately, 17(3)431--447, 28(4)747--793
-
approximate, 13(2)269--290, 16(3)387--427, 17(2)197--216, 17(2)293--330,
17(4)561--575, 18(5)564--614, 20(1)1--50, 20(6)1251--1264,
22(2)340--377, 27(6)1147--1215, 31(6)20--20, 34(4)17--17, 35(3)9--9,
40(2)7--7, 42(2)9--9
-
approximated, 15(1)133--181
-
approximately, 28(1)134--174, 34(4)17--17, 41(1)3--3, 41(2)12--12
-
approximating, over-, 40(1)1--1
-
approximating, under-, 40(1)1--1, 43(2)5--5
-
approximation, 14(4)574--588, 16(4)1279--1318, 19(5)685--725,
21(2)189--239, 21(4)747--789, 21(4)848--894, 22(2)416--430,
27(6)1147--1215, 32(6)21--21, 32(6)23--23, 35(1)5--5, 39(2)8--8
-
approximation, over-, 40(1)3--3
-
apps, 39(2)7--7, 40(2)7--7
-
APT, 19(3)462--491
-
Apt, 4(2)226--238, 5(3)500--501, 22(6)1002--1036
-
Apt, Krzsztof R., 20(5)1014--1066
-
Apt, Krzysztof R., 2(3)359--385, 3(4)431--483, 6(3)370--379,
8(3)388--405, 10(3)420--455, 16(3)687--726, 22(6)1002--1036
-
Apt, Krzysztof R., see Olderog, Ernst-{Rüdiger}
-
Apt:1980:PSC, 2(3)359--385, 5(3)500--501
-
Apt:1981:TYH, 3(4)431--483
-
Apt:1984:MDT, 6(3)370--379
-
Apt:1986:CPD, 8(3)388--405
-
Apt:1994:OCF, 16(3)687--726
-
Apt:1998:AIL, 20(5)1014--1066
-
Apt:2000:RCC, 22(6)1002--1036
-
ARA, 36(4)11--11
-
Arbab, 16(3)605--606
-
Arbab, Bijan, 16(3)605--606
-
Arbab:1994:SCD, 16(3)605--606
-
arbitrarily, 4(2)179--195, 16(5)1449--1466, 20(1)51--115, 41(3)18--18
-
arbitrary, 14(2)201--264, 15(4)632--658, 16(4)1097--1113, 17(1)47--62,
17(4)600--634, 19(1)1--6, 19(4)557--567, 19(5)804--851,
20(5)980--1013, 21(2)175--188, 21(6)1251--1297, 22(2)187--223,
29(1)3--3, 32(2)6--6, 34(1)5--5, 34(3)14--14, 34(4)16--16, 36(1)3--3,
37(4)12--12, 38(4)13--13, 40(3)11--11, 41(3)18--18
-
arc, 19(4)617--638, 22(6)1002--1036, 35(4)14--14
-
Archer, Jr., James E., 6(1)1--19
-
Archer:1984:URR, 6(1)1--19
-
architected, 29(2)9--9
-
architectural, 37(1)2--2, 39(4)17--17
-
architecturally, 16(6)1842--1874
-
architecture-an, 37(2)6--6
-
ARCHITECTURES, 7(4)501--538, 9(4)599--617, 9(4)618--645, 10(2)313--337,
10(4)579--601, 11(1)57--66, 14(1)28--53, 15(3)400--462,
15(4)632--658, 15(4)659--680, 17(1)123--156, 18(6)659--682,
20(4)869--916, 20(6)1195--1222
-
are, rules''-, 39(1)4--4
-
are, schemes-GTSs-, 9(4)473--490
-
area, 8(4)419--490, 16(1)35--101, 17(2)233--263, 20(6)1223--1250,
28(4)715--746, 30(6)32--32, 33(5)15--15, 38(2)5--5, 40(1)1--1,
40(2)5--5, 41(1)2--2, 45(3)14--14
-
area, local-, 9(2)235--256
-
area, wide-, 32(3)9--9
-
Arenaz, Manuel, 30(6)32--32
-
Arenaz:2008:XEF, 30(6)32--32
-
ARG, 39(2)7--7
-
arguably, 22(3)506--539, 27(6)1344--1395, 43(3)10--10
-
argue, 4(4)668--677, 16(3)456--492, 16(3)524--576, 16(4)1215--1247,
17(3)431--447, 18(1)1--15, 18(4)401--423, 20(6)1171--1194,
29(6)35--35, 30(4)22--22, 43(1)1--1, 43(1)3--3
-
argued, 13(2)269--290, 14(2)127--144, 18(2)139--174, 18(5)564--614
-
argument, 4(3)455--495, 4(4)601--614, 4(4)668--677, 14(4)589--616,
16(4)1215--1247, 16(5)1449--1466, 18(6)752--779, 21(1)11--45,
21(3)677--701, 22(1)1--44, 22(1)45--86, 22(1)129--161,
22(2)340--377, 22(6)1037--1080, 28(2)256--289, 28(5)795--847,
31(3)10--10, 32(1)2--2, 34(3)14--14, 39(4)14--14, 40(1)1--1,
40(3)12--12, 40(4)16--16
-
ARGUS, 7(2)244--269
-
argus, 5(3)381--404
-
Ari's, Ben-, 15(1)1--35
-
Ari, Mordechai, Ben-, 6(3)333--344
-
Arinc-653, 43(1)2--2
-
Ariola, Zena M., 31(4)13--13
-
Ariola:2009:SCA, 31(4)13--13
-
arise, 4(1)1--20, 9(2)125--163, 14(4)589--616, 18(3)254--267,
20(3)483--545, 21(3)569--626, 22(2)296--339, 40(3)9--9, 40(4)16--16,
42(3)12--12
-
arising, 4(2)226--238, 6(2)192--214
-
ARITHMETIC, 14(2)127--144
-
arithmetic, 2(2)203--224, 3(1)83--103, 4(2)226--238, 4(2)239--257,
5(1)122--122, 9(3)367--389, 10(2)189--203, 14(2)127--144,
17(4)635--671, 18(2)139--174, 18(3)235--253, 20(3)635--678,
21(4)747--789, 29(5)29--29, 32(4)11--11, 35(2)6--6, 36(4)11--11,
37(1)1--1, 37(2)5--5, 37(4)12--12, 39(2)8--8, 41(1)2--2, 41(2)12--12
-
arity, 19(1)87--152
-
Arjomandi, Eshrat, 28(5)908--941
-
Arjomandi, Eshrat, see Brecht, Tim
-
ARM, 20(3)679--706, 36(2)7--7, 41(3)17--17
-
Arm, 43(2)8--8
-
ARM-v8, 43(3)10--10
-
Armada, 44(2)12--12
-
Armed, 43(2)8--8
-
Armus, 41(1)1--1
-
army, 4(3)382--401
-
Arnold, D. B., 2(1)122--128
-
Arnold:1980:URG, 2(1)122--128
-
Aronis, Stavros, 39(4)17--17
-
Aronis, Stavros, see Trinder, Phil
-
Arora, Anish, 26(1)125--185
-
Arora, Anish, see Attie, Paul C.
-
arose, 4(4)615--649, 16(6)1675--1683
-
around, 4(3)382--401, 35(4)14--14, 38(2)5--5, 40(3)10--10
-
around,, 37(1)1--1
-
around, wrap-, 17(1)85--122, 37(1)1--1
-
Árquez, Damián, 45(2)8--8, see Toro, Matías
-
array, 1(2)177--195, 1(2)226--244, 3(2)126--143, 9(3)367--389,
9(4)491--542, 11(4)598--632, 14(3)299--338, 14(4)471--489,
16(3)328--369, 16(3)775--797, 17(1)123--156, 17(2)217--227,
17(2)233--263, 17(4)561--575, 20(3)635--678, 20(4)869--916,
21(2)286--323, 21(4)703--746, 22(2)265--295, 22(5)773--815,
24(1)65--109, 27(1)91--125, 27(2)185--235, 27(3)527--570,
28(5)848--907, 30(1)2--2, 30(6)32--32, 34(3)11--11, 37(1)3--3,
38(2)5--5, 38(3)11--11
-
array, intra-, 38(3)11--11
-
array, make-, 11(4)598--632
-
array-based, 17(2)233--263
-
array-valued, 28(6)1145--1177
-
Arsac, J., 4(2)295--322
-
Arsac:1982:STR, 4(2)295--322
-
art, 17(4)561--575, 28(3)476--516, 39(2)8--8, 40(4)14--14, 41(1)6--6
-
art, state-of-the-, 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
-
articulated, 44(4)25--25
-
artifact, 6(4)527--545, 32(5)19--19, 34(1)5--5, 38(1)2--2
-
ARTIFICIAL, 7(1)1--9, 7(1)113--136, 7(2)334--347, 7(3)359--379,
7(4)600--621, 7(4)680--685, 8(1)1--49, 8(1)50--87, 8(4)547--576,
9(1)100--120, 9(3)441--462, 9(4)618--645, 10(1)118--155,
10(2)248--266, 11(1)33--56, 11(1)115--146, 11(3)418--450,
11(4)491--516, 12(2)143--177, 12(2)224--252, 12(2)253--302,
13(1)21--51, 13(1)52--98, 13(1)99--123, 13(2)181--210,
13(4)451--490, 15(4)659--680, 15(5)826--875, 16(1)102--150,
16(2)205--258, 16(4)1081--1096, 16(6)1875--1903, 17(3)487--506,
18(3)300--324, 18(4)477--518, 18(5)528--563, 18(6)730--751,
19(1)188--222, 19(3)427--443, 19(3)444--461, 20(1)51--115,
20(1)208--258, 20(3)546--585, 20(3)586--634, 20(4)768--844,
20(5)1014--1066
-
artificial, 21(2)189--239, 21(3)430--501, 21(3)627--676,
21(6)1137--1195, 22(2)224--264, 22(4)638--672, 22(6)1002--1036
-
Arvind, 7(2)311--333, 8(1)109--139, 8(1)140--141, 11(4)598--632
-
Arvind, see Pingali, Keshav
-
Arvind:1989:SDS, 11(4)598--632
-
as, operations-, 22(5)861--931
-
as-modifier, owner-, 33(6)20--20
-
ASF+SDF, 24(4)334--368
-
Ashcroft, E. A., 4(2)283--294
-
Ashcroft:1982:RS, 4(2)283--294
-
Ashley, J. Michael, 16(5)1431--1448, 20(4)845--868
-
Ashley:1994:FCP, 16(5)1431--1448
-
Ashley:1998:PFF, 20(4)845--868
-
aside, 17(3)431--447
-
ask, 20(3)635--678, 40(2)7--7
-
ASM, 31(6)22--22
-
aspect, 3(4)353--387, 5(4)554--595, 14(2)147--172, 16(2)205--258,
16(6)1661--1674, 18(2)109--138, 21(2)189--239, 21(6)1077--1136,
22(4)638--672, 27(6)1049--1096, 28(4)619--695, 30(5)25--25,
31(5)19--19, 33(5)17--17, 35(2)8--8, 36(4)13--13, 39(4)14--14,
40(4)15--15, 41(4)23--23, 42(1)2--2, 42(1)4--4, 43(1)3--3,
44(4)22--22, 44(4)24--24
-
aspect-oriented, 26(5)890--910, 30(3)14--14, 34(3)12--12
-
AspectJ-based, 34(2)7--7
-
AspectML, 30(3)14--14
-
assembler, 14(3)299--338, 19(3)492--524
-
assembly, 4(1)21--36, 9(2)125--163, 14(3)299--338, 19(3)492--524,
20(4)724--767, 21(3)527--568, 27(6)1049--1096, 32(3)7--7,
33(5)15--15, 37(2)6--6, 38(3)10--10
-
assembly-language, 19(3)492--524
-
assembly-level, 37(2)6--6
-
asserted, 20(6)1251--1264, 41(4)21--21
-
asserting, 15(1)73--132
-
assertion, 2(3)321--337, 7(1)37--61, 7(1)137--158, 7(3)446--477,
8(2)185--214, 12(3)396--428, 16(3)649--686, 16(3)872--923,
16(4)1248--1278, 17(1)28--44, 17(1)157--179, 19(1)48--86,
19(3)427--443, 20(6)1251--1264, 21(5)948--976, 32(6)21--21,
34(1)2--2, 43(1)2--2, 44(2)9--9, 44(4)25--25
-
asserts, 4(3)455--495
-
assess, 15(4)681--705, 16(6)1675--1683, 20(6)1131--1170, 22(5)932--972,
32(6)23--23, 34(1)5--5
-
assessed, 4(2)226--238, 21(2)189--239, 30(6)33--33
-
assessing, 5(4)641--655, 16(6)1675--1683, 34(1)5--5, 38(4)15--15,
40(3)10--10
-
assessment, 18(4)454--476, 40(3)10--10
-
asset, 42(3)14--14, 42(3)15--15
-
assign, 21(1)138--173, 35(3)11--11, 40(3)12--12
-
assigned, 16(5)1411--1430
-
assigning, 14(4)521--573, 30(4)19--19
-
assignment, 2(4)564--579, 5(2)236--264, 13(4)451--490, 16(2)205--258,
16(2)259--303, 17(1)85--122, 18(3)235--253, 18(3)268--299,
19(1)87--152, 20(4)845--868, 21(3)627--676, 22(1)162--186,
30(4)19--19, 30(4)21--21, 30(6)32--32, 32(4)11--11, 42(2)6--6
-
assignment, dead-, 22(5)932--972
-
Assignment, Single-, 16(6)1684--1698, 17(3)487--506
-
assignment, single-, 16(3)577--604, 21(3)430--501, 35(1)2--2
-
assist, 4(1)1--20, 16(1)151--174, 17(4)672--689
-
assistance, 16(4)1248--1278
-
assistant, 20(4)869--916, 35(3)9--9, 37(2)7--7, 41(1)1--1, 41(2)8--8,
42(1)2--2, 45(3)18--18
-
assisted, compiler-, 28(5)942--965
-
Assisted, Computer-, 14(1)54--106
-
assisted, programmer-, 16(4)1248--1278
-
Assisting, 4(1)1--20
-
Assmann, Uwe, 22(4)583--637
-
Assmann:2000:GRS, 22(4)583--637
-
associate, 15(4)575--631, 16(4)1114--1116, 34(1)1--1, 40(3)12--12
-
associated, 1(2)196--217, 7(1)62--79, 7(1)159--175, 8(4)577--608,
13(1)150--178, 14(3)339--395, 15(1)133--181, 17(1)85--122,
18(3)325--353, 18(6)752--779, 19(1)188--222, 19(4)586--616,
20(1)208--258, 22(5)816--860, 30(4)19--19, 30(6)30--30, 31(3)10--10,
31(6)21--21, 33(1)5--5, 34(1)4--4, 34(3)12--12, 35(1)5--5,
40(3)12--12, 41(3)16--16, 43(3)10--10
-
associating, 35(3)10--10
-
association, 7(2)183--213, 41(4)21--21
-
associative, 4(3)496--517
-
associativity, 14(2)265--297, 24(5)554--565
-
Associons, 3(3)251--262
-
assortment, 42(3)15--15
-
assume, 4(3)382--401, 16(4)1097--1113, 36(1)3--3
-
assume-guarantee, 22(1)87--128, 24(1)51--64
-
assume-guarantee-style, 16(3)843--871
-
assumed, 4(1)1--20, 9(2)125--163, 17(3)448--460, 22(1)87--128,
41(3)18--18
-
assuming, 16(4)1248--1278, 20(6)1171--1194, 42(1)2--2
-
assumption, 16(2)205--258, 16(2)259--303, 16(4)1248--1278,
17(2)264--292, 19(4)617--638, 19(5)639--684, 20(6)1171--1194,
22(1)87--128, 22(6)1037--1080, 28(1)134--174, 36(1)3--3, 39(2)7--7,
39(4)18--18
-
assumption/guarantee, 16(5)1543--1571
-
assurance, 40(4)15--15
-
AST, 37(4)12--12
-
Asuru, 17(2)217--227
-
asymmetric, 31(2)6--6
-
Asymmetry, 6(4)632--646
-
asymptotic, 21(2)240--285, 22(1)129--161, 32(1)3--3, 35(1)5--5,
39(1)2--2
-
asymptotically, 6(2)159--174, 31(6)20--20, 32(1)3--3, 34(3)14--14,
38(3)11--11
-
async, 35(1)3--3
-
asynchronous, 8(1)142--153, 10(2)313--337, 11(4)585--597, 15(5)745--770,
16(2)259--303, 18(5)615--647, 19(6)899--915, 20(5)917--979,
20(6)1171--1194, 24(5)566--591, 32(3)9--9, 34(1)6--6
-
asynchronously, 20(5)917--979
-
Asynchronous/synchronous, 8(1)142--153
-
ateach, 35(1)3--3
-
Athos, 39(4)17--17
-
Atkinson, Malcolm P., 7(4)539--559
-
Atkinson:1985:PPD, 7(4)539--559
-
ATL, 37(3)9--9
-
ATOAM, 18(6)752--779
-
ATOAM-emulator-based, 18(6)752--779
-
atomic, 7(2)244--269, 8(4)524--546, 12(2)178--202, 13(1)124--149,
15(5)745--770, 23(2)187--242, 28(1)1--69, 28(2)256--289,
30(4)20--20, 33(1)2--2, 34(1)4--4, 36(1)3--3, 36(2)7--7, 38(3)10--10,
41(2)13--13, 43(3)10--10, 43(4)16--16
-
atomically, 34(1)4--4
-
atomicity, 11(2)249--283, 30(4)20--20, 36(1)3--3, 36(2)6--6
-
atoms, 20(1)208--258
-
attach, 39(2)7--7
-
attached, 39(2)7--7
-
attaching, 28(5)795--847, 39(2)7--7
-
attack, 16(3)986--1009, 21(6)1196--1250, 29(6)35--35, 39(3)10--10,
41(3)18--18, 43(1)1--1, 43(3)12--12
-
attacker, 30(6)30--30, 37(2)6--6
-
attain, 21(3)502--526, 43(1)1--1
-
attained, 16(2)259--303, 18(4)477--518
-
attaining, 14(2)173--200
-
Attali, Isabelle, 18(6)711--729
-
Attali:1996:NSE, 18(6)711--729
-
attempt, 5(3)405--421, 13(1)150--178, 14(1)107--125, 14(4)589--616,
16(4)1279--1318, 16(6)1699--1718, 16(6)1768--1810, 17(2)293--330,
18(5)528--563, 19(4)557--567, 20(2)259--273, 28(1)70--105,
28(1)134--174, 28(2)256--289, 30(5)25--25, 31(3)12--12, 33(3)10--10,
41(4)21--21, 42(1)2--2, 43(1)3--3
-
attempting, 4(1)1--20, 40(3)10--10
-
attendant, 31(4)16--16
-
attention, 13(1)124--149, 19(3)444--461, 21(4)813--847, 35(4)13--13,
36(1)2--2, 44(3)18--18
-
attest, 31(3)12--12
-
Attie, Paul C., 20(1)51--115, 23(2)187--242, 26(1)125--185
-
Attie:1998:SCS, 20(1)51--115
-
Attie:2001:SCP, 23(2)187--242
-
Attie:2004:SFT, 26(1)125--185
-
attract, 36(3)10--10
-
attracted, 16(1)35--101
-
attracting, 19(3)444--461
-
attractive, 4(4)687--710, 20(5)1014--1066, 21(5)914--947, 33(1)2--2,
40(2)6--6
-
attribute, 1(1)142--160, 3(4)388--404, 6(3)345--369, 8(4)577--608,
9(3)408--440, 9(4)473--490, 10(2)189--203, 12(3)429--462,
13(3)315--341, 16(5)1572--1612, 17(1)1--15, 17(2)228--232,
17(2)394--429, 18(1)16--29, 18(1)73--108, 22(2)224--264,
26(1)186--190, 41(3)19--19
-
attribute-based, 8(4)577--608
-
attribute-evaluation, 16(5)1572--1612
-
attribute-grammar-based, 9(3)408--440
-
attributed, 7(4)560--599, 8(4)577--608, 18(1)16--29, 21(6)1077--1136
-
attributed, S-, 22(2)224--264
-
attributes, 8(4)577--608, 30(4)19--19
-
attributing, 9(4)473--490
-
augment, 20(5)1014--1066, 38(1)1--1
-
augmented, 19(3)462--491, 22(6)973--1001, 35(2)8--8, 36(4)12--12
-
Aung, Min, 36(2)5--5
-
Aung:2014:SS, 36(2)5--5
-
Austin, Thomas H., 39(3)10--10
-
Austin:2017:MFD, 39(3)10--10
-
authenticate, 16(3)986--1009
-
authentication, 4(3)382--401, 15(4)706--734, 16(3)986--1009,
37(4)11--11
-
Author, 8(4)609--610, 10(4)641--642, 11(4)669--670, 12(4)700--701,
13(4)633--633, 13(4)634--635, 14(4)617--618, 16(6)1904--1907,
17(6)938--940, 20(6)1323--1325
-
authorization, 29(5)25--25, 37(4)11--11
-
authors, 4(3)522--525, 5(3)506--509, 6(3)444--447, 7(3)497--500,
8(3)412--415, 9(3)467--470, 10(3)508--511, 11(3)487--490,
12(3)497--500, 13(3)447--450, 14(3)466--469, 35(2)7--7, 39(1)3--3,
41(4)21--21
-
auto-addressing, 32(4)11--11
-
auto-increment/decrement, 32(4)11--11
-
auto-modification, 32(4)11--11
-
autocorrelation, 29(1)3--3
-
autogenerate, 34(1)5--5
-
autoincrement, 18(3)235--253
-
automata, 8(2)264--271, 11(1)147--167, 11(2)330--344, 11(4)491--516,
12(2)303--339, 13(3)295--314, 13(3)399--442, 15(4)575--631,
16(2)259--303, 16(3)1051--1077, 17(3)461--486, 18(5)528--563,
19(4)617--638, 20(2)259--273, 22(1)87--128, 22(6)973--1001,
32(1)2--2, 33(5)15--15, 38(1)1--1, 41(2)11--11
-
Automata-Theoretic, 19(4)617--638
-
automata-theoretic, 19(4)617--638, 22(1)87--128, 33(5)15--15, 36(2)5--5
-
automatable, 20(3)546--585
-
automate, 22(3)540--582, 30(3)17--17, 31(3)9--9, 35(1)4--4, 37(2)5--5,
42(1)3--3, 45(2)12--12
-
automated, 4(4)650--667, 9(1)100--120, 15(1)36--72, 18(2)139--174,
20(5)980--1013, 22(2)265--295, 22(3)490--505, 27(6)1049--1096,
30(3)17--17, 32(5)16--16, 32(5)17--17, 32(6)23--23, 33(2)7--7,
36(4)14--14, 37(3)8--8, 38(2)4--4, 39(2)8--8, 40(1)1--1, 40(1)2--2,
40(2)6--6, 41(2)13--13, 43(3)11--11, 43(4)15--15, 44(2)12--12,
44(3)16--16, 44(3)17--17, 45(2)12--12, 46(1)3--3
-
automated, well-, 27(6)1147--1215
-
automatic, semi-, 34(3)11--11
-
automatically, 4(1)83--112, 4(4)650--667, 7(4)560--599, 9(2)277--295,
9(4)491--542, 13(1)52--98, 13(2)211--236, 15(5)745--770,
16(2)205--258, 16(4)1215--1247, 16(5)1648--1659, 16(6)1768--1810,
17(5)691--703, 19(3)492--524, 19(6)942--991, 19(6)1053--1084,
20(3)483--545, 20(4)869--916, 20(5)980--1013, 21(5)1028--1075,
21(6)1077--1136, 22(3)490--505, 22(4)583--637, 27(6)1049--1096,
27(6)1147--1215, 29(6)35--35, 30(5)27--27, 31(5)18--18, 32(2)4--4,
32(3)9--9, 32(6)24--24, 33(1)3--3, 33(4)13--13, 34(1)2--2, 34(1)4--4,
34(2)9--9, 34(3)14--14, 35(1)4--4, 36(1)2--2, 36(4)12--12, 37(1)3--3,
37(3)8--8, 37(3)10--10, 41(2)12--12, 41(2)13--13, 43(2)6--6,
44(1)3--3, 44(2)9--9, 45(1)6--6
-
automatically-discharged, 39(3)11--11
-
automating, 9(2)257--276, 16(3)727--774, 28(2)256--289, 31(3)9--9
-
automation, 7(4)600--621, 9(2)257--276, 39(2)6--6, 40(3)10--10
-
automaton, 14(4)490--520, 18(5)528--563, 21(6)1077--1136,
22(6)973--1001, 31(3)10--10, 39(2)7--7, 41(3)14--14
-
autonomous, 29(6)33--33
-
autotuners, 34(1)3--3
-
auxiliary, 30(4)24--24
-
availability, 16(3)986--1009, 17(2)394--429, 18(3)268--299,
18(4)355--400, 31(5)17--17, 34(1)5--5, 45(4)20--20
-
available, 4(2)149--178, 9(2)125--163, 9(4)491--542, 14(2)265--297,
14(3)299--338, 15(4)632--658, 16(3)328--369, 16(3)524--576,
16(5)1648--1659, 17(2)197--216, 17(2)394--429, 17(5)740--776,
18(3)235--253, 18(4)477--518, 18(5)528--563, 18(6)752--779,
19(1)1--6, 19(3)413--426, 19(5)804--851, 19(6)853--898,
20(4)869--916, 21(2)286--323, 21(2)324--369, 22(2)378--415,
27(6)1270--1343, 28(1)106--133, 28(3)517--575, 29(1)3--3, 31(2)7--7,
32(6)23--23, 32(6)24--24, 33(6)20--20, 34(3)11--11, 34(4)17--17,
38(2)7--7, 38(3)8--8, 41(1)2--2, 41(2)12--12, 41(3)15--15,
41(3)16--16, 41(3)19--19
-
avenues, 21(5)948--976
-
average, 6(4)546--572, 16(4)1156--1214, 16(5)1431--1448, 17(2)197--216,
19(6)1031--1052, 21(6)1251--1297, 22(2)378--415, 22(3)471--489,
23(2)105--186, 28(1)134--174, 30(3)17--17, 31(6)20--20, 32(4)15--15,
32(5)17--17, 34(2)9--9, 35(1)3--3, 38(2)6--6, 41(3)15--15
-
Averaging, 19(1)188--222
-
avert, 20(1)208--258
-
AVL, 9(2)277--295
-
avoid, 9(4)491--542, 14(2)173--200, 16(4)1117--1155, 17(4)672--689,
19(5)804--851, 20(1)51--115, 22(6)1037--1080, 27(6)1344--1395,
28(3)429--475, 29(2)13--13, 37(3)10--10, 37(4)12--12, 37(4)13--13,
38(2)4--4, 38(3)12--12, 39(1)2--2, 39(3)10--10, 39(3)11--11,
39(4)14--14, 40(2)6--6, 40(2)8--8, 40(4)14--14, 41(1)2--2, 41(1)6--6,
43(3)10--10
-
avoidance, 16(4)1156--1214, 41(1)1--1
-
avoided, 17(1)63--84, 22(1)45--86, 32(5)17--17, 39(1)2--2
-
avoiding, 4(2)179--195, 13(1)150--178, 16(4)1361--1398, 16(5)1543--1571,
21(3)430--501, 41(1)1--1
-
Avrunin, George S., 7(3)380--403, 10(3)374--402
-
Avrunin, George S., see Dillon, Laura K.
-
Avrunin:1985:DAD, 7(3)380--403
-
Award, 4(4)733--757
-
aware, 16(3)954--985, 19(5)804--851, 27(3)441--476, 31(3)12--12,
39(1)4--4
-
aware, cluster-, 32(3)9--9
-
aware, divergence-, 35(4)13--13
-
Aware, Optimization-, 45(2)10--10
-
aware, resource-, 37(4)11--11
-
aware, semantics-, 30(5)25--25
-
awareness, 41(3)15--15
-
away, 20(3)546--585, 21(5)914--947, 31(3)12--12, 43(4)15--15
-
awk, 28(3)389--428
-
awkward, 40(3)10--10
-
axiom, 4(4)668--677, 4(4)687--710, 8(1)142--153, 15(5)771--794,
15(5)876--895, 28(4)747--793, 32(3)7--7
-
axiomatic, 2(1)56--76, 2(2)225--233, 6(4)647--662, 7(4)637--655,
9(3)390--407, 10(3)503--504, 16(6)1699--1718, 28(4)747--793,
33(6)19--19, 36(2)7--7, 39(3)11--11, 40(2)6--6
-
axiomatically, 4(4)668--677
-
axiomatization, 19(5)639--684, 19(5)751--803, 21(3)677--701,
31(5)19--19
-
Ayers, 17(1)47--62
-
Azure, 31(5)17--17