Index file section A for toplas.bib

Last update: Thu Jun 18 02:07:46 MDT 2026               

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, Arm-, 48(1)3--3
• a, method-, 39(2)9--9
• a.out, 19(3)492--524
• A, Arm-, 48(1)3--3
• 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, 46(3)11--11
• 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, program-, 46(2)6--6
• 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, 46(2)5--5
• 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
• Aceto, Luca, 48(1)4--4
• Aceto:2026:STS, 48(1)4--4
• 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, 47(2)7--7
• 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, 46(3)9--9
• 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, 46(2)5--5
• adversely, 29(6)35--35
• Adversities, 46(2)5--5
• 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, 46(2)5--5
• 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, 47(2)4--4
• 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
• Akram, Shoaib, 46(4)12--12
• Akram, Shoaib, see Kolokasis, Iacovos G.
• 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, 46(3)11--11
• albeit, 35(1)5--5
• Aldrich, Jonathan, 36(1)2--2, 36(4)12--12, 42(3)14--14, 44(1)5--5, 46(4)14--14
• Aldrich, Jonathan, see Coblenz, Michael, see DiVincenzo, Jenna, 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, 46(3)10--10
• 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, 47(2)8--8
• 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, 46(2)8--8
• algorithmically, 32(1)2--2, 47(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, 48(1)3--3
• 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, 47(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, 46(2)7--7
• 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, 46(4)12--12, 48(1)3--3
• 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, 46(2)6--6, 46(3)11--11
• 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, 46(4)12--12
• 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, 46(2)8--8
• and-Conquer-like, Divide-, 46(2)8--8
• 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, 46(2)5--5, 46(3)11--11
• 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, 48(1)2--2
• 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, 48(1)2--2
• 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, 46(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, 46(2)8--8
• 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
• approximate, over-, 46(3)11--11
• 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
• Approximation, Under-, 46(3)11--11
• 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-A, 48(1)3--3
• Arm-A., 48(1)3--3
• 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
• Ascari, Flavio, 46(3)11--11
• Ascari:2024:LDD, 46(3)11--11
• 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, 47(1)1--1
• 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, 46(2)5--5
• 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, 46(2)5--5
• 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
• Aware, WAR-, 47(2)5--5
• 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, 48(1)3--3
• axiomatically, 4(4)668--677
• axiomatization, 19(5)639--684, 19(5)751--803, 21(3)677--701, 31(5)19--19
• AxSL, 48(1)3--3
• Ayers, 17(1)47--62
• Azure, 31(5)17--17