Index file section I for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
I
-
I-Structures, 11(4)598--632
-
I-structures, 11(4)598--632
-
I.1.1, 14(4)574--588, 19(3)427--443
-
I.1.2, 13(3)315--341, 13(4)451--490, 17(3)487--506, 18(1)30--72,
19(3)462--491, 21(2)286--323, 21(3)627--676, 22(6)1002--1036
-
I.1.3, 10(1)118--155, 13(3)315--341, 14(2)147--172, 14(3)339--395,
17(2)366--393, 18(1)30--72, 18(6)730--751, 19(3)427--443,
19(6)899--915
-
I.1.4, 18(4)477--518
-
I.2.2, 7(1)1--9, 7(1)113--136, 7(3)359--379, 7(4)600--621, 7(4)680--685,
9(3)441--462, 10(2)248--266, 12(2)143--177, 12(2)253--302,
13(1)21--51, 13(1)52--98, 13(2)181--210, 13(4)451--490,
15(5)826--875, 16(1)102--150, 16(4)1081--1096, 16(6)1875--1903,
17(3)487--506, 18(4)477--518, 18(5)528--563, 18(6)730--751,
19(3)427--443, 19(3)444--461, 20(1)51--115, 20(1)208--258,
20(3)546--585, 20(4)768--844, 21(2)189--239, 21(3)430--501,
21(3)627--676, 21(6)1137--1195, 22(2)224--264, 22(6)1002--1036
-
I.2.3, 7(1)113--136, 8(1)1--49, 8(4)547--576, 9(1)100--120,
12(2)224--252, 12(2)253--302, 13(1)99--123, 16(2)205--258,
16(4)1081--1096, 20(1)208--258, 20(3)586--634, 21(6)1137--1195
-
I.2.4, 7(1)1--9, 9(4)618--645, 10(1)118--155, 11(1)115--146,
11(3)418--450
-
I.2.5, 7(2)334--347
-
I.2.6, 19(1)188--222
-
I.2.8, 8(1)50--87, 11(1)33--56, 11(4)491--516, 15(4)659--680,
18(3)300--324, 20(5)1014--1066
-
I.2.9, 7(2)334--347
-
I.3.6, 10(2)215--247, 12(2)143--177
-
I.5.4, 7(4)600--621, 20(2)259--273
-
I.5.5, 7(4)600--621, 20(5)1014--1066
-
I.6.1, 15(5)771--794
-
I.7.1, 7(4)600--621, 9(2)277--295
-
I.7.2, 7(1)62--79
-
i.e, 4(3)382--401, 16(2)259--303, 16(4)1319--1360, 17(1)63--84,
17(2)197--216, 17(3)431--447, 18(1)1--15, 18(3)300--324,
19(6)942--991, 20(1)51--115, 21(1)46--89, 21(6)1077--1136,
22(5)816--860, 22(5)861--931, 28(5)908--941, 28(5)942--965,
29(6)33--33, 36(2)5--5, 39(2)7--7, 40(2)6--6, 40(2)7--7, 40(3)9--9,
40(4)17--17, 41(1)6--6, 41(2)12--12, 41(3)19--19, 41(4)22--22,
44(1)3--3
-
IA-64, 28(1)106--133, 30(4)23--23
-
iAPX2-86, 7(4)560--599
-
IBM, 15(4)632--658, 27(6)1097--1146, 28(1)1--69, 28(1)70--105,
28(1)106--133, 34(1)3--3, 39(1)5--5
-
IBM-370, 7(4)560--599
-
Ibsen-Jensen, Rasmus, 40(3)9--9, 41(4)23--23
-
Ibsen-Jensen, Rasmus, see Chatterjee, Krishnendu
-
iCAP, 38(2)4--4
-
ICON, 14(1)107--125
-
Icon, 3(2)144--161, 4(4)563--584, 8(4)524--546, 14(1)107--125,
17(5)691--703
-
id, 11(4)598--632, 16(5)1449--1466
-
idea, 4(3)362--381, 9(4)473--490, 11(4)633--649, 14(1)1--27,
14(4)471--489, 15(1)133--181, 16(3)605--606, 16(3)798--842,
16(3)843--871, 17(2)181--196, 17(4)600--634, 18(4)401--423,
19(1)188--222, 19(5)726--750, 19(5)804--851, 20(2)436--482,
20(3)483--545, 21(2)175--188, 21(2)240--285, 21(3)677--701,
21(5)948--976, 22(2)378--415, 22(3)431--470, 22(5)773--815,
27(6)1097--1146, 28(3)517--575, 30(6)34--34, 31(3)9--9, 31(5)19--19,
32(1)2--2, 32(1)3--3, 32(2)5--5, 32(2)6--6, 32(3)9--9, 32(4)11--11,
32(6)23--23, 34(4)17--17, 35(1)5--5, 37(4)12--12, 38(2)6--6,
38(2)7--7, 38(3)9--9, 38(4)15--15, 40(2)6--6, 40(3)10--10,
40(3)12--12, 41(1)2--2, 41(1)5--5, 43(1)3--3, 44(2)6--6, 44(4)22--22,
44(4)25--25
-
IDEAL, 5(3)405--421
-
ideal, 20(6)1223--1250, 35(1)3--3, 40(4)14--14
-
idealized, 23(1)73--103
-
ideally, 18(2)139--174, 19(3)444--461
-
idempotence, 31(1)2--2
-
idempotency, 28(5)942--965
-
idempotent, 28(5)942--965
-
identical, 11(1)90--114, 13(2)211--236, 15(4)632--658, 15(5)771--794,
34(3)14--14
-
identically, 40(1)4--4
-
identification, 4(1)44--82, 16(3)1024--1050, 18(6)649--658,
21(2)175--188, 30(5)25--25, 35(2)7--7, 41(3)18--18
-
identified, 18(4)454--476, 18(6)649--658, 20(2)259--273, 20(3)635--678,
28(1)175--205, 30(6)33--33, 32(5)17--17
-
identifier, 16(5)1411--1430, 21(4)813--847, 27(6)1216--1269,
30(5)28--28, 45(2)12--12
-
identify, 8(4)419--490, 15(4)659--680, 16(3)986--1009, 16(4)1248--1278,
16(5)1648--1659, 18(6)649--658, 21(6)1137--1195, 28(1)134--174,
28(2)256--289, 29(2)12--12, 30(1)4--4, 30(3)17--17, 31(5)17--17,
32(1)3--3, 32(4)15--15, 34(2)8--8, 35(3)10--10, 36(1)1--1, 37(3)8--8,
38(4)15--15, 39(4)18--18, 40(2)5--5, 40(3)13--13, 40(4)17--17,
41(2)12--12, 41(3)17--17
-
identifying, 4(4)678--686, 14(3)396--416, 18(6)649--658, 18(6)730--751,
21(2)175--188, 22(2)187--223, 28(2)207--255, 32(5)17--17
-
IDEs, 34(4)15--15, 46(1)4--4
-
idiom, 9(3)367--389, 16(3)305--327, 21(3)569--626, 28(3)517--575,
31(2)7--7, 34(1)6--6, 36(2)7--7, 37(1)3--3, 40(4)16--16
-
idiomatically, 44(4)21--21
-
idiosyncrasies, 42(3)15--15
-
IDL, 9(3)297--318
-
idle, 16(6)1768--1810, 27(6)1097--1146
-
IEC/IEEE, 18(2)139--174
-
IEEE, 4(2)239--257, 18(2)139--174, 19(4)586--616
-
Ierusalimschy, Roberto, 31(2)6--6
-
Ierusalimschy, Roberto, see De Moura, Ana Lúcia
-
if, 17(1)16--27
-
if-then-else, 6(4)527--545
-
Igarashi, Atsushi, 23(3)396--450, 27(2)264--313, 28(5)795--847,
39(1)3--3
-
Igarashi, Atsushi, see Sekiyama, Taro
-
Igarashi:2001:FJM, 23(3)396--450
-
Igarashi:2005:RUA, 27(2)264--313
-
Igarashi:2006:VPT, 28(5)795--847
-
Ignorance, 37(1)1--1
-
ignore, 18(2)175--234, 18(5)528--563, 41(3)16--16
-
ignoring, 4(4)650--667
-
II, 20(3)546--585
-
ii, 29(1)3--3, 30(4)22--22, 32(2)5--5, 32(6)23--23, 34(1)3--3, 35(1)4--4,
36(2)5--5, 40(2)7--7, 41(3)16--16, 41(4)20--20, 42(3)15--15
-
II, SparsKit-, 30(6)32--32
-
III, 20(3)546--585, 28(1)1--69, 30(5)28--28
-
iii, 29(1)3--3, 30(4)22--22, 34(1)3--3, 42(3)15--15
-
III, Prolog-, 18(5)564--614
-
ill, 20(4)707--723
-
ill-condition, 18(3)325--353
-
illegal, 16(5)1648--1659, 32(5)18--18
-
illusion, 8(4)524--546
-
illustrate, 4(1)83--112, 5(2)236--264, 10(2)189--203, 13(2)211--236,
14(1)54--106, 16(3)986--1009, 16(5)1543--1571, 16(6)1875--1903,
17(4)561--575, 18(4)424--453, 18(5)564--614, 19(3)427--443,
20(2)344--387, 20(5)1014--1066, 21(2)189--239, 22(2)416--430,
22(4)583--637, 27(6)1049--1096, 27(6)1270--1343, 28(3)517--575,
30(5)26--26, 31(1)2--2, 31(1)5--5, 31(2)7--7, 31(4)13--13,
32(4)14--14, 36(2)6--6, 41(4)22--22, 43(1)1--1, 43(3)9--9
-
illustrated, 4(1)1--20, 4(1)44--82, 4(2)125--148, 4(3)455--495,
4(3)496--517, 5(2)127--163, 9(2)198--234, 10(2)248--266,
13(1)150--178, 17(1)28--44, 20(1)51--115, 20(1)208--258,
21(1)46--89, 21(6)1077--1136, 21(6)1196--1250, 22(5)773--815,
31(4)14--14
-
illustrating, 13(2)211--236, 14(1)54--106, 29(1)2--2, 32(5)17--17
-
illustrative, 4(3)402--454, 4(4)687--710, 5(4)620--640, 43(1)1--1
-
ILP, 19(6)853--898, 19(6)1031--1052, 33(3)10--10, 37(1)2--2
-
image, 13(1)1--20, 21(6)1077--1136, 29(6)35--35, 38(3)11--11
-
Imagine, 38(3)9--9
-
imaging, 8(4)419--490
-
immediate, 18(2)175--234, 20(6)1265--1296
-
immediately, 8(4)547--576, 16(6)1699--1718, 17(4)672--689, 30(4)21--21
-
immense, 38(1)1--1
-
immobile, 32(4)12--12
-
immortal, 29(1)2--2
-
immune, 5(1)56--65, 38(2)5--5
-
immutability, 32(6)22--22, 45(1)3--3
-
immutable, 30(6)33--33, 45(1)1--1
-
impact, 8(4)491--523, 19(6)1031--1052, 22(5)932--972, 28(5)908--941,
32(6)23--23, 34(1)5--5, 35(1)3--3, 36(4)14--14, 38(2)6--6,
41(4)21--21
-
impeded, 18(1)30--72
-
impedes, 16(3)387--427
-
impediment, 20(1)116--165, 21(3)677--701
-
imperative, 15(5)876--895, 16(3)328--369, 16(4)1215--1247,
18(3)254--267, 18(3)325--353, 19(5)639--684, 20(3)483--545,
20(5)1014--1066, 21(3)430--501, 28(3)429--475, 30(5)29--29,
30(6)34--34, 31(4)16--16, 32(1)3--3, 32(2)5--5, 34(1)2--2,
36(4)12--12, 37(1)3--3, 37(4)12--12, 39(3)11--11, 40(1)4--4,
42(2)6--6
-
imperfections, 22(3)540--582
-
impetus, 16(6)1675--1683
-
implement, 4(1)83--112, 4(2)125--148, 4(2)149--178, 14(3)417--461,
16(1)151--174, 16(2)259--303, 16(3)328--369, 16(3)872--923,
17(2)264--292, 18(6)752--779, 19(4)586--616, 19(6)1053--1084,
20(3)483--545, 20(4)724--767, 20(6)1223--1250, 21(3)569--626,
21(5)895--913, 22(1)129--161, 22(2)224--264, 22(3)471--489,
28(5)942--965, 30(6)30--30, 31(3)12--12, 32(4)12--12, 34(4)17--17,
36(2)6--6, 37(1)3--3, 37(1)4--4, 37(4)12--12, 39(2)6--6, 40(3)10--10,
41(1)1--1, 41(1)4--4, 41(2)12--12, 41(3)14--14
-
implementable, 37(1)2--2, 41(4)23--23
-
IMPLEMENTATION, 8(1)142--153, 16(5)1512--1542, 18(3)235--253,
18(3)300--324
-
implementation-independent, 27(6)1344--1395
-
implementation-oriented, 16(4)1117--1155
-
implementations., 14(2)265--297
-
implemented, 4(2)149--178, 4(2)295--322, 7(1)137--158, 7(3)404--425,
7(4)501--538, 8(3)344--387, 9(2)235--256, 13(1)1--20, 14(2)147--172,
14(4)471--489, 15(1)182--205, 16(2)175--204, 16(3)577--604,
16(3)843--871, 16(3)986--1009, 16(4)1248--1278, 16(4)1319--1360,
16(5)1431--1448, 16(5)1512--1542, 16(6)1699--1718, 17(1)85--122,
17(2)197--216, 17(2)233--263, 17(4)635--671, 18(3)268--299,
18(4)424--453, 18(5)528--563, 18(5)564--614, 18(5)615--647,
18(6)752--779, 19(1)153--187, 19(5)726--750, 19(5)804--851,
19(6)942--991, 20(3)483--545, 20(4)869--916, 20(5)1014--1066,
20(6)1195--1222, 20(6)1265--1296, 21(1)138--173, 21(4)703--746,
22(2)378--415, 22(5)816--860, 27(6)1049--1096, 27(6)1097--1146,
28(1)1--69, 28(1)70--105, 28(1)106--133, 28(1)134--174,
28(2)207--255, 28(4)696--714, 29(1)3--3, 29(5)29--29, 30(3)17--17,
30(4)22--22, 30(4)23--23, 31(1)1--1, 31(2)6--6, 31(2)8--8,
31(6)22--22, 32(2)4--4, 32(5)16--16, 32(5)18--18, 32(6)21--21,
34(1)2--2, 34(2)7--7, 34(2)9--9, 35(4)14--14, 37(1)4--4, 37(3)10--10,
38(2)6--6, 38(4)13--13, 39(1)4--4, 39(1)5--5, 39(2)7--7, 39(4)15--15,
39(4)16--16, 39(4)17--17, 39(4)18--18, 40(3)10--10, 41(1)2--2,
41(1)6--6, 41(2)12--12, 41(3)16--16, 41(3)19--19, 41(4)23--23,
42(1)3--3, 43(4)15--15, 44(3)14--14, 44(4)22--22
-
implementers, 40(3)13--13
-
implementing, 4(1)83--112, 4(2)149--178, 4(2)179--195, 4(4)552--562,
9(2)125--163, 11(4)598--632, 15(5)745--770, 17(1)45--46,
19(1)153--187, 19(3)413--426, 30(3)12--12, 30(4)24--24, 38(2)5--5,
39(4)14--14, 40(4)15--15, 43(2)6--6
-
implementor, 5(3)405--421, 16(3)727--774, 16(6)1699--1718, 17(1)63--84
-
implication, 4(2)239--257, 13(2)237--268, 16(3)456--492, 16(3)872--923,
22(1)87--128, 31(2)7--7, 32(1)1--1, 32(2)6--6, 39(1)2--2
-
implicit, 4(1)44--82, 9(4)491--542, 15(4)575--631, 27(6)1270--1343,
28(5)848--907, 34(1)2--2, 40(4)16--16, 42(1)2--2, 45(2)7--7
-
implicit-signal, 27(6)1270--1343
-
implicitly, 9(2)277--295, 18(3)254--267, 20(3)483--545, 28(5)848--907,
33(5)16--16, 35(1)3--3
-
implied, 9(2)198--234
-
imply, 4(2)149--178, 14(4)589--616, 15(5)771--794, 16(5)1449--1466,
22(1)162--186, 31(3)10--10, 34(4)16--16, 42(4)16--16, 43(1)2--2
-
importance, 6(4)632--646, 19(6)992--1030, 21(1)90--137, 41(3)19--19,
44(1)3--3
-
important, 4(2)179--195, 4(3)455--495, 4(4)527--551, 4(4)687--710,
9(2)125--163, 13(1)21--51, 14(3)339--395, 14(4)521--573,
15(4)659--680, 15(5)771--794, 16(2)205--258, 16(3)986--1009,
16(4)1081--1096, 16(4)1156--1214, 16(4)1319--1360, 16(6)1811--1841,
17(4)600--634, 18(3)300--324, 18(4)454--476, 18(4)477--518,
19(1)188--222, 20(1)51--115, 20(3)586--634, 20(6)1223--1250,
21(1)138--173, 21(2)189--239, 21(2)324--369, 21(5)914--947,
21(5)977--1027, 21(6)1251--1297, 22(3)506--539, 22(4)638--672,
22(4)701--771, 22(6)1002--1036, 27(6)1049--1096, 28(4)747--793,
29(1)3--3, 30(2)8--8, 30(3)17--17, 30(4)18--18, 30(6)33--33,
30(6)34--34, 32(3)8--8, 32(3)9--9, 34(1)2--2, 34(1)3--3, 34(1)5--5,
34(2)7--7, 34(4)17--17, 35(1)2--2, 35(4)14--14, 36(4)13--13,
37(3)8--8, 39(2)9--9, 39(4)17--17, 40(2)7--7, 40(4)15--15, 41(1)2--2,
41(4)21--21, 41(4)23--23, 43(1)4--4, 43(3)10--10, 44(4)24--24
-
importantly, 18(4)355--400, 28(3)429--475
-
imported, 10(2)204--214
-
import/export, 16(4)1361--1398
-
imports, 35(1)2--2
-
impose, 9(2)164--197, 16(6)1675--1683, 18(1)30--72, 20(1)208--258,
21(3)677--701, 21(4)790--812, 28(5)848--907
-
imposed, 13(1)52--98, 22(2)416--430
-
imposing, 41(2)10--10
-
impossibility, 31(3)10--10
-
impossible, 16(5)1467--1471, 22(2)416--430, 40(1)4--4
-
impractical, 8(4)491--523, 35(2)7--7, 41(2)13--13
-
imprecise, 37(1)4--4, 41(3)16--16, 44(2)7--7
-
imprecision, 40(4)16--16
-
impredicative, 22(1)1--44, 32(3)7--7, 38(2)4--4
-
improper, 42(3)14--14
-
improve, 3(2)126--143, 4(1)21--36, 14(2)173--200, 16(3)370--386,
16(4)1081--1096, 16(4)1156--1214, 16(6)1768--1810, 18(2)139--174,
18(2)175--234, 18(3)235--253, 18(4)424--453, 19(4)557--567,
19(4)568--585, 19(6)853--898, 19(6)916--941, 19(6)1053--1084,
20(1)208--258, 20(6)1195--1222, 21(1)1--10, 21(2)324--369,
21(3)569--626, 21(4)703--746, 21(4)848--894, 21(5)948--976,
21(5)977--1027, 21(5)1028--1075, 21(6)1251--1297, 22(1)129--161,
22(3)431--470, 22(3)490--505, 28(1)106--133, 29(1)2--2, 29(1)3--3,
30(2)8--8, 30(3)17--17, 30(4)22--22, 30(5)28--28, 30(6)32--32,
31(1)2--2, 31(5)17--17, 32(4)13--13, 34(1)3--3, 34(3)11--11,
34(3)14--14, 35(4)13--13, 36(3)8--8, 38(2)6--6, 38(3)9--9,
38(3)12--12, 39(4)17--17, 40(1)3--3, 40(3)9--9, 40(3)13--13,
40(4)14--14, 41(1)1--1, 41(1)3--3, 41(1)6--6, 41(2)13--13,
42(2)10--10, 42(3)15--15, 44(1)4--4, 45(4)20--20
-
improved, 2(3)415--462, 6(4)505--526, 7(1)159--175, 13(3)372--398,
14(1)1--27, 15(5)771--794, 18(4)424--453, 21(5)977--1027,
21(5)1028--1075, 22(1)45--86, 22(3)490--505, 28(1)70--105,
29(6)38--38, 30(3)17--17, 31(6)21--21, 32(5)17--17, 36(2)7--7,
38(3)9--9, 39(2)9--9, 40(3)9--9
-
improvement, 4(1)21--36, 5(2)236--264, 9(4)473--490, 10(2)248--266,
14(1)1--27, 16(3)428--455, 17(2)217--227, 17(4)561--575,
17(4)635--671, 18(2)175--234, 18(4)424--453, 18(5)528--563,
18(6)659--682, 18(6)730--751, 19(3)525--555, 19(4)557--567,
20(1)166--207, 20(3)546--585, 20(5)917--979, 20(6)1223--1250,
21(5)977--1027, 22(5)932--972, 27(6)1097--1146, 28(1)70--105,
28(1)134--174, 28(2)207--255, 30(4)22--22, 34(2)9--9, 35(1)3--3,
35(2)7--7, 35(4)14--14, 39(4)17--17, 41(3)17--17
-
improving, 16(5)1648--1659, 16(6)1768--1810, 17(1)28--44, 18(4)424--453,
19(6)1053--1084, 20(6)1223--1250, 21(4)703--746, 27(6)1097--1146,
31(1)2--2, 35(4)14--14, 39(4)17--17, 40(3)9--9, 45(2)12--12,
45(4)20--20
-
improving, code-, 19(6)1053--1084
-
improving, precision-, 40(4)14--14
-
impure, 19(2)223--238
-
in, blocks-, 9(3)367--389
-
in, built-, 16(3)687--726
-
in, compilers-, 34(1)3--3
-
in, conditioning-, 40(1)4--4
-
In, First-, 16(3)939--953
-
in-context, 17(1)63--84
-
in-depth, 27(6)1147--1215, 45(1)5--5
-
in-memory, 20(3)586--634, 41(3)15--15
-
in-orbit, 32(4)13--13
-
in-place, 33(1)2--2
-
in-place, update-, 21(3)430--501
-
in-the-Large, Programming-, 16(5)1572--1612
-
in-the-large, programming-, 16(5)1572--1612
-
in-time'', ``just-, 21(2)324--369
-
in-time', `just-, 21(5)895--913
-
In-Time, Just-, 41(3)16--16
-
in-Time, Just-, 28(1)70--105, 28(1)106--133, 38(2)7--7
-
in-time, just-, 27(4)732--785, 38(2)7--7, 41(3)16--16,
43(3)10--10, 45(4)20--20
-
in-transit, 18(5)615--647
-
inaccuracy, 39(2)8--8
-
inadequacy, 13(1)150--178
-
inadequate, 13(1)150--178, 16(5)1472--1511, 21(1)90--137, 28(4)747--793,
38(4)15--15
-
inappropriate, 4(2)226--238, 14(2)265--297
-
inappropriately, 41(1)4--4
-
INC, 13(2)211--236
-
incapable, 18(1)30--72
-
incarnations, 33(5)16--16
-
Inclink, 13(1)1--20
-
include, 4(2)149--178, 4(2)226--238, 4(4)552--562, 4(4)711--732,
4(4)733--757, 5(2)127--163, 8(4)419--490, 9(2)125--163,
12(4)643--669, 13(2)237--268, 15(4)681--705, 15(5)771--794,
16(3)605--606, 16(5)1472--1511, 16(6)1675--1683, 17(5)777--803,
18(2)139--174, 19(3)492--524, 19(5)685--725, 19(6)992--1030,
19(6)1053--1084, 21(1)138--173, 21(2)370--416, 21(3)430--501,
21(4)848--894, 21(6)1196--1250, 22(4)673--700, 22(5)932--972,
22(6)973--1001, 27(6)1097--1146, 27(6)1147--1215, 28(1)1--69,
28(4)577--618, 29(1)2--2, 30(4)18--18, 30(5)28--28, 31(2)7--7,
32(2)4--4, 32(3)7--7, 34(2)7--7, 34(2)10--10, 34(3)12--12, 35(1)3--3,
35(2)6--6, 35(3)9--9, 35(3)10--10, 38(2)5--5, 38(3)12--12,
40(3)10--10, 40(4)14--14, 41(2)8--8, 43(3)10--10
-
included, 16(5)1572--1612, 19(1)188--222, 31(2)7--7, 36(2)5--5
-
including, 4(3)402--454, 4(4)552--562, 4(4)585--600, 6(2)159--174,
7(1)159--175, 7(4)501--538, 7(4)560--599, 8(4)419--490,
9(2)235--256, 14(1)28--53, 15(1)36--72, 16(2)175--204,
16(3)577--604, 16(3)687--726, 16(3)798--842, 16(3)954--985,
16(5)1512--1542, 16(5)1572--1612, 16(5)1613--1647, 17(1)85--122,
17(2)293--330, 17(4)600--634, 18(2)109--138, 18(2)175--234,
19(1)87--152, 19(3)413--426, 19(6)899--915, 19(6)1053--1084,
20(5)1014--1066, 21(1)138--173, 21(2)240--285, 21(3)527--568,
21(4)703--746, 21(6)1251--1297, 22(6)1037--1080, 23(1)73--103,
28(3)517--575, 30(4)19--19, 30(6)33--33, 31(2)7--7, 31(4)16--16,
32(4)11--11, 32(4)15--15, 33(1)5--5, 34(1)3--3, 34(4)17--17,
35(1)2--2, 36(4)14--14, 37(1)3--3, 37(4)12--12, 38(1)2--2, 39(1)3--3,
39(1)5--5, 39(2)6--6, 39(3)10--10, 39(4)14--14, 39(4)18--18,
40(2)6--6, 41(2)12--12, 41(2)13--13, 41(3)14--14, 41(4)20--20,
42(3)15--15, 43(1)3--3
-
inclusion, 7(2)183--213, 20(4)869--916, 28(5)795--847, 43(4)14--14
-
incoming, 28(2)290--330
-
incomparable, 17(2)228--232, 36(4)11--11, 37(3)9--9
-
incompatible, 4(4)668--677, 16(6)1875--1903
-
incomplete, 8(4)547--576, 14(3)396--416, 27(2)236--263, 31(5)17--17,
32(2)6--6, 39(1)4--4, 42(3)15--15
-
inconsistency, 16(3)387--427, 21(3)502--526, 40(2)6--6
-
inconsistent, 14(4)589--616, 32(5)18--18
-
incorporate, 7(4)501--538, 16(3)428--455, 16(3)577--604, 17(4)600--634,
21(4)848--894, 27(6)1097--1146, 36(1)3--3
-
incorporated, 9(2)198--234, 14(1)1--27, 16(2)175--204, 18(6)659--682,
20(4)845--868, 32(6)23--23
-
incorporating, 14(2)173--200, 14(4)471--489, 16(3)456--492,
16(5)1411--1430, 19(1)87--152, 21(1)11--45, 22(2)224--264,
40(3)12--12
-
incorporation, 9(2)164--197, 16(3)924--938, 22(2)378--415
-
incorrect, 4(4)615--649, 16(3)387--427, 16(5)1648--1659, 20(5)980--1013,
21(1)1--10, 28(5)942--965, 30(2)8--8, 31(3)9--9, 31(5)17--17,
32(4)15--15
-
increase, 8(4)419--490, 8(4)491--523, 14(1)28--53, 15(5)771--794,
16(4)1156--1214, 17(4)635--671, 19(6)853--898, 19(6)1031--1052,
21(5)1028--1075, 28(1)106--133, 32(1)3--3, 32(3)9--9, 33(4)12--12,
34(4)15--15, 35(1)3--3, 35(3)11--11, 38(3)12--12, 39(2)8--8,
40(3)10--10, 40(4)14--14, 41(1)5--5, 44(4)22--22
-
increased, 9(4)491--542, 19(6)992--1030, 21(3)430--501, 21(3)502--526,
28(5)908--941, 35(1)3--3, 38(3)12--12, 43(3)10--10
-
increasing, 4(1)1--20, 16(6)1768--1810, 17(2)394--429, 18(4)355--400,
20(2)274--301, 22(2)378--415, 22(3)490--505, 22(4)638--672,
27(6)1147--1215, 31(1)4--4, 34(2)7--7, 35(2)8--8, 35(3)9--9,
38(2)6--6, 40(4)14--14, 45(2)11--11
-
increasingly, 16(3)328--369, 17(4)600--634, 19(1)188--222,
19(5)639--684, 21(6)1077--1136, 30(5)25--25, 30(6)31--31, 31(2)8--8,
32(4)13--13, 35(1)3--3, 38(2)4--4, 40(1)3--3, 45(1)2--2
-
incremental, 1(1)58--70, 5(3)449--477, 7(4)501--538, 8(4)547--576,
8(4)577--608, 9(3)319--349, 10(1)1--50, 10(3)345--373,
11(2)169--193, 12(3)341--395, 13(1)1--20, 13(2)211--236,
13(3)315--341, 14(2)173--200, 14(3)339--395, 14(4)490--520,
16(3)1010--1023, 16(5)1572--1612, 17(1)1--15, 17(2)394--429,
18(1)16--29, 18(1)30--72, 18(3)354--354, 19(2)239--252,
19(6)853--898, 20(3)546--585, 20(5)980--1013, 22(2)187--223,
27(6)1097--1146, 27(6)1216--1269, 31(6)21--21, 32(1)3--3, 37(1)3--3,
37(1)4--4, 37(4)13--13, 41(1)6--6
-
incrementality, 17(1)1--15
-
incrementalized, 20(3)546--585
-
incrementally, 8(4)491--523, 13(1)1--20, 14(2)173--200, 17(1)1--15,
17(5)704--739, 18(4)355--400, 20(2)302--343, 20(5)980--1013,
21(1)1--10, 21(2)324--369, 22(3)431--470, 39(2)7--7, 41(1)6--6
-
increment/decrement, auto-, 32(4)11--11
-
incurring, 28(1)70--105
-
incurs, 32(5)17--17, 36(4)13--13, 37(1)4--4
-
indeed, 16(3)305--327, 21(3)677--701, 28(3)389--428, 28(4)747--793,
35(3)11--11, 39(1)3--3, 40(3)11--11
-
independence, 16(4)1248--1278, 17(3)431--447, 21(2)189--239,
21(3)569--626, 22(2)296--339, 32(5)19--19, 35(2)8--8, 38(2)5--5,
43(2)6--6, 44(1)4--4, 44(4)25--25
-
independence, data-, 22(1)162--186
-
independent, 9(2)164--197, 9(3)367--389, 13(1)1--20, 15(4)632--658,
15(4)659--680, 16(5)1613--1647, 17(1)28--44, 17(3)431--447,
17(4)635--671, 19(4)557--567, 19(5)804--851, 19(6)853--898,
22(2)296--339, 22(5)773--815, 23(2)105--186, 31(5)19--19,
32(4)15--15, 34(4)15--15, 38(1)2--2, 40(1)4--4, 41(2)11--11,
41(4)21--21
-
independent, device-, 8(4)419--490
-
independent, implementation-, 27(6)1344--1395
-
independent, language-, 8(4)577--608, 9(2)164--197,
16(6)1875--1903, 30(5)28--28
-
independent, location-, 32(4)12--12
-
Independent, Machine-, 2(2)239--262
-
independent, Machine-, 9(2)257--276
-
independent, machine-, 9(2)257--276, 9(3)367--389,
14(1)54--106, 19(3)492--524, 20(4)869--916
-
independent, observer-, 17(1)157--179
-
independent, platform-, 29(6)33--33
-
Independent, Representation-, 14(4)589--616
-
independently, 4(2)179--195, 12(4)643--669, 16(3)370--386,
16(3)605--606, 16(6)1875--1903, 17(5)777--803, 20(2)344--387,
31(4)15--15, 38(3)9--9
-
index, 6(4)546--572, 8(4)609--610, 9(3)367--389, 10(4)641--642,
11(4)669--670, 12(4)700--701, 13(4)634--635, 14(4)617--618,
16(6)1904--1907, 17(6)938--940, 20(6)1323--1325, 27(2)185--235,
38(2)5--5
-
indexed, 18(6)752--779, 23(5)657--683, 31(6)21--21
-
indexed, step-, 32(3)7--7
-
indexing, 18(3)235--253, 18(5)528--563, 31(6)21--21
-
indicate, 4(4)615--649, 16(2)175--204, 16(4)1156--1214, 17(4)561--575,
17(4)635--671, 17(5)777--803, 18(1)16--29, 18(4)477--518,
19(6)853--898, 20(1)166--207, 20(3)635--678, 20(4)869--916,
21(2)370--416, 21(5)1028--1075, 29(5)29--29, 30(1)4--4, 31(3)10--10,
33(6)21--21, 34(1)4--4, 35(2)7--7, 37(2)6--6, 39(4)14--14
-
indicating, 28(2)290--330, 30(4)20--20, 31(3)10--10, 35(2)8--8
-
indication, 14(2)265--297
-
indirect, 18(3)235--253, 18(5)615--647, 19(6)1085--1087, 29(6)37--37,
30(1)4--4, 35(1)5--5
-
indirection, 9(3)367--389, 30(5)28--28
-
indispensable, 13(1)150--178, 16(3)1010--1023
-
individual, 8(4)491--523, 9(2)198--234, 16(3)370--386, 17(1)28--44,
17(2)394--429, 20(2)344--387, 21(4)813--847, 22(5)932--972,
23(1)73--103, 27(6)1147--1215, 28(5)908--941, 30(3)17--17,
35(3)9--9, 36(1)3--3, 36(4)13--13, 38(3)9--9, 38(4)15--15, 40(2)8--8,
40(3)9--9, 40(3)10--10, 41(4)23--23, 43(2)6--6, 43(3)10--10,
45(1)5--5
-
individually, 19(3)525--555, 36(1)1--1
-
induce, 21(5)914--947, 28(2)256--289, 32(1)2--2, 40(4)17--17, 42(1)2--2
-
induced, 4(4)615--649, 15(4)575--631, 17(2)228--232, 22(5)816--860,
38(1)2--2, 40(3)11--11, 43(1)4--4
-
induced, pointer-, 23(2)105--186
-
induction, 1(1)50--57, 10(2)248--266, 17(1)85--122, 20(6)1171--1194,
30(6)32--32, 34(3)11--11, 39(1)4--4, 41(1)5--5
-
induction, co-, 41(1)5--5
-
inductive, 40(1)4--4, 41(1)5--5, 44(2)7--7
-
industrial, 16(5)1613--1647, 32(6)23--23, 35(4)13--13, 41(3)18--18
-
industrial-strength, 38(2)6--6
-
industry, 16(5)1613--1647, 20(2)274--301, 41(3)17--17, 44(4)22--22
-
ineffective, 17(2)394--429
-
inefficiencies, 18(6)752--779, 29(2)12--12, 34(1)5--5, 41(3)19--19
-
inefficient, 16(5)1648--1659, 19(3)444--461, 20(5)980--1013,
22(2)187--223, 37(1)4--4, 39(2)7--7
-
inequality, 5(3)405--421, 14(3)339--395, 30(5)27--27, 34(4)16--16
-
inessential, 4(2)179--195, 6(3)432--439
-
inevitably, 39(2)8--8
-
inexact, 16(4)1248--1278, 38(3)8--8
-
inexpensive, 31(3)9--9
-
infeasible, 20(1)51--115, 34(1)5--5, 36(1)1--1
-
infection, 30(5)25--25
-
infer, 13(2)269--290, 15(4)575--631, 19(1)87--152, 19(1)188--222,
20(4)724--767, 22(1)1--44, 36(3)10--10, 38(4)13--13, 41(2)9--9,
42(3)13--13, 42(3)15--15, 42(4)18--18
-
inference, 5(4)641--655, 11(3)418--450, 14(3)339--395, 15(2)253--289,
16(5)1411--1430, 17(1)16--27, 17(4)576--599, 18(2)109--138,
18(5)519--527, 19(1)87--152, 20(1)166--207, 20(4)707--723,
20(4)724--767, 21(2)286--323, 21(6)1137--1195, 22(1)1--44,
22(2)340--377, 22(4)701--771, 25(1)117--158, 27(6)1216--1269,
28(2)207--255, 28(2)256--289, 28(3)389--428, 28(5)848--907,
30(4)18--18, 30(4)20--20, 32(1)2--2, 33(3)9--9, 33(5)17--17,
34(3)14--14, 35(2)8--8, 36(1)1--1, 39(4)18--18, 40(1)1--1, 41(2)9--9,
42(2)9--9, 42(3)15--15, 42(4)18--18, 44(1)4--4
-
inference., 30(4)20--20
-
inferred, 16(3)328--369, 19(1)87--152, 21(2)189--239, 28(5)848--907,
40(3)13--13
-
inferring, 21(2)370--416, 28(5)848--907, 29(5)29--29, 32(6)21--21,
37(3)10--10, 42(3)13--13, 43(2)6--6
-
infinite, 13(1)99--123, 14(4)574--588, 15(4)575--631, 20(1)208--258,
21(4)747--789, 31(3)10--10, 33(4)14--14, 35(4)12--12, 36(2)5--5,
37(1)1--1, 38(1)1--1
-
infinite-list, 11(4)633--649
-
infinite-state, 21(4)747--789, 34(1)6--6, 36(4)14--14
-
infinite-time, 14(4)521--573
-
infinitely, 17(1)16--27, 20(1)208--258
-
infinity, 18(2)139--174
-
in/first-out, last-, 21(1)90--137
-
Influence, 17(4)561--575
-
influenced, 8(4)419--490, 33(3)10--10
-
influences, 39(2)7--7
-
influential, 39(4)17--17
-
informal, 4(3)455--495, 4(4)668--677, 22(4)638--672, 27(6)1344--1395,
28(4)747--793, 39(4)14--14
-
informally, 14(4)471--489, 19(3)444--461, 31(2)7--7, 44(4)24--24
-
INFORMATION, 7(4)600--621, 11(1)115--146, 13(3)295--314, 15(5)795--825,
16(1)102--150, 16(3)775--797, 16(3)986--1009, 19(6)992--1030
-
Information-Flow, 7(1)37--61
-
information-flow, 30(1)6--6
-
information-hiding, 14(2)201--264
-
informed, 18(4)454--476
-
infrastructure, 30(4)22--22, 31(6)22--22, 32(4)12--12, 42(1)3--3
-
infrequently, 22(3)431--470, 28(5)908--941
-
ingredient, 20(1)208--258, 32(1)2--2, 33(5)17--17, 42(1)4--4
-
inherent, 18(4)424--453, 18(5)528--563, 39(4)17--17
-
inherently, 16(4)1248--1278, 17(3)487--506, 22(2)224--264,
27(6)1270--1343, 28(4)747--793, 33(1)4--4, 34(1)4--4
-
inheritance, 18(4)401--423, 18(6)711--729, 19(1)153--187, 22(3)506--539,
28(2)331--388, 30(5)28--28, 30(6)33--33, 33(4)12--12, 37(2)6--6,
37(4)13--13
-
inherited, 13(1)99--123
-
inherits, 22(5)861--931
-
inhibit, 16(4)1248--1278, 40(3)10--10
-
initial, 4(4)650--667, 10(2)248--266, 16(3)775--797, 16(4)1081--1096,
17(3)487--506, 27(6)1147--1215, 27(6)1344--1395, 39(1)2--2,
40(1)3--3, 43(2)8--8
-
initialisation, 28(4)619--695
-
initialization, 21(6)1196--1250, 35(4)14--14
-
initialized, 21(6)1196--1250
-
initializing, 21(3)430--501
-
initially, 4(4)650--667, 4(4)758--762, 33(3)10--10
-
initiated, 33(6)20--20
-
injected, compiler-, 36(2)6--6
-
injection, 41(3)18--18
-
inline, 18(4)355--400, 20(1)166--207, 28(1)134--174
-
inlining, 14(2)173--200, 20(1)166--207, 28(1)70--105, 28(1)134--174,
30(6)33--33
-
inner, 37(2)6--6
-
innermost, 22(1)45--86
-
innovations, 35(2)7--7, 40(4)15--15
-
innovative, 18(2)109--138, 34(1)5--5
-
Inoue, Katsuro, 10(4)555--578
-
Inoue:1988:AFP, 10(4)555--578
-
input, 3(3)224--250, 8(1)140--141, 13(1)150--178, 13(2)211--236,
14(3)339--395, 14(4)490--520, 15(4)632--658, 16(2)259--303,
16(3)1010--1023, 16(3)1024--1050, 16(4)1215--1247, 16(6)1661--1674,
17(3)487--506, 18(1)30--72, 18(6)752--779, 19(3)462--491,
19(6)899--915, 20(1)1--50, 20(1)208--258, 20(2)259--273,
20(3)546--585, 20(4)707--723, 21(1)1--10, 21(6)1077--1136,
22(2)224--264, 22(5)932--972, 28(3)389--428, 29(1)3--3, 29(6)33--33,
31(3)10--10, 31(6)20--20, 32(4)15--15, 33(4)14--14, 34(4)16--16,
35(2)8--8, 37(1)3--3, 38(4)13--13, 39(1)3--3, 39(2)8--8, 41(3)16--16,
43(1)3--3, 45(2)9--9, 45(3)14--14
-
Input-Output, 5(2)223--235
-
input-output, 32(6)21--21
-
input., 31(6)20--20
-
INPUT/OUTPUT, 8(1)142--153, 8(1)154--182, 16(6)1661--1674
-
Input/Output, 10(2)215--247, 11(1)33--56, 16(3)954--985
-
input/output, 4(4)527--551, 9(3)297--318, 33(4)14--14, 42(1)4--4
-
insensitive, 19(1)1--6, 22(1)162--186, 40(3)11--11
-
insensitive, context-, 19(4)568--585, 20(4)707--723, 30(1)4--4,
40(4)14--14
-
insensitive, field-, 30(1)4--4, 35(1)5--5
-
Insensitive, Flow-, 19(1)1--6
-
insensitive, Flow-, 28(6)1035--1087
-
insensitive, flow-, 21(4)848--894, 23(2)105--186, 30(4)18--18,
43(1)3--3
-
insensitive, flow-/context-, 23(2)105--186
-
insensitive, termination-, 39(3)10--10, 40(4)16--16
-
insert, 35(2)8--8
-
inserted, 33(3)10--10
-
inserting, 16(4)1319--1360, 21(1)1--10, 34(2)7--7, 36(4)12--12
-
insertion, 17(4)672--689, 19(4)557--567, 20(1)1--50, 20(6)1111--1130,
27(6)1147--1215, 35(2)8--8, 39(2)6--6, 41(1)6--6
-
inset-based, 34(1)3--3
-
inside, 34(1)2--2, 34(3)12--12, 35(4)14--14, 38(3)9--9
-
insight, 16(3)428--455, 16(5)1472--1511, 16(6)1661--1674, 17(2)181--196,
21(2)189--239, 21(3)627--676, 22(2)296--339, 22(3)540--582,
23(2)105--186, 28(5)908--941, 30(1)4--4, 32(5)19--19, 33(3)9--9,
35(1)5--5, 36(4)11--11, 37(1)2--2, 42(1)2--2
-
insignificant, 14(1)1--27
-
inspected, 13(2)237--268
-
inspection, 25(3)360--399, 26(6)1029--1052
-
inspector/executor, 20(6)1195--1222
-
inspired, 20(5)1014--1066, 34(1)6--6
-
installed, 22(1)129--161
-
instance, 13(2)237--268, 14(3)339--395, 15(1)1--35, 16(3)607--648,
16(5)1431--1448, 16(5)1613--1647, 16(6)1842--1874, 17(2)264--292,
18(2)175--234, 20(4)869--916, 21(3)627--676, 22(5)816--860,
22(5)861--931, 22(6)1002--1036, 23(1)73--103, 28(5)795--847,
31(3)12--12, 33(3)11--11, 36(3)8--8, 36(4)12--12, 39(1)3--3,
42(1)3--3, 43(1)4--4
-
instance, per-, 41(1)2--2
-
instant, 16(5)1648--1659
-
instantaneously, 33(1)4--4
-
instantiable, 39(2)7--7
-
instantiate, 22(6)1002--1036, 36(2)7--7, 38(2)7--7
-
instantiated, 20(1)51--115, 28(2)256--289, 30(5)29--29, 31(5)18--18
-
instantiating, 19(5)751--803, 41(3)16--16
-
instantiation, 7(3)446--477, 16(1)35--101, 20(4)845--868, 28(5)795--847,
39(2)7--7, 40(2)5--5, 41(3)16--16, 42(1)2--2
-
instead, 3(3)251--262, 4(2)226--238, 6(2)254--280, 16(3)775--797,
16(3)986--1009, 16(5)1411--1430, 16(6)1768--1810, 17(3)431--447,
19(3)413--426, 20(1)51--115, 20(6)1297--1322, 21(3)430--501,
22(2)187--223, 22(5)816--860, 28(5)942--965, 34(1)1--1, 34(1)2--2,
34(1)6--6, 37(4)12--12, 39(1)2--2, 39(2)7--7, 40(3)10--10, 41(1)2--2
-
instruction, 1(1)71--83, 2(3)274--289, 4(3)496--517, 6(4)527--545,
7(4)560--599, 11(4)491--516, 14(3)299--338, 15(4)632--658,
16(4)1319--1360, 16(6)1842--1874, 17(3)461--486, 17(5)740--776,
18(3)235--253, 18(3)300--324, 19(3)492--524, 20(3)586--634,
20(3)679--706, 21(2)324--369, 21(5)977--1027, 21(5)1028--1075,
22(2)378--415, 22(3)471--489, 23(1)73--103, 27(6)1097--1146,
29(1)3--3, 32(3)7--7, 32(4)11--11, 33(3)10--10, 34(1)4--4,
34(4)16--16, 35(1)4--4, 35(4)13--13, 35(4)14--14, 36(1)2--2,
36(1)3--3, 36(4)11--11, 40(3)10--10, 41(3)17--17
-
instruction-level, 19(6)853--898, 19(6)1031--1052
-
instruction-scheduling, 18(6)683--710
-
instruction-set, 14(2)265--297
-
instruction-stream, Multiple-, 7(4)501--538, 9(4)599--617,
10(4)579--601, 15(4)659--680, 17(1)123--156, 18(6)659--682
-
instruction-stream, Single-, 17(1)123--156
-
instruction/multiple, 15(5)745--770
-
instrument, 16(5)1399--1410, 21(5)1028--1075, 32(4)13--13
-
instrumentation, 14(3)299--338, 16(4)1319--1360, 16(5)1399--1410,
19(3)525--555, 32(6)24--24
-
insufficient, 20(5)980--1013, 37(4)12--12, 40(2)8--8
-
insurance, 42(3)14--14
-
int, 28(1)106--133
-
integer, 4(2)149--178, 19(1)7--47, 19(6)853--898, 20(4)869--916,
21(4)747--789, 28(1)106--133, 28(5)795--847, 29(5)29--29,
30(4)18--18, 34(4)16--16, 36(4)11--11, 37(1)1--1, 37(4)12--12,
38(4)13--13, 39(1)3--3, 41(2)12--12, 41(4)20--20, 42(3)13--13,
44(2)9--9
-
integer, machine-, 36(4)11--11
-
integer-factor, 16(6)1768--1810
-
integrate, 16(4)1279--1318, 20(3)586--634, 20(4)768--844,
20(6)1131--1170, 21(6)1137--1195, 22(3)506--539, 34(1)4--4,
35(1)2--2, 36(4)12--12, 37(1)4--4
-
INTEGRATED, 7(2)270--298, 8(3)344--387
-
integrated, 7(2)183--213, 8(4)419--490, 8(4)491--523, 14(1)107--125,
14(2)201--264, 17(3)431--447, 17(4)672--689, 17(5)740--776,
21(6)1251--1297, 30(1)4--4, 34(4)15--15, 35(1)5--5, 37(1)3--3,
41(3)17--17, 42(3)14--14, 45(2)11--11, 46(1)4--4
-
Integrating, 11(3)345--387, 22(3)506--539
-
integration, 7(2)183--213, 8(4)419--490, 12(1)1--25, 16(3)577--604,
16(4)1097--1113, 17(5)704--739, 22(3)506--539, 26(3)413--463,
33(4)12--12
-
integrity, 16(3)775--797, 16(3)986--1009, 37(1)4--4, 38(4)15--15,
39(3)10--10, 45(1)4--4
-
Intel, 17(2)233--263, 19(3)492--524, 28(1)1--69, 32(6)23--23,
33(3)10--10, 35(1)3--3, 43(3)10--10
-
intellectual, 20(4)869--916, 29(6)35--35
-
INTELLIGENCE, 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
-
Intelligence, 21(2)189--239, 21(3)430--501, 21(3)627--676,
21(6)1137--1195, 22(2)224--264, 22(6)1002--1036
-
intelligent, 22(2)296--339
-
intend, 17(2)233--263
-
intended, 4(2)226--238, 4(4)650--667, 7(4)501--538, 8(4)524--546,
16(6)1875--1903, 18(4)401--423, 22(3)540--582, 32(6)21--21
-
Intensional, 25(2)159--209
-
intensity, 37(4)12--12
-
intensive, 22(2)265--295, 30(6)32--32
-
intensive, data-, 38(3)11--11
-
intensive, exception-, 28(1)70--105
-
intensive, floating-point-, 22(2)265--295
-
intensive, human-, 19(3)525--555
-
intensive, loop-, 34(3)11--11
-
inter, 37(3)10--10
-
inter-dependent, 32(1)1--1
-
interact, 20(3)483--545, 22(6)1037--1080, 28(2)290--330, 30(3)17--17,
31(3)12--12, 35(1)3--3, 35(4)12--12, 39(3)11--11, 45(1)4--4
-
interacting, 9(2)198--234, 19(3)525--555, 22(1)87--128, 32(4)13--13,
43(1)1--1
-
interaction, 9(3)319--349, 10(2)215--247, 12(2)143--177, 15(4)575--631,
16(3)954--985, 19(6)1053--1084, 21(4)703--746, 21(6)1077--1136,
28(2)290--330, 29(6)33--33, 31(5)19--19, 32(4)13--13, 33(4)12--12,
34(1)6--6, 34(2)8--8, 34(2)10--10, 37(3)9--9, 39(3)10--10,
39(4)14--14, 40(4)17--17, 42(3)12--12, 45(1)4--4, 46(1)2--2
-
interaction, strategy-, 37(3)9--9
-
interactions., 32(5)18--18
-
interactive, 4(3)382--401, 6(1)1--19, 7(4)600--621, 8(4)547--576,
8(4)577--608, 9(2)198--234, 12(2)143--177, 13(2)211--236,
14(1)1--27, 14(4)490--520, 16(3)1010--1023, 16(5)1572--1612,
16(6)1699--1718, 17(1)1--15, 17(2)197--216, 18(1)30--72,
18(4)355--400, 20(5)980--1013, 20(6)1223--1250, 21(5)895--913,
21(6)1077--1136, 34(4)15--15, 37(1)3--3, 37(2)7--7, 39(3)11--11,
44(4)22--22, 46(1)4--4
-
interactively, 14(1)54--106, 16(6)1699--1718
-
interactiveness, 18(4)355--400
-
intercept, 34(3)12--12
-
intercepted, 34(3)12--12
-
interchange, 16(4)1248--1278
-
interconnect, 16(1)151--174
-
Interconnectability, 40(4)17--17
-
interconnection, 8(1)142--153, 10(4)579--601, 11(2)284--329,
16(1)151--174, 17(1)123--156, 21(3)527--568, 22(6)1037--1080,
40(4)17--17
-
interconversion, 36(4)11--11
-
InterDyck-reachability, 44(2)11--11
-
interest, 9(2)257--276, 9(4)491--542, 15(4)632--658, 16(3)607--648,
19(6)992--1030, 21(5)895--913, 22(1)162--186, 28(2)256--289,
30(4)19--19, 30(5)26--26, 33(4)13--13, 35(4)13--13, 44(1)3--3
-
interested, 38(2)5--5
-
interesting, 4(4)585--600, 14(4)490--520, 15(1)36--72, 15(4)735--742,
16(3)1051--1077, 17(2)293--330, 17(5)777--803, 19(3)413--426,
19(3)444--461, 21(1)90--137, 27(6)1147--1215, 31(2)8--8,
31(3)12--12, 32(5)18--18, 33(1)3--3, 34(3)12--12, 34(4)16--16,
35(1)2--2, 39(2)8--8, 41(2)9--9, 42(1)1--53, 42(1)3--3
-
Interestingly, 27(6)1270--1343
-
interface, 7(2)214--243, 8(3)273--291, 8(4)419--490, 8(4)524--546,
9(1)1--24, 9(2)164--197, 9(3)297--318, 10(2)215--247, 10(4)627--632,
10(4)633--634, 11(1)1--32, 12(2)143--177, 12(4)501--536,
12(4)566--609, 12(4)670--699, 14(2)201--264, 14(3)339--395,
14(4)471--489, 15(5)876--895, 16(1)151--174, 16(2)259--303,
16(3)370--386, 16(4)1361--1398, 16(5)1572--1612, 18(1)1--15,
18(1)30--72, 19(1)153--187, 21(4)813--847, 21(6)1077--1136,
28(2)207--255, 28(3)517--575, 30(4)18--18, 30(6)33--33, 31(3)12--12,
32(2)6--6, 33(4)12--12, 33(4)14--14, 36(4)12--12, 38(2)4--4,
39(4)15--15, 40(2)8--8
-
interfacing, 16(1)151--174
-
interfere, 18(3)300--324, 18(5)615--647, 18(6)683--710, 21(5)914--947,
35(2)8--8
-
interference, 16(3)370--386, 16(3)428--455, 17(4)561--575,
18(3)300--324, 22(3)431--470, 32(4)13--13, 34(2)9--9, 36(1)3--3,
39(3)11--11
-
interference., 32(5)18--18
-
Interferences, Cross-, 17(4)561--575
-
interferences, cross-, 17(4)561--575
-
interfering, 5(4)596--619, 32(4)11--11
-
interleave, 18(3)300--324
-
interleaved, 17(3)448--460, 20(5)917--979, 30(4)20--20, 44(2)11--11
-
Interleaved-Dyck, 44(2)11--11
-
interleaving, 12(4)643--669, 18(3)268--299, 21(5)977--1027, 36(1)2--2,
36(2)6--6, 37(3)10--10, 43(3)10--10, 45(1)6--6
-
INTERLISP, 7(2)183--213
-
interlock, 16(6)1768--1810
-
intermediate, 4(1)21--36, 5(3)499--499, 7(4)560--599, 9(2)257--276,
9(3)297--318, 9(3)319--349, 9(4)473--490, 14(2)173--200,
14(3)299--338, 16(3)775--797, 16(5)1431--1448, 17(2)181--196,
18(6)711--729, 19(5)639--684, 19(5)804--851, 20(3)546--585,
21(1)90--137, 21(3)527--568, 22(4)701--771, 28(4)696--714,
30(6)32--32, 31(5)18--18, 32(6)23--23, 36(1)4--4, 36(2)6--6,
39(3)11--11, 40(2)8--8, 45(3)18--18
-
intermediate-level, 16(4)1215--1247
-
intermodule, 14(3)299--338
-
internal, 3(4)508--532, 9(3)297--318, 9(3)319--349, 28(2)207--255,
30(6)32--32, 31(3)11--11, 32(4)14--14, 35(1)2--2, 36(4)12--12
-
internally, 8(4)524--546
-
International, 14(2)145--146
-
Internet, 22(4)638--672, 41(3)18--18
-
interoperability, 31(1)5--5, 31(3)12--12, 40(2)8--8, 40(4)18--18
-
interoperable, 31(1)5--5
-
interoperating, 31(3)12--12
-
interplay, 30(5)29--29
-
interpret, 4(3)496--517, 32(1)2--2
-
interpretation, 4(1)83--112, 4(4)601--614, 13(2)269--290, 15(1)133--181,
16(1)35--101, 16(2)205--258, 16(3)607--648, 16(3)649--686,
16(5)1512--1542, 16(5)1613--1647, 17(1)28--44, 17(1)47--62,
18(4)401--423, 18(5)564--614, 19(1)7--47, 19(1)48--86,
19(2)253--291, 19(5)751--803, 20(1)208--258, 20(2)302--343,
20(4)845--868, 20(5)1067--1109, 21(2)189--239, 21(4)747--789,
21(5)948--976, 21(6)1137--1195, 22(2)187--223, 25(5)578--630,
26(3)413--463, 29(6)39--39, 30(5)25--25, 30(6)34--34, 31(1)3--3,
32(1)2--2, 32(2)5--5, 32(3)8--8, 32(5)18--18, 32(6)23--23,
32(6)24--24, 33(4)14--14, 33(5)16--16, 35(1)4--4, 36(3)8--8,
38(2)7--7, 40(2)6--6, 40(3)13--13, 40(4)17--17, 41(2)8--8,
41(3)18--18, 44(1)3--3, 46(1)4--4
-
Interpretation-Based, 38(2)7--7
-
interpretation-based, 39(4)16--16
-
interpretation., 32(2)5--5
-
interpreted, 18(4)355--400, 21(1)46--89, 21(1)90--137, 21(2)286--323,
39(4)14--14
-
interpreter, 4(1)83--112, 4(3)496--517, 4(4)563--584, 8(4)547--576,
14(2)265--297, 14(3)339--395, 18(4)355--400, 19(5)639--684,
20(3)586--634, 22(3)471--489, 29(6)37--37, 35(1)4--4
-
interpreting, 4(2)149--178
-
interpretive, 8(4)419--490
-
interprocedual, 18(4)355--400
-
interprocedural, 8(4)491--523, 11(1)1--32, 12(1)26--60, 12(3)341--395,
13(2)181--210, 15(3)367--399, 16(2)175--204, 19(4)568--585,
19(6)992--1030, 21(4)848--894, 22(1)162--186, 22(2)378--415,
23(2)105--186, 27(4)662--731, 28(6)1088--1144, 29(4)19--19,
29(5)29--29, 29(6)38--38, 32(2)5--5, 32(6)23--23, 33(1)3--3,
33(6)21--21, 35(1)5--5, 36(4)11--11, 38(2)6--6, 39(2)9--9, 40(1)1--1,
41(1)6--6, 41(3)18--18, 41(4)23--23, 42(4)16--16, 42(4)19--19
-
interprocess, 6(2)215--238, 28(4)715--746, 32(4)13--13
-
Interprocessor, 11(3)404--417
-
interrelated, 30(4)19--19, 35(1)3--3
-
interrogation, 8(4)577--608
-
Interruptible, 43(3)12--12
-
interruption, 27(6)1049--1096, 35(4)12--12
-
interrupts, 29(6)33--33
-
intersection, 25(4)401--451, 30(5)29--29, 38(1)3--3, 41(2)12--12
-
Intertask, 7(4)622--636
-
interunit, 16(5)1572--1612
-
interval, 18(6)649--658, 19(1)7--47, 22(5)816--860, 26(1)1--46,
31(1)4--4, 33(3)11--11, 37(1)1--1, 38(2)6--6, 40(1)3--3, 41(1)2--2,
41(2)13--13
-
interval, monotone-, 23(1)73--103
-
Interval-Based, 12(3)341--395
-
interval-finding, 18(6)649--658, 21(2)175--188
-
interwoven, 28(1)134--174
-
intimate, 38(3)10--10
-
intimately, 31(4)15--15
-
intimidating, 44(4)22--22
-
intra, 29(5)29--29
-
intra-array, 38(3)11--11
-
intra-group, 37(3)10--10
-
intra-SCC, 30(6)32--32
-
intractable, 21(3)430--501
-
intraprocedural, 16(2)175--204, 18(6)659--682, 42(4)19--19
-
intraunit, 16(5)1572--1612
-
intree, 23(1)73--103
-
intricacies, 40(1)4--4
-
intricate, 42(3)15--15
-
intrinsic, 36(2)5--5
-
intrinsically, 17(2)228--232
-
introduce, 13(1)21--51, 13(1)124--149, 14(2)201--264, 14(4)589--616,
16(2)205--258, 16(3)872--923, 17(2)233--263, 17(4)635--671,
18(3)300--324, 18(6)659--682, 19(3)427--443, 19(3)462--491,
19(5)685--725, 19(6)853--898, 20(2)344--387, 20(2)436--482,
20(3)635--678, 20(5)917--979, 20(5)1067--1109, 21(3)430--501,
22(1)45--86, 22(6)1002--1036, 28(4)619--695, 28(5)908--941,
31(1)2--2, 31(2)6--6, 31(2)8--8, 32(2)5--5, 32(3)9--9, 33(5)15--15,
33(5)16--16, 34(4)15--15, 34(4)17--17, 35(1)3--3, 35(2)7--7,
35(4)13--13, 36(1)1--1, 36(4)13--13, 37(4)12--12, 38(1)1--1,
38(4)16--16, 39(1)3--3, 39(2)7--7, 39(2)8--8, 39(4)18--18, 40(1)3--3,
40(3)12--12, 40(4)17--17, 41(1)1--1, 41(1)4--4, 41(2)8--8,
41(2)10--10, 41(3)17--17, 41(3)19--19, 44(2)12--12, 44(3)20--20,
44(4)25--25, 45(3)14--14
-
introduced, 4(4)733--757, 9(3)319--349, 15(4)735--742, 16(1)151--174,
16(4)1117--1155, 17(2)366--393, 18(2)109--138, 19(5)726--750,
19(6)1085--1087, 21(3)627--676, 21(5)948--976, 21(6)1077--1136,
22(4)583--637, 27(6)1344--1395, 34(1)3--3, 34(4)17--17, 37(2)6--6,
38(2)7--7, 39(2)8--8, 40(1)2--2, 40(3)11--11, 44(2)6--6, 44(4)24--24
-
introducing, 4(4)585--600, 7(4)501--538, 13(1)52--98, 19(1)7--47,
35(4)13--13, 37(3)8--8, 38(1)3--3
-
introduction, 4(1)44--82, 4(2)149--178, 4(3)496--517, 5(3)355--355,
6(2)159--174, 8(4)417--418, 9(3)408--440, 12(4)641--642,
13(1)21--51, 14(2)145--146, 20(2)436--482, 29(5)23--23, 33(3)10--10,
42(1)1--1, 43(4)13--13, 44(3)13--13
-
introductory, 16(3)577--604
-
intruder, 16(3)986--1009
-
intuition, 31(5)19--19, 32(1)2--2, 34(4)17--17
-
intuitive, 13(2)269--290, 17(1)1--15, 27(6)1344--1395, 28(5)795--847,
31(3)10--10, 34(3)12--12, 35(1)5--5, 36(1)4--4, 38(3)8--8,
38(4)16--16
-
intuitively, 13(1)99--123, 16(2)259--303, 17(2)366--393, 34(2)9--9
-
invalid, 16(3)727--774
-
invalidate, write-, 18(6)659--682
-
invaluable, 11(4)598--632
-
invariance, 4(3)455--495, 20(2)302--343, 41(3)15--15
-
invariant, 2(3)321--337, 2(3)338--358, 7(3)446--477, 8(2)185--214,
12(3)396--428, 15(5)876--895, 16(3)649--686, 16(6)1811--1841,
17(1)28--44, 19(1)87--152, 19(3)427--443, 19(5)726--750,
20(2)302--343, 21(4)747--789, 21(5)948--976, 31(6)21--21, 32(2)4--4,
32(6)22--22, 37(3)10--10, 39(2)8--8, 39(3)11--11, 40(3)13--13,
41(1)5--5, 43(1)3--3, 44(4)25--25
-
invariant, loop-, 5(2)236--264
-
invariant-based, 27(6)1344--1395
-
invariant., 32(5)18--18
-
invariants., 30(2)8--8
-
Invasive, 21(1)90--137
-
inverse, 19(1)7--47, 23(1)73--103, 43(3)10--10
-
inversion, 4(3)402--454, 21(3)677--701
-
Inverso, Omar, 44(1)1--1
-
Inverso:2022:BVM, 44(1)1--1
-
inverted, 21(3)677--701
-
investigate, 4(1)83--112, 14(3)396--416, 15(4)575--631, 17(1)123--156,
19(1)188--222, 20(6)1195--1222, 21(3)677--701, 21(5)948--976,
22(5)773--815, 23(1)73--103, 27(6)1344--1395, 30(4)23--23,
30(5)26--26, 31(2)8--8, 31(3)11--11, 39(4)17--17, 40(1)4--4,
42(1)4--4, 42(3)15--15, 44(2)7--7
-
investigated, 4(3)323--344, 4(4)711--732, 7(2)183--213, 14(1)1--27,
14(4)574--588, 19(1)1--6, 20(4)707--723
-
investigating, 32(4)11--11
-
investigation, 6(4)546--572, 19(6)1053--1084, 20(3)635--678, 32(1)2--2
-
invocation, 4(2)149--178, 16(1)3--34, 23(1)30--72, 30(6)33--33,
33(1)4--4, 34(3)12--12, 43(1)3--3
-
invoke, 4(2)149--178, 16(6)1699--1718
-
invoked, 31(2)7--7, 34(2)7--7
-
invoking, 30(6)30--30, 32(6)23--23
-
involve, 4(4)668--677, 8(4)524--546, 13(1)1--20, 16(3)305--327,
16(3)524--576, 16(3)775--797, 17(4)576--599, 17(5)777--803,
18(1)73--108, 20(2)302--343, 20(5)1014--1066, 22(3)490--505,
28(5)848--907, 30(6)33--33, 32(4)11--11, 36(4)14--14, 38(2)5--5,
39(2)9--9, 46(1)2--2
-
involved, 4(1)83--112, 16(3)775--797, 16(4)1114--1116, 16(5)1512--1542,
19(4)617--638, 21(2)189--239, 31(2)8--8, 34(4)17--17, 38(3)10--10,
46(1)1--1
-
involving, 14(4)574--588, 19(5)751--803, 20(2)302--343, 20(5)1067--1109,
30(5)29--29, 32(1)2--2, 37(4)12--12, 38(3)12--12, 40(3)12--12,
40(3)13--13, 41(1)5--5
-
I/O, 17(3)448--460
-
IOT-failure, 20(5)917--979
-
IOT-state, 20(5)917--979
-
IPA, 41(1)6--6
-
IPS, 17(5)740--776
-
iPSC/860, 17(2)233--263
-
IR, 30(6)32--32
-
Irigoin, François, 27(3)527--570,
see Nguyen, Thi Viet Nga
-
irrational, 14(4)574--588, 34(4)16--16
-
irreducibility, 18(6)649--658
-
irreducible, 18(6)649--658, 19(4)557--567, 19(6)1031--1052,
21(2)175--188, 24(4)299--333
-
irregular, 17(4)561--575, 19(6)853--898, 20(6)1195--1222, 38(2)5--5
-
irregularity, 19(6)853--898
-
irrelevant, 3(1)49--59, 16(5)1431--1448, 30(5)25--25, 34(2)7--7,
43(1)4--4
-
irrelevant., 16(3)1024--1050
-
irrespective, 14(2)127--144
-
irrevocable, 36(3)10--10
-
IRs, 32(6)23--23
-
is, CLP(SET)-, 22(5)861--931
-
is, runtime-, 22(1)129--161
-
is, subscripting-, 9(3)367--389
-
Isabelle/HOL, 28(4)619--695, 43(1)2--2
-
Isard, Michael, 33(1)2--2
-
Isard, Michael, see Abadi, Martín
-
ISBN, 11(4)598--632
-
Ish-Shalom, Oren, 44(3)17--17
-
Ish-Shalom:2022:RCB, 44(3)17--17
-
Islam, Nayeem, 29(5)28--28
-
Islam, Nayeem, see Chander, Ajay
-
Islam, Syed, 35(2)7--7
-
Islam, Syed, see Binkley, David
-
Iso-Recursive, 39(1)4--4, 44(4)24--24
-
iso-recursive, 39(1)4--4, 44(4)24--24
-
isolate, 16(5)1648--1659, 21(1)90--137, 33(1)3--3
-
isolated, 9(3)367--389, 14(3)339--395, 16(5)1472--1511, 16(5)1648--1659,
21(1)11--45, 30(6)32--32, 35(3)10--10
-
isolating, 16(5)1648--1659
-
isolation, 12(4)643--669, 15(1)73--132, 16(5)1648--1659,
20(6)1223--1250, 28(5)908--941, 37(2)6--6, 43(3)12--12
-
Isomorph-free, 20(2)302--343
-
isomorphic, 19(6)916--941, 20(2)302--343, 21(5)948--976, 39(2)7--7
-
isomorphism, 31(4)13--13, 41(2)8--8
-
issue, 9(2)164--197, 9(2)198--234, 9(2)257--276, 11(4)598--632,
13(1)21--51, 13(2)237--268, 14(3)339--395, 16(3)607--648,
16(3)986--1009, 16(4)1156--1214, 16(4)1361--1398, 16(6)1675--1683,
17(3)431--447, 17(4)561--575, 18(6)752--779, 21(1)46--89,
21(4)813--847, 22(2)296--339, 28(3)429--475, 29(5)23--23, 30(1)4--4,
30(4)19--19, 30(6)33--33, 31(5)19--19, 32(3)9--9, 33(5)15--15,
34(1)1--1, 34(4)17--17, 35(1)4--4, 38(3)12--12, 38(4)16--16,
39(1)3--3, 39(4)17--17, 40(4)18--18, 41(1)4--4, 41(3)16--16,
41(4)21--21, 42(1)1--1, 42(2)11--11, 43(1)3--3, 43(1)4--4, 43(3)9--9,
44(3)13--13
-
issue, multiple-, 21(5)1028--1075
-
issue, wide-, 19(1)188--222
-
it, conjectures-, 39(1)3--3
-
it., 30(4)23--23
-
Italian, 41(3)18--18
-
items, 13(1)150--178, 19(4)568--585, 28(4)577--618
-
Iterable, 43(1)4--4
-
iterated, 17(3)487--506, 18(3)300--324, 33(5)17--17, 40(4)17--17
-
iterating, 17(2)181--196, 32(5)17--17, 43(1)4--4
-
iteration, 11(2)194--211, 16(4)1114--1116, 16(4)1248--1278, 18(1)1--15,
19(5)751--803, 19(6)853--898, 22(4)638--672, 22(6)1002--1036,
23(1)73--103, 24(4)409--453, 30(4)23--23, 33(3)11--11, 34(1)3--3,
38(2)5--5, 39(2)9--9, 41(1)6--6, 43(1)4--4
-
iteration-level, 17(4)600--634
-
iterative, 9(4)473--490, 9(4)567--581, 12(1)139--141, 14(3)339--395,
16(5)1472--1511, 26(6)975--1028, 27(3)426--440, 30(4)21--21,
32(4)13--13, 32(5)17--17, 34(1)3--3, 35(1)3--3, 39(2)9--9
-
iteratively, 18(6)683--710, 19(6)992--1030
-
iterator, 4(3)402--454, 18(1)1--15
-
Ito, M. Robert, 6(1)20--54
-
Ito, M. Robert, see Cameron, Robert D.
-
itself, 7(4)501--538, 8(4)547--576, 16(6)1699--1718, 18(2)175--234,
20(5)980--1013
-
Itzhaky, Shachar, 44(3)17--17
-
Itzhaky, Shachar, see Ish-Shalom, Oren
-
iv, 29(1)3--3, 42(3)15--15
-
Iverson, Kenneth E., 1(2)161--176
-
Iverson:1979:O, 1(2)161--176
-
Iwasaki, Hideya, 19(3)444--461
-
Iwasaki, Hideya, see Hu, Zhenjiang
-
Iyengar, Arun, 41(3)15--15
-
Iyengar, Arun, see Grove, David