Index file section E for toplas.bib
Last update: Sat Oct 12 02:04:31 MDT 2024
Return to index directory
E
-
E, 10(4)633--634, 14(2)127--144, 15(3)494--534, 29(6)33--33, 37(4)13--13
-
e, 19(3)462--491
-
e-commerce, 37(4)11--11
-
E-definition, 14(2)127--144
-
e.1, 7(1)1--9, 7(2)348--357, 9(2)277--295, 11(4)598--632, 13(3)295--314,
13(4)626--629, 14(2)201--264, 14(4)471--489, 15(3)400--462,
16(3)328--369, 16(4)1279--1318, 16(6)1684--1698, 17(1)1--15,
17(1)123--156, 18(6)649--658, 19(2)239--252, 19(5)751--803,
19(6)1031--1052, 20(1)1--50, 20(1)116--165, 20(2)388--435,
20(4)869--916, 20(5)980--1013, 20(6)1265--1296, 21(2)175--188,
22(4)673--700
-
E.2, 7(1)62--79, 8(1)88--108, 9(3)297--318, 9(3)367--389, 10(4)555--578,
13(4)626--629, 14(2)201--264, 14(4)574--588, 20(1)1--50,
20(1)116--165
-
E.4, 13(3)295--314, 22(2)378--415
-
e.g, 4(1)21--36, 4(4)711--732, 13(2)181--210, 16(3)370--386,
19(3)444--461, 20(1)116--165, 21(3)527--568, 22(3)431--470,
22(6)1037--1080, 27(6)1049--1096, 32(1)2--2, 32(4)12--12,
32(5)16--16, 33(3)10--10, 36(4)14--14, 38(2)4--4, 40(2)5--5,
40(2)8--8, 41(3)15--15, 42(3)15--15, 43(1)3--3, 46(3)10--10
-
E.m, 37(4)13--13
-
eager, 20(4)768--844, 22(1)45--86
-
Earley, 12(4)610--640
-
earlier, 4(4)711--732, 13(2)237--268, 15(2)211--252, 17(1)1--15,
18(6)730--751, 20(4)707--723, 21(2)175--188, 22(1)129--161,
23(1)73--103, 33(6)20--20, 40(1)2--2, 42(3)13--13
-
early, 3(3)318--347, 8(2)244--263, 33(1)4--4, 39(1)5--5, 45(1)1--1
-
ease, 27(6)1049--1096, 37(1)4--4, 43(2)6--6, 46(2)8--8
-
easier, 13(1)52--98, 14(3)417--461, 18(1)30--72, 18(3)254--267,
21(1)90--137, 27(6)1270--1343, 31(2)6--6, 31(4)14--14, 32(1)2--2,
36(4)14--14, 37(3)8--8, 39(4)17--17, 44(2)6--6, 44(2)10--10
-
easily, 4(2)149--178, 7(4)501--538, 9(2)235--256, 9(3)319--349,
14(2)265--297, 16(3)524--576, 16(3)605--606, 16(3)1051--1077,
18(1)73--108, 18(3)268--299, 18(4)454--476, 21(2)324--369,
21(3)569--626, 21(4)703--746, 21(6)1196--1250, 28(3)517--575,
28(5)795--847, 31(4)13--13, 40(3)13--13, 43(1)1--1, 43(1)3--3,
44(4)22--22
-
easy, 4(2)295--322, 5(2)127--163, 6(4)505--526, 9(2)235--256,
13(2)211--236, 16(3)649--686, 16(5)1472--1511, 16(6)1811--1841,
17(1)157--179, 21(4)790--812, 31(3)9--9, 32(4)14--14, 34(1)3--3,
34(1)4--4, 36(4)13--13, 41(2)9--9, 41(3)15--15
-
easy, NP-, 17(4)600--634
-
easy-to-understand, 37(3)8--8
-
eavesdropping, 34(4)17--17
-
Ebcio{\u{g}}lu, Kemal, 19(6)853--898, see Moon, Soo-Mook
-
EBVASS, 41(2)11--11
-
ECCS, 11(2)284--329
-
economically, 36(3)8--8
-
Economou, Dimitrios J., 45(4)22--22
-
Economou:2023:FRT, 45(4)22--22
-
economy, 21(5)914--947, 39(1)5--5
-
edge, 14(4)574--588, 15(2)312--336, 16(4)1319--1360, 16(5)1472--1511,
17(5)777--803, 19(3)462--491, 19(4)557--567, 21(2)240--285,
22(1)162--186, 22(3)431--470, 23(1)73--103, 30(5)28--28,
31(5)17--17, 32(6)23--23, 41(2)12--12
-
edge-labeled, 44(2)11--11
-
edit, 9(2)277--295, 14(2)173--200, 20(5)980--1013
-
edited, 9(2)277--295
-
editing, 3(2)115--125, 7(4)600--621, 8(4)547--576, 8(4)577--608,
9(2)277--295
-
editor, 5(3)355--355, 5(3)449--477, 8(4)417--418, 8(4)547--576,
8(4)577--608, 9(2)277--295, 9(3)408--440, 10(3)345--373,
11(1)33--56, 11(2)169--193, 11(3)345--387, 12(4)641--642,
13(2)211--236, 14(2)145--146, 16(1)102--150, 17(2)394--429,
18(1)16--29, 34(1)1--1, 40(3)11--11
-
editorial, 15(2)209--210, 15(5)743--744, 16(4)1079--1079, 24(2)111--111,
26(5)767--768, 29(3)14--14, 29(6)30--30, 33(1)1--1, 33(6)18--18,
34(1)1--1, 35(1)1--1, 37(1)1--1, 41(2)7--7
-
EDO, 28(1)70--105
-
Eeckhout, Lieven, 38(4)15--15
-
Eeckhout, Lieven, see Blackburn, Stephen M.
-
EFF, 13(1)150--178
-
effect, 4(1)44--82, 4(2)149--178, 4(2)179--195, 4(3)323--344,
6(2)159--174, 7(4)501--538, 7(4)637--655, 8(4)491--523,
14(2)173--200, 14(2)265--297, 16(2)175--204, 16(3)387--427,
16(3)986--1009, 16(4)1248--1278, 17(4)635--671, 21(2)240--285,
21(5)977--1027, 22(2)265--295, 22(2)340--377, 22(5)816--860,
22(5)932--972, 23(2)105--186, 27(6)1270--1343, 28(3)476--516,
30(3)15--15, 30(4)21--21, 31(1)2--2, 31(3)12--12, 31(6)23--23,
32(5)17--17, 32(6)22--22, 33(1)4--4, 35(1)5--5, 36(3)10--10,
37(3)8--8, 37(4)11--11, 38(3)12--12, 39(2)8--8, 40(2)6--6,
41(4)21--21, 42(1)4--4, 43(1)4--4, 44(1)5--5, 45(4)22--22
-
effect, side-, 7(2)183--213, 23(2)105--186
-
effect-free, 14(2)147--172
-
effect-specific, 42(1)4--4
-
effect-triggering, 42(1)4--4
-
effective, 5(2)223--235, 6(1)55--67, 9(3)367--389, 16(3)370--386,
16(4)1279--1318, 16(6)1811--1841, 17(1)85--122, 17(2)394--429,
18(4)424--453, 18(4)477--518, 19(1)188--222, 19(5)751--803,
20(1)166--207, 20(4)845--868, 20(5)980--1013, 21(1)138--173,
21(4)703--746, 21(6)1251--1297, 23(1)30--72, 24(6)667--697,
27(3)527--570, 28(1)106--133, 28(1)134--174, 28(4)715--746,
30(3)17--17, 30(4)23--23, 32(1)3--3, 32(2)6--6, 32(6)24--24,
33(6)19--19, 37(1)2--2, 37(2)5--5, 39(2)9--9, 39(4)17--17,
42(3)12--12, 45(2)12--12
-
effective, cost-, 40(4)14--14
-
effectively, 16(3)524--576, 17(1)63--84, 20(4)768--844, 22(6)973--1001,
28(1)106--133, 30(3)17--17, 36(3)10--10, 39(4)17--17, 41(2)12--12
-
effectively, cost-, 38(2)6--6
-
effectiveness, 11(1)1--32, 16(4)1156--1214, 17(1)63--84, 17(1)85--122,
18(4)355--400, 20(1)116--165, 20(6)1195--1222, 20(6)1223--1250,
21(2)189--239, 21(2)370--416, 28(2)207--255, 30(4)23--23,
30(6)32--32, 32(4)13--13, 32(5)17--17, 34(3)13--13, 35(4)13--13,
37(4)11--11, 37(4)12--12, 38(3)11--11, 39(4)18--18, 40(2)7--7,
41(2)13--13, 43(4)15--15
-
effects, side-, 23(2)105--186, 35(4)14--14
-
effects, type-and-, 22(4)701--771
-
effects., 43(1)4--4
-
efficacy, 19(1)188--222
-
efficiency, 3(2)126--143, 4(4)650--667, 8(4)577--608, 9(2)164--197,
9(4)473--490, 11(4)598--632, 13(1)21--51, 13(1)52--98, 14(1)28--53,
16(3)687--726, 16(3)798--842, 16(3)1051--1077, 16(4)1081--1096,
16(6)1675--1683, 17(1)28--44, 18(1)30--72, 18(2)175--234,
18(5)528--563, 18(6)659--682, 19(1)153--187, 20(1)116--165,
20(6)1195--1222, 20(6)1223--1250, 21(1)1--10, 21(1)138--173,
21(3)627--676, 21(4)703--746, 21(4)848--894, 21(5)977--1027,
21(6)1137--1195, 22(2)296--339, 27(6)1097--1146, 30(1)4--4,
30(5)28--28, 31(1)2--2, 32(6)21--21, 33(1)3--3, 34(1)3--3, 34(1)5--5,
36(1)1--1, 40(1)1--1, 40(1)3--3, 41(3)16--16, 44(1)4--4
-
efficiency, Time-, 30(6)33--33
-
efficient, energy-, 37(1)2--2
-
efficient, memory-, 26(6)938--974
-
efficient, message-, 16(3)954--985
-
Efficient, Precise-Yet-, 41(3)16--16
-
efficient, precise-yet-, 41(3)16--16
-
Efficient, Space-, 3(4)388--404, 21(1)138--173
-
efficient, space-, 16(3)370--386, 22(1)87--128
-
efficient, time-, 20(6)1195--1222, 21(2)240--285
-
efficient., 13(1)52--98
-
efficiently, 4(2)258--282, 6(4)546--572, 9(3)319--349, 13(4)451--490,
14(2)265--297, 16(3)305--327, 16(3)524--576, 16(4)1097--1113,
16(5)1399--1410, 17(2)264--292, 17(3)461--486, 17(3)487--506,
18(1)30--72, 19(1)153--187, 19(4)617--638, 20(1)208--258,
20(5)917--979, 22(4)673--700, 28(4)696--714, 31(3)12--12, 32(3)9--9,
34(4)15--15, 35(2)7--7, 37(1)3--3, 37(1)4--4, 37(3)8--8, 39(2)7--7,
41(2)13--13, 41(3)14--14, 41(3)19--19, 41(4)20--20, 45(3)14--14,
46(3)10--10
-
effort, 4(2)149--178, 5(3)405--421, 9(4)491--542, 10(2)248--266,
16(1)35--101, 17(5)691--703, 21(3)430--501, 28(5)848--907,
36(4)13--13, 37(3)8--8, 40(1)1--1, 40(4)14--14, 41(2)13--13,
44(2)12--12, 45(2)12--12
-
effort, best-, 43(3)10--10
-
Eggers, Susan J., 22(5)932--972
-
Eggers, Susan J., see Grant, Brian
-
Ehmety, Sidi Ould, 18(6)711--729
-
Ehmety, Sidi Ould, see Attali, Isabelle
-
Eiffel, 18(6)711--729
-
Eifrig, 18(5)519--527
-
Eigenmann, Rudolf, 28(5)942--965, 30(3)17--17
-
Eigenmann, Rudolf, see Kim, Seon Wook,
see Pan, Zhelong
-
eight, 7(4)501--538, 20(5)1014--1066
-
eight-core, 36(1)2--2
-
Eigner, Fabienne, 37(4)11--11
-
Eigner, Fabienne, see Bugliesi, Michele
-
Eilers, Marco, 42(1)3--3
-
Eilers:2020:MPP, 42(1)3--3
-
Eisma, Aldo, 24(6)625--666
-
Eisma, Aldo, see Tip, Frank
-
either, 9(2)235--256, 11(4)633--649, 13(2)269--290, 14(1)28--53,
14(2)127--144, 15(4)632--658, 15(4)706--734, 16(3)798--842,
16(5)1467--1471, 18(1)30--72, 18(2)139--174, 19(4)557--567,
20(3)635--678, 20(6)1131--1170, 21(1)90--137, 21(4)813--847,
22(5)816--860, 27(6)1344--1395, 28(2)331--388, 30(4)23--23,
32(6)23--23, 33(5)15--15, 34(4)16--16, 35(4)13--13, 37(1)4--4,
38(2)7--7, 42(4)19--19
-
elaborate, 20(1)208--258, 28(4)747--793, 36(3)8--8, 45(2)8--8
-
elaborated, 13(1)99--123
-
elaboration, 23(2)243--272, 34(2)10--10, 35(1)2--2
-
elasticity-dynamic, 41(3)15--15
-
Elder, Matt, 36(4)11--11
-
Elder:2014:ADA, 36(4)11--11
-
election, 15(3)563--573, 31(6)22--22
-
electronic, 40(3)10--10
-
elegance, 11(4)598--632, 16(3)798--842, 22(2)224--264
-
elegant, 11(4)598--632, 18(3)300--324, 20(1)208--258, 21(5)948--976,
22(2)224--264, 28(4)577--618, 31(6)22--22, 40(3)12--12
-
element, 5(3)405--421, 9(4)473--490, 11(4)633--649, 13(1)52--98,
13(2)211--236, 17(1)123--156, 19(3)492--524, 20(1)1--50,
21(5)948--976, 22(4)638--672, 28(4)747--793, 28(5)795--847,
31(1)1--1, 32(2)5--5, 35(4)13--13, 36(2)5--5, 36(4)11--11,
39(4)14--14, 40(1)2--2, 40(1)3--3
-
elementary, 37(1)3--3
-
elementwise, 17(1)123--156
-
elevate, 27(6)1147--1215
-
elevators, 9(2)198--234
-
eleven, 6(4)546--572
-
Eli, 17(5)691--703
-
eliminate, 16(6)1768--1810, 16(6)1842--1874, 18(3)300--324,
19(1)87--152, 19(6)899--915, 20(1)166--207, 20(5)917--979,
22(4)673--700, 23(1)30--72, 28(1)106--133, 28(1)134--174,
31(6)21--21, 34(1)4--4, 34(3)13--13, 40(1)4--4
-
eliminated, 16(4)1248--1278
-
eliminating, 4(2)179--195, 4(3)496--517, 5(3)265--299, 7(4)680--685,
14(2)173--200, 15(3)367--399, 16(4)1248--1278, 25(3)316--359,
28(1)1--69, 28(1)106--133
-
elimination, 4(2)179--195, 15(2)312--336, 17(2)181--196, 17(3)461--486,
18(3)268--299, 18(6)752--779, 19(6)899--915, 19(6)1085--1087,
20(1)166--207, 20(6)1297--1322, 21(3)430--501, 21(3)627--676,
21(6)1251--1297, 22(5)816--860, 22(5)932--972, 28(1)70--105,
28(1)106--133, 30(3)17--17, 34(1)3--3, 36(1)1--1, 38(2)7--7,
41(3)16--16, 45(2)13--13
-
elimination, cut-, 31(5)19--19
-
elimination, Finish-, 35(1)3--3
-
elimination, finish-, 35(1)3--3
-
Elimination-Based, 20(2)388--435
-
elliptic, 30(6)32--32
-
Ellis, John R., 4(1)120--122
-
Ellis:1982:TCS, 3(1)1--10, 4(1)120--122, 4(1)122--123
-
else, 15(4)706--734, 16(4)1279--1318
-
else, if-then-, 6(4)527--545
-
elsewhere, 16(3)872--923, 32(4)12--12
-
Elshoff, Irving, 10(1)51--86
-
Elshoff, Irving, see Andrews, Gregory R.
-
elusive, 21(3)677--701, 41(3)15--15
-
em, 16(3)1024--1050
-
embed, 19(6)899--915, 28(1)70--105, 29(6)35--35, 41(2)9--9
-
embedded, 4(2)258--282, 14(4)521--573, 20(2)274--301, 20(4)869--916,
21(1)46--89, 21(2)189--239, 22(3)471--489, 22(5)861--931,
25(3)291--315, 26(6)938--974, 29(5)29--29, 29(6)33--33, 30(4)22--22,
30(6)31--31, 31(1)3--3, 31(3)11--11, 32(4)11--11, 32(4)13--13,
39(2)8--8, 45(2)11--11
-
embedding, 4(4)687--710, 9(4)582--598, 17(1)123--156, 29(6)35--35,
31(3)12--12, 41(2)9--9
-
embodied, 4(1)1--20, 21(3)677--701, 40(2)6--6
-
embodies, 44(4)25--25
-
embodiment, 37(1)3--3
-
embodying, 41(1)2--2
-
emerge, 21(3)677--701, 31(3)12--12, 42(3)15--15
-
emerged, 35(3)9--9, 41(2)13--13, 41(3)15--15
-
emergence, 29(1)3--3
-
Emerson, 20(1)51--115
-
Emerson, E. A., 8(2)244--263, 19(4)617--638
-
Emerson, E. A., see Clarke, E. M.
-
Emerson, E. Allen, 20(1)51--115, 23(2)187--242, 26(1)125--185
-
Emerson, E. Allen, see Attie, Paul C.
-
Emerson:1997:USW, 19(4)617--638
-
emit, 6(4)505--526, 19(3)492--524, 41(1)2--2
-
Emmes, Fabian, 38(4)13--13
-
Emmes, Fabian, see Brockschmidt, Marc
-
Emmi, Michael, 35(3)10--10
-
Emmi, Michael, see Bouajjani, Ahmed
-
emphasis, 21(6)1077--1136, 28(4)619--695, 39(1)5--5
-
emphasizes, 8(4)419--490, 30(1)4--4, 35(1)2--2
-
empirical, 4(3)323--344, 7(1)62--79, 16(1)3--34, 20(6)1223--1250,
21(4)848--894, 23(2)105--186, 30(1)3--3, 32(1)1--1, 35(2)7--7,
36(2)7--7, 38(4)15--15, 41(1)4--4
-
empirically, 36(4)14--14
-
employ, 8(4)491--523, 9(2)164--197, 16(4)1215--1247, 20(1)166--207,
20(6)1195--1222, 20(6)1265--1296, 27(6)1097--1146, 28(1)134--174,
28(5)942--965, 30(4)24--24, 31(2)7--7, 33(1)4--4, 34(3)13--13,
34(4)17--17, 35(1)2--2, 39(4)14--14, 42(1)2--2
-
employed, 4(4)687--710, 13(2)211--236, 17(3)461--486, 32(4)13--13,
36(1)4--4, 38(2)5--5, 41(2)12--12, 42(1)2--2
-
employing, 9(4)491--542, 22(4)701--771
-
Empowering, 34(2)9--9
-
emptiness, 41(2)11--11
-
emulated, 18(6)752--779
-
Emulator, 2(2)239--262
-
emulator-based, 18(6)752--779
-
emulator-based, ATOAM-, 18(6)752--779
-
enable, 5(2)236--264, 8(4)524--546, 14(1)54--106, 14(4)471--489,
16(3)387--427, 16(3)954--985, 16(5)1449--1466, 18(1)73--108,
18(5)519--527, 18(6)730--751, 19(3)492--524, 19(5)804--851,
19(6)1053--1084, 20(4)845--868, 20(6)1297--1322, 21(2)324--369,
21(6)1137--1195, 22(1)45--86, 27(6)1097--1146, 28(5)848--907,
29(1)3--3, 29(6)33--33, 30(4)23--23, 30(6)32--32, 31(1)1--1,
31(1)4--4, 31(3)11--11, 31(5)17--17, 31(6)20--20, 32(2)4--4,
34(1)3--3, 34(1)4--4, 34(1)5--5, 35(3)9--9, 35(3)11--11, 36(1)2--2,
36(1)4--4, 36(4)14--14, 37(4)12--12, 38(3)8--8, 40(2)8--8,
40(3)12--12, 41(1)3--3, 41(3)15--15, 42(3)14--14, 42(3)15--15,
43(3)11--11, 44(4)22--22
-
enabled, 20(6)1171--1194, 28(2)207--255
-
enabled, command-line-, 32(4)15--15
-
Enabled, First-, 16(3)939--953
-
enabled, first-, 16(3)939--953
-
enabling, 19(6)1053--1084, 22(5)932--972, 28(3)476--516, 36(1)2--2,
36(3)10--10, 38(3)10--10, 40(4)17--17, 45(3)16--16, 46(1)2--2
-
encapsulate, 14(4)589--616
-
encapsulated, 14(2)201--264, 16(3)577--604, 44(4)25--25
-
encapsulating, 20(1)208--258, 29(6)32--32
-
encapsulation, 4(4)585--600, 6(2)129--158, 33(6)20--20, 34(1)4--4,
40(2)6--6, 42(1)1--53, 44(4)25--25, 45(1)3--3
-
enclaved, 43(3)12--12
-
enclosing, 22(1)1--44, 38(3)8--8
-
encode, 14(3)396--416, 21(4)747--789, 31(4)13--13, 37(1)2--2,
42(3)14--14, 44(4)21--21
-
encoded, 19(4)617--638
-
encoders, 19(3)492--524
-
encoding, 1(2)266--286, 6(3)314--332, 7(1)62--79, 17(5)777--803,
19(3)492--524, 20(2)436--482, 21(5)914--947, 29(2)9--9, 31(1)3--3,
31(4)13--13, 37(3)10--10, 37(4)11--11, 38(3)8--8, 39(4)15--15,
40(2)6--6, 43(2)7--7
-
encoding, PQ-, 27(5)819--856
-
encompass, 16(3)607--648, 16(4)1215--1247, 34(3)14--14, 42(3)15--15,
44(4)25--25
-
encounter, 18(1)30--72
-
encountered, 14(4)574--588, 17(2)264--292, 18(6)730--751, 22(2)296--339,
32(3)9--9, 38(3)11--11, 42(3)15--15
-
encourage, 4(1)44--82, 16(6)1661--1674, 18(4)355--400, 20(5)1014--1066,
38(4)15--15
-
encouraged, 38(4)15--15
-
encouraging, 19(6)942--991, 38(4)15--15
-
encryption, 45(3)16--16
-
end, 7(2)183--213, 14(3)299--338, 16(5)1648--1659, 19(1)153--187,
19(3)525--555, 21(6)1077--1136, 27(6)1147--1215, 31(4)15--15,
34(1)1--1, 39(2)7--7, 41(2)12--12, 45(1)1--1, 45(1)2--2
-
end, back-, 9(4)473--490, 17(4)600--634, 19(1)153--187
-
end, end-to-, 37(1)4--4, 40(2)6--6
-
end, front-, 38(1)1--1
-
end, low-, 22(3)471--489
-
End, Middle-, 36(1)4--4
-
end, middle-, 36(1)4--4
-
end-point, 34(2)8--8
-
end-to-end, 37(1)4--4, 40(2)6--6
-
\enditemize, 16(3)1024--1050
-
enemy, 4(3)382--401
-
energy-efficient, 37(1)2--2
-
enforce, 21(1)90--137, 31(3)11--11, 32(2)4--4, 32(2)6--6, 33(6)20--20,
34(2)10--10, 37(1)3--3, 37(1)4--4, 37(4)11--11, 38(2)4--4,
40(4)16--16, 42(1)1--53, 43(1)3--3, 43(3)10--10
-
enforceable, 28(1)175--205
-
enforced, 33(4)14--14, 45(1)3--3
-
enforcement, 13(2)237--268, 28(1)175--205, 33(6)20--20, 40(4)16--16,
43(3)10--10
-
enforcing, 14(4)574--588, 16(4)1279--1318, 21(3)527--568, 29(5)28--28,
30(4)18--18, 38(3)9--9, 43(3)10--10, 45(1)4--4, 45(3)17--17
-
enfranchise, 14(4)471--489
-
engage, 40(4)17--17
-
engendered, 14(1)28--53
-
engenders, 17(5)704--739
-
engine, 14(3)339--395, 19(3)525--555, 20(3)586--634, 22(2)187--223,
28(5)848--907, 30(4)22--22, 31(1)2--2, 31(2)1--1, 36(4)14--14
-
engineering, 9(3)297--318, 16(1)102--150, 16(3)843--871, 19(2)253--291,
19(2)292--333, 19(2)334--385, 20(3)483--545, 21(1)46--89,
21(2)240--285, 21(2)370--416, 21(3)502--526, 21(3)527--568,
21(3)677--701, 21(4)747--789, 21(4)813--847, 21(6)1077--1136,
21(6)1251--1297, 22(1)87--128, 22(2)340--377, 22(3)540--582,
22(6)1037--1080, 23(1)30--72, 27(6)1147--1215, 28(4)747--793,
32(1)1--1, 32(6)23--23, 38(1)1--1, 40(4)14--14
-
engineers, 42(3)15--15
-
engine/solver, 14(3)339--395
-
Engler, Dawson R., 21(2)324--369
-
Engler, Dawson R., see Poletto, Massimiliano
-
English, 10(2)189--203, 39(4)14--14
-
enhance, 4(1)44--82, 16(6)1675--1683, 19(3)525--555, 28(5)795--847
-
enhanced, 17(2)217--227, 19(3)525--555, 41(3)16--16, 45(3)14--14
-
enhancement, 5(2)236--264, 16(6)1875--1903, 19(5)751--803,
20(5)980--1013, 22(3)540--582, 33(1)5--5, 41(4)22--22
-
enhancements-and, 38(3)9--9
-
enhancing, 22(4)673--700, 36(3)10--10
-
enjoy, 16(4)1361--1398, 22(4)701--771, 34(1)1--1, 34(1)4--4, 37(2)6--6,
42(1)4--4
-
enormous, 32(3)9--9
-
enough, 7(4)501--538, 19(4)617--638, 19(6)899--915, 20(6)1223--1250,
28(4)715--746, 28(5)908--941, 31(4)13--13, 39(1)2--2, 39(4)18--18,
40(2)5--5, 41(2)10--10
-
enough, accurate-, 39(2)8--8
-
enriches, 16(4)1279--1318
-
enriching, 41(2)8--8
-
enrolement, 16(3)954--985
-
enrolement, nested-, 16(3)954--985
-
enroling, 16(3)954--985
-
ensuing, 38(3)12--12
-
ensure, 4(3)382--401, 6(4)632--646, 14(1)28--53, 16(6)1768--1810,
16(6)1811--1841, 20(2)436--482, 21(1)11--45, 21(3)527--568,
21(3)677--701, 22(2)296--339, 22(4)701--771, 27(6)1097--1146,
30(2)8--8, 30(4)18--18, 30(4)19--19, 30(4)21--21, 31(3)12--12,
31(5)18--18, 31(5)19--19, 34(1)4--4, 35(2)8--8, 36(4)12--12,
38(2)4--4, 38(3)11--11, 38(4)16--16, 40(2)8--8, 40(4)16--16
-
ensuring, 15(5)745--770, 22(2)296--339, 27(6)1097--1146, 30(5)26--26,
31(4)13--13, 33(5)16--16, 36(2)6--6, 38(2)7--7, 39(2)7--7,
42(2)10--10
-
entail, 14(3)339--395, 22(5)773--815, 37(4)13--13
-
entailment, 16(4)1279--1318
-
entanglement, 34(4)17--17
-
enter, 14(1)28--53, 17(5)777--803
-
entire, 16(3)370--386, 19(3)525--555, 20(4)869--916, 21(6)1251--1297,
22(2)187--223, 22(5)932--972, 28(1)134--174, 36(4)11--11,
38(3)10--10
-
entirely, 8(4)547--576, 21(3)627--676, 39(4)14--14, 40(4)16--16
-
entirety, 16(3)1010--1023
-
entity, 5(2)127--163, 8(4)524--546, 10(2)189--203, 14(2)201--264,
19(5)804--851, 44(1)3--3
-
entry, 4(2)179--195, 6(3)432--439, 6(4)546--572, 16(2)175--204,
28(1)134--174, 34(3)14--14, 41(4)23--23
-
entry, single-, 18(6)649--658, 19(4)557--567, 31(5)17--17
-
enum, 42(3)15--15
-
enumerable, 16(5)1467--1471
-
enumerates, 16(5)1613--1647
-
enumerating, 16(5)1613--1647
-
enumeration, 16(5)1613--1647, 19(3)462--491, 20(2)302--343
-
environment, 4(1)44--82, 5(3)405--421, 8(4)419--490, 8(4)491--523,
8(4)547--576, 12(1)1--25, 13(1)21--51, 14(2)201--264, 15(1)73--132,
16(1)151--174, 16(3)456--492, 16(3)1010--1023, 20(2)344--387,
20(6)1171--1194, 21(2)286--323, 22(1)129--161, 22(4)673--700,
32(3)9--9, 33(1)5--5, 34(1)6--6, 34(4)15--15, 37(1)3--3, 38(2)7--7,
45(2)11--11, 46(1)2--2
-
environmental, 33(1)5--5, 41(4)22--22
-
envision, 37(3)8--8
-
EP, 43(3)9--9
-
EPMO, 37(4)11--11
-
epoch, 14(1)28--53
-
epochs., 14(1)28--53
-
equal, 14(4)574--588, 17(2)366--393, 18(1)1--15, 30(3)17--17
-
equality, 4(4)711--732, 14(4)589--616, 29(5)29--29, 33(6)21--21
-
equality-based, 20(6)1251--1264
-
equality., 14(4)589--616
-
equally, 9(2)125--163, 17(2)331--365, 41(4)20--20
-
equate, 17(2)366--393
-
equation, 4(1)83--112, 4(2)258--282, 4(3)496--517, 14(3)339--395,
17(5)777--803, 18(1)73--108, 18(4)477--518, 19(6)916--941,
20(5)1067--1109, 21(4)703--746, 22(5)773--815, 28(4)747--793,
30(6)32--32, 33(3)11--11, 34(4)17--17, 39(2)9--9
-
equational, 4(1)83--112, 4(4)711--732, 14(4)589--616, 17(2)366--393,
19(3)427--443, 19(5)639--684, 19(6)916--941
-
Equifax, 41(3)18--18
-
equipped, 14(2)265--297, 38(1)3--3, 38(4)14--14, 41(2)11--11
-
Equiprobable, 2(1)77--89
-
equivalence, 15(1)36--72, 15(4)575--631, 15(5)876--895, 16(6)1737--1767,
16(6)1842--1874, 18(2)175--234, 19(3)427--443, 19(5)751--803,
20(2)302--343, 20(5)917--979, 21(2)370--416, 21(5)914--947,
28(2)290--330, 28(4)619--695, 28(5)848--907, 30(5)26--26,
31(3)12--12, 32(4)12--12, 33(1)5--5, 33(5)16--16, 34(3)11--11,
36(1)1--1, 38(1)1--1, 38(2)7--7, 41(2)11--11, 41(4)22--22, 42(1)4--4,
43(1)1--1, 44(4)25--25
-
equivalence-preserving, 18(2)175--234
-
equivalent, 9(4)491--542, 10(2)248--266, 13(1)52--98, 16(3)1024--1050,
16(5)1648--1659, 17(1)47--62, 17(4)576--599, 17(5)691--703,
19(3)444--461, 19(5)751--803, 19(6)899--915, 20(6)1251--1264,
22(2)378--415, 22(3)540--582, 23(1)1--29, 30(1)4--4, 30(4)20--20,
30(5)29--29, 31(2)6--6, 34(1)6--6, 36(1)3--3, 36(2)7--7, 40(3)11--11,
41(2)11--11, 42(1)4--4, 43(2)8--8, 43(4)14--14
-
equivalently, 20(2)302--343, 35(4)14--14
-
erasure, 35(2)6--6
-
Erbsen, Andres, 45(1)5--5
-
Erbsen, Andres, see Charguéraud, Arthur
-
Erickson, 37(3)8--8
-
Eriksson, Sverker, 39(4)17--17
-
Eriksson, Sverker, see Trinder, Phil
-
Erlang, 39(4)17--17
-
Erlang/OTP, 39(4)17--17
-
Ernst, Erik, 34(3)12--12
-
Ernst, Erik, see De Fraine, Bruno
-
Ernst, George W., 2(4)522--543
-
Ernst, Michael D., 33(3)9--9, 39(3)11--11, 41(3)18--18
-
Ernst, Michael D., see Gordon, Colin S.,
see Spoto, Fausto, \see{Tip, Frank
-
Ernst:1980:SAD, 2(4)522--543
-
erratum, 31(1)2--2, 31(2)1--1
-
erroneous, 32(5)18--18
-
error-finding, 16(3)607--648
-
error-handling, 20(2)274--301
-
Error-Handling, Syntax-, 5(4)656--679
-
error-prone, 21(4)790--812, 35(3)9--9, 36(1)2--2
-
Ertl, M. Anton, 29(6)37--37
-
Ertl, M. Anton, see Casey, Kevin
-
Erwig, Martin, 36(1)1--1
-
Erwig, Martin, see Chen, Sheng
-
escape, 25(6)713--775, 25(6)876--910, 41(3)16--16
-
escaping, 22(2)340--377
-
ESOP, 42(1)1--1, 43(4)13--13, 44(3)13--13
-
ESOP'05, 29(5)23--23
-
ESP, 19(1)188--222
-
Esparza, 39(2)9--9
-
Esparza, Javier, 36(3)9--9
-
Esparza:2014:PBV, 36(3)9--9
-
especially, 4(4)687--710, 9(3)367--389, 13(1)150--178, 17(5)777--803,
31(2)6--6, 39(2)8--8, 43(4)15--15
-
Espinosa, David, 29(5)28--28
-
Espinosa, David, see Chander, Ajay
-
Esquivel, Matthew, 32(2)4--4
-
Esquivel, Matthew, see Markstrum, Shane
-
essence, 15(2)211--252, 28(3)429--475, 31(3)11--11, 44(4)23--23
-
essential, 4(4)615--649, 9(3)319--349, 17(4)600--634, 18(2)139--174,
18(2)175--234, 18(4)477--518, 19(4)557--567, 19(4)568--585,
21(1)11--45, 21(2)175--188, 32(3)7--7, 34(3)12--12, 40(1)1--1,
42(2)10--10, 43(1)2--2, 43(1)4--4, 46(1)3--3
-
essentially, 9(2)164--197, 14(4)589--616, 17(4)635--671, 36(4)13--13,
46(2)7--7
-
establish, 5(2)223--235, 14(1)54--106, 16(6)1737--1767, 16(6)1875--1903,
17(1)157--179, 17(3)431--447, 21(2)370--416, 28(2)331--388,
30(6)34--34, 31(1)5--5, 32(2)5--5, 33(4)13--13, 34(4)17--17,
37(3)9--9, 39(1)3--3, 39(4)17--17, 40(1)4--4, 40(3)9--9, 41(1)5--5
-
established, 14(4)589--616, 15(5)876--895, 16(3)687--726,
16(5)1467--1471, 20(4)768--844, 33(5)15--15, 39(4)17--17,
42(3)14--14, 43(1)4--4, 44(4)25--25
-
established, well-, 32(1)2--2, 39(4)17--17
-
establishing, 16(2)259--303, 17(1)63--84, 43(1)1--1
-
Estan, Cristian, 37(1)2--2
-
Estan, Cristian, see Nowatzki, Tony
-
Esterel, 29(2)8--8
-
estimate, 4(3)402--454, 14(1)54--106, 16(6)1768--1810, 20(2)344--387,
21(4)703--746, 21(5)977--1027, 22(2)340--377, 23(2)105--186,
38(2)6--6, 41(1)2--2
-
estimated, 41(3)17--17
-
Estimating, 34(1)5--5
-
estimation, 39(2)8--8, 41(1)2--2, 43(2)6--6
-
estimator, 20(4)869--916
-
eta-expansion, 18(6)730--751
-
Etalle, Sandro, 16(4)1081--1096, 23(3)304--395
-
Etalle, Sandro, see Bossi, Annalisa
-
Etalle:2001:TCP, 23(3)304--395
-
etc, 32(1)2--2, 32(6)22--22
-
Etessami, Kousha, 27(4)786--818
-
Etessami, Kousha, see Alur, Rajeev
-
Etzel, Tyler, 42(3)14--14
-
Etzel, Tyler, see Coblenz, Michael
-
EU, 39(4)17--17
-
EUCLID, 4(2)149--178, 4(4)552--562
-
Euclid, 4(4)552--562, 9(3)367--389, 14(2)127--144
-
Euclidean, 14(2)127--144
-
Eugster, Patrick, 29(1)6--6
-
Eugster:2007:TBP, 29(1)6--6
-
evacuate, mark-, 44(4)22--22
-
eval, 14(4)589--616
-
evaluate, 13(2)269--290, 16(4)1156--1214, 16(6)1768--1810,
20(3)483--545, 20(3)586--634, 20(6)1223--1250, 21(4)747--789,
22(3)490--505, 22(5)932--972, 28(5)848--907, 30(1)4--4, 30(3)17--17,
30(4)22--22, 32(4)13--13, 34(1)4--4, 34(2)7--7, 36(3)10--10,
37(3)10--10, 38(3)9--9, 38(4)16--16, 39(2)8--8, 40(1)3--3, 40(2)8--8,
40(4)15--15, 41(1)1--1, 41(1)2--2, 41(3)16--16, 41(3)18--18,
42(3)14--14, 42(3)15--15, 43(2)6--6, 44(4)21--21
-
evaluated, 13(2)181--210, 14(4)574--588, 16(5)1431--1448, 18(6)659--682,
21(2)189--239, 22(2)296--339, 22(4)583--637, 31(6)20--20,
39(4)18--18, 40(3)10--10, 41(1)6--6, 41(4)23--23
-
evaluating, 6(2)159--174, 9(3)408--440, 17(1)123--156, 17(4)561--575,
19(6)992--1030, 32(1)3--3, 34(2)7--7
-
evaluation, attribute-, 16(5)1572--1612
-
evaluation, Partial-, 18(6)730--751
-
evaluation., 13(2)269--290
-
evaluator, 1(1)142--160, 3(4)388--404, 10(2)248--266, 14(2)147--172,
17(1)1--15, 17(2)394--429, 18(1)16--29, 18(6)730--751,
20(4)768--844, 27(6)1147--1215, 28(4)696--714, 38(1)2--2
-
Evans, William, 22(2)378--415
-
Evans, William, see Debray, Saumya K.
-
even, 4(4)668--677, 7(1)62--79, 8(4)491--523, 8(4)524--546, 8(4)547--576,
9(2)164--197, 9(2)235--256, 11(4)598--632, 13(2)237--268,
15(4)632--658, 16(3)986--1009, 16(4)1097--1113, 16(4)1248--1278,
16(5)1467--1471, 17(1)63--84, 17(3)461--486, 17(4)561--575,
18(3)235--253, 18(4)424--453, 18(6)649--658, 18(6)752--779,
19(3)462--491, 20(1)1--50, 20(4)724--767, 21(2)189--239,
22(1)87--128, 22(2)416--430, 28(1)1--69, 28(3)517--575,
28(4)715--746, 28(5)848--907, 28(5)942--965, 29(5)29--29,
29(6)35--35, 30(5)28--28, 31(3)9--9, 31(5)17--17, 31(6)20--20,
32(1)1--1, 32(4)15--15, 32(5)17--17, 32(5)18--18, 32(6)23--23,
34(1)6--6, 34(3)14--14, 34(4)17--17, 36(3)9--9, 36(4)12--12,
37(2)6--6, 38(1)3--3, 38(3)8--8, 38(4)15--15, 39(4)17--17, 40(2)7--7,
40(3)9--9, 40(3)12--12, 40(4)16--16, 41(1)5--5, 41(4)21--21,
43(1)2--2, 43(2)6--6, 44(3)19--19, 44(4)22--22
-
event, 7(2)183--213, 7(3)404--425, 16(2)259--303, 16(5)1399--1410,
16(6)1661--1674, 29(6)33--33, 31(1)2--2, 32(4)14--14, 34(2)7--7,
37(1)2--2, 45(2)10--10
-
Event, Discrete-, 3(3)293--317
-
event, event-to-, 41(1)1--1
-
event, task-, 41(1)1--1
-
event-based, 41(1)1--1
-
event-driven, 19(2)386--412
-
event-task, 41(1)1--1
-
event-timing, 16(6)1661--1674
-
event-to-event, 41(1)1--1
-
eventually, 4(3)455--495, 4(4)650--667, 15(5)771--794, 18(5)615--647,
28(1)1--69, 28(5)942--965, 32(5)16--16, 36(1)1--1
-
ever, 1(2)258--265, 16(5)1512--1542, 16(6)1699--1718, 27(6)1147--1215,
29(1)2--2, 36(4)14--14, 39(2)7--7, 41(3)18--18
-
ever-rising, 46(2)5--5
-
ever-widening, 21(4)703--746
-
every, 4(2)295--322, 8(4)491--523, 11(4)633--649, 13(1)1--20,
15(4)575--631, 16(3)687--726, 16(5)1399--1410, 17(3)431--447,
18(1)30--72, 19(3)427--443, 19(5)639--684, 20(6)1171--1194,
21(2)240--285, 21(6)1196--1250, 27(6)1147--1215, 28(1)70--105,
28(3)476--516, 29(5)29--29, 30(4)20--20, 31(2)8--8, 31(3)10--10,
31(5)19--19, 32(1)2--2, 35(2)8--8, 37(1)3--3
-
evidence, 19(6)942--991, 21(3)569--626, 32(6)24--24, 35(2)7--7,
37(3)8--8, 41(1)4--4, 41(4)21--21
-
Evidence-Based, 19(1)188--222
-
evidence-based, 19(1)188--222
-
evident, 4(1)44--82, 19(4)568--585
-
evolved, 4(2)239--257, 5(2)127--163, 9(3)367--389, 39(4)17--17
-
evolves, 35(1)5--5
-
evolving, 4(1)44--82, 42(3)15--15
-
ew, 44(4)22--22
-
exacerbate, 28(5)942--965
-
exacerbated, 38(4)15--15
-
exact, 13(2)269--290, 16(3)328--369, 31(6)20--20, 33(3)11--11, 38(3)8--8,
42(2)9--9
-
exactly, 4(1)83--112, 8(1)109--139, 17(1)157--179, 17(3)487--506,
17(4)576--599, 19(5)685--725, 19(5)751--803, 22(5)816--860,
30(5)29--29, 31(6)21--21, 43(2)7--7
-
exactness, 17(2)331--365
-
examine, 15(1)73--132, 15(1)182--205, 16(4)1248--1278, 20(4)869--916,
27(6)1344--1395, 28(5)908--941, 38(2)4--4, 40(1)3--3
-
examined, 4(3)323--344, 13(1)150--178, 17(3)535--559, 18(2)139--174,
30(6)32--32, 31(4)15--15
-
examining, 16(5)1512--1542
-
exascale, 34(1)5--5
-
exceed, 28(5)942--965, 31(5)17--17, 39(4)17--17
-
exceedingly, 41(4)21--21
-
excel, 8(4)419--490, 44(3)17--17
-
excellent, 9(2)235--256, 14(2)173--200, 32(3)9--9, 36(3)10--10
-
except, 32(3)9--9, 42(1)2--2
-
exception, 2(2)225--233, 9(3)390--407, 10(3)503--504, 18(2)139--174,
20(2)274--301, 22(2)340--377, 28(1)70--105, 30(2)8--8, 32(3)9--9,
35(1)3--3, 37(2)6--6, 38(4)16--16, 39(3)10--10, 40(4)16--16,
43(1)2--2, 44(1)5--5
-
Exception-Directed, 28(1)70--105
-
Exception-Handling, 7(2)214--243
-
exception-handling, 20(2)274--301, 30(2)8--8
-
exception-intensive, 28(1)70--105
-
exception-minimal, 28(1)70--105
-
exceptional, 30(2)8--8
-
exceptions., 17(1)63--84
-
excerpts, 19(3)492--524
-
excess, 22(2)265--295
-
excessive, 7(4)501--538
-
exchange, 9(3)297--318, 40(4)17--17, 44(4)26--26
-
exchanged, 21(6)1077--1136
-
exciting, 39(2)9--9
-
excluded, 16(3)924--938, 31(5)17--17, 38(2)7--7
-
exclusion, 9(1)25--53, 9(3)350--366, 11(1)90--114, 11(3)404--417,
12(4)643--669, 13(4)558--576, 15(1)36--72, 15(3)563--573,
16(3)939--953, 16(6)1719--1736, 17(3)535--559, 33(1)2--2,
38(3)12--12
-
Exclusion, Mutual-, 13(4)558--576
-
exclusion, mutual-, 16(5)1543--1571
-
exclusive, 18(6)659--682
-
exclusively, 40(4)16--16
-
executable, 4(4)563--584, 6(3)314--332, 13(1)1--20, 15(5)876--895,
16(4)1097--1113, 16(6)1842--1874, 20(5)1014--1066, 21(5)977--1027,
22(2)378--415, 29(1)3--3, 31(5)17--17, 32(6)23--23, 36(2)5--5,
39(2)6--6, 41(3)17--17
-
eXecute, 32(6)23--23
-
execute, 4(1)44--82, 4(2)149--178, 16(3)328--369, 16(3)954--985,
16(4)1319--1360, 18(4)355--400, 19(6)942--991, 20(3)586--634,
28(5)908--941, 28(5)942--965, 29(6)33--33, 32(4)15--15, 33(4)14--14,
34(3)12--12, 36(4)14--14, 38(4)16--16, 39(4)15--15, 40(2)8--8,
41(3)15--15, 41(3)18--18
-
execute, re-, 32(1)3--3
-
executed, 8(4)547--576, 14(1)54--106, 16(4)1248--1278, 16(6)1699--1718,
16(6)1768--1810, 17(2)264--292, 18(4)355--400, 18(4)424--453,
20(6)1131--1170, 21(3)417--429, 21(4)747--789, 21(5)1028--1075,
21(6)1196--1250, 22(3)431--470, 22(4)673--700, 28(1)106--133,
28(1)134--174, 29(6)33--33, 34(1)6--6, 38(2)7--7, 40(2)8--8,
41(3)19--19, 44(1)2--2
-
executed, re-, 37(1)3--3
-
executes, re-, 32(1)3--3
-
executing, 14(1)54--106, 18(5)528--563, 18(6)659--682, 20(6)1131--1170,
20(6)1195--1222, 21(1)138--173, 22(3)471--489, 28(5)908--941,
29(1)2--2, 30(2)8--8, 32(4)12--12, 32(6)24--24, 34(1)6--6,
41(3)15--15, 41(3)17--17, 46(3)9--9
-
executing, re-, 32(1)3--3
-
execution?, 13(2)269--290
-
execution-based, 34(1)2--2
-
execution-time, 19(3)492--524, 34(1)5--5, 41(3)16--16
-
executions., 31(6)20--20
-
executor, 16(4)1215--1247, 42(3)15--15
-
executor., 16(4)1215--1247
-
Exemplars, 11(2)212--248
-
Exemplified, 1(1)27--49
-
exemplify, 16(3)607--648, 39(2)7--7
-
exercise, 3(1)104--109, 12(2)203--223, 15(4)735--742, 17(2)197--216,
28(2)290--330
-
exercised, 28(2)290--330
-
exercising, 38(2)5--5
-
exhaustive, 9(2)235--256, 12(3)341--395, 19(6)992--1030, 22(4)583--637,
41(1)6--6, 42(2)8--8, 45(3)16--16
-
exhaustively, 17(2)197--216, 38(3)10--10
-
exhibit, 14(2)265--297, 16(3)524--576, 16(6)1737--1767, 17(2)181--196,
18(4)424--453, 20(2)259--273, 21(3)627--676, 21(4)703--746,
21(5)1028--1075, 28(4)619--695, 28(5)848--907, 29(6)33--33,
34(3)14--14, 35(2)8--8, 46(3)11--11
-
exist, 4(4)527--551, 8(4)524--546, 13(1)124--149, 16(2)175--204,
16(3)524--576, 17(4)600--634, 18(5)564--614, 18(5)615--647,
18(6)752--779, 19(1)7--47, 20(3)483--545, 20(3)635--678,
28(5)908--941, 32(5)17--17, 33(3)9--9, 34(2)7--7, 34(2)9--9,
39(1)4--4, 40(2)7--7, 40(3)11--11, 44(4)23--23
-
existed, 32(6)23--23
-
existence, 4(2)295--322, 8(4)577--608, 14(2)147--172, 16(3)924--938,
18(6)659--682, 28(1)134--174, 31(6)22--22, 32(1)1--1, 39(4)15--15,
44(2)6--6
-
existent, 18(5)615--647
-
existential, 10(3)470--502, 28(3)429--475, 28(5)795--847, 33(6)20--20,
38(3)8--8, 41(1)5--5
-
existentially, 16(5)1411--1430, 37(4)12--12
-
existing, 4(2)125--148, 5(2)236--264, 9(4)491--542, 13(2)269--290,
15(5)771--794, 16(3)305--327, 16(3)798--842, 16(4)1215--1247,
16(4)1248--1278, 17(2)228--232, 17(2)366--393, 17(2)394--429,
17(3)431--447, 17(4)635--671, 18(1)30--72, 18(2)175--234,
18(4)454--476, 18(4)477--518, 19(1)188--222, 19(3)492--524,
20(1)116--165, 20(2)274--301, 20(5)980--1013, 21(2)324--369,
21(6)1196--1250, 22(1)1--44, 28(2)331--388, 28(3)517--575,
28(5)795--847, 28(5)908--941, 30(2)8--8, 30(4)22--22, 32(1)2--2,
32(3)8--8, 32(4)13--13, 32(5)18--18, 33(3)10--10, 34(1)3--3,
34(3)12--12, 34(3)13--13, 34(3)14--14, 35(3)11--11, 35(4)12--12,
36(3)8--8, 36(3)10--10, 36(4)12--12, 36(4)14--14, 37(1)2--2,
37(3)8--8, 37(3)10--10, 37(4)12--12, 38(2)6--6, 38(2)7--7,
38(3)11--11, 38(3)12--12, 39(1)3--3, 39(4)18--18, 40(1)3--3,
40(1)4--4, 40(2)8--8, 40(3)12--12, 40(4)14--14, 41(1)6--6,
41(4)23--23, 42(1)3--3, 42(2)9--9, 42(4)19--19, 43(1)1--1, 43(1)4--4,
43(3)10--10, 45(1)4--4
-
existing, pre-, 30(6)31--31
-
exit, 6(4)527--545, 16(2)175--204, 28(1)134--174
-
exit, multiple-, 31(5)17--17
-
exited, 6(4)527--545
-
exotic, 17(2)293--330
-
expand, 31(2)8--8, 31(4)14--14, 38(3)8--8
-
expansion, 4(4)733--757, 13(1)150--178, 19(6)853--898, 21(5)1028--1075,
41(1)2--2
-
expansion, Eta-, 18(6)730--751
-
expansion, eta-, 18(6)730--751
-
expectation, 40(2)7--7
-
expected, 16(4)1319--1360, 19(1)48--86, 20(6)1111--1130, 29(2)13--13,
30(3)17--17, 32(1)2--2, 38(3)8--8, 40(1)3--3, 40(1)4--4, 40(2)7--7,
41(1)4--4
-
expects, 16(3)387--427
-
expediency, 21(3)627--676
-
expended, 38(4)13--13
-
expensive, 17(2)331--365, 18(4)355--400, 18(6)752--779, 20(4)869--916,
20(6)1297--1322, 27(6)1097--1146, 28(3)476--516, 30(1)4--4,
31(3)9--9, 34(1)3--3, 35(1)3--3, 36(4)11--11, 39(2)7--7, 41(1)4--4,
41(1)6--6, 41(3)16--16, 42(2)8--8, 43(1)1--1, 43(1)2--2, 45(2)12--12
-
experience, 5(1)26--45, 14(3)299--338, 15(1)36--72, 16(3)428--455,
18(1)1--15, 19(3)413--426, 19(6)992--1030, 20(3)483--545,
20(4)724--767, 21(1)11--45, 21(2)370--416, 27(6)1049--1096,
29(1)6--6, 39(1)5--5, 40(4)15--15, 44(4)22--22
-
experiment, 6(4)468--486, 14(2)265--297, 16(2)175--204, 16(6)1675--1683,
16(6)1768--1810, 17(2)197--216, 17(2)233--263, 17(4)672--689,
18(4)424--453, 18(4)477--518, 19(6)853--898, 19(6)992--1030,
20(1)208--258, 20(4)724--767, 20(4)845--868, 21(2)189--239,
21(2)286--323, 22(4)673--700, 27(6)1049--1096, 27(6)1147--1215,
28(1)70--105, 30(6)32--32, 31(1)4--4, 32(5)17--17, 34(1)4--4,
35(3)11--11, 35(4)14--14, 36(4)14--14, 37(3)9--9, 38(1)3--3,
38(2)6--6, 38(4)13--13, 39(2)6--6, 39(2)7--7, 39(4)17--17,
41(2)12--12, 41(3)18--18
-
experimental, 5(4)656--679, 6(4)546--572, 7(1)159--175, 8(4)419--490,
8(4)524--546, 13(1)150--178, 16(1)35--101, 16(3)370--386,
16(3)428--455, 16(5)1449--1466, 17(2)197--216, 17(4)600--634,
17(4)635--671, 18(3)235--253, 19(6)1053--1084, 20(1)166--207,
20(4)768--844, 20(4)869--916, 20(5)917--979, 20(6)1195--1222,
20(6)1265--1296, 21(2)370--416, 21(4)747--789, 21(6)1251--1297,
22(2)187--223, 28(1)106--133, 28(1)134--174, 28(2)256--289,
28(2)331--388, 28(3)476--516, 28(5)908--941, 28(5)942--965,
30(4)23--23, 32(1)3--3, 32(6)21--21, 32(6)24--24, 34(1)5--5,
35(1)3--3, 35(1)5--5, 38(3)12--12, 39(4)15--15, 40(1)1--1, 40(2)5--5,
40(2)7--7, 40(3)9--9, 40(4)14--14, 41(1)3--3, 41(1)6--6, 41(2)13--13,
41(4)20--20, 41(4)21--21, 41(4)23--23, 43(2)8--8
-
experimentally, 14(4)574--588, 16(1)35--101, 17(4)635--671,
19(6)1053--1084, 28(5)908--941, 30(1)4--4, 31(3)12--12, 34(3)14--14
-
experimentation, 7(1)159--175, 7(2)334--347, 8(1)88--108, 8(4)419--490,
8(4)524--546, 11(4)491--516, 12(1)1--25, 12(2)224--252,
12(4)670--699, 13(1)150--178, 13(3)295--314, 16(1)35--101,
16(1)102--150, 16(5)1648--1659, 17(2)197--216, 17(2)233--263,
17(4)600--634, 17(4)635--671, 17(5)691--703, 17(5)704--739,
18(3)235--253, 18(4)477--518, 18(5)564--614, 18(6)752--779,
19(6)853--898, 19(6)992--1030, 19(6)1053--1084, 20(1)166--207,
20(3)586--634, 20(5)917--979, 20(6)1195--1222, 22(2)265--295
-
expert, 41(2)13--13, 43(3)10--10
-
expert-defined, 19(1)188--222
-
explain, 14(2)201--264, 16(2)205--258, 16(3)687--726, 16(4)1279--1318,
16(5)1472--1511, 16(5)1572--1612, 21(4)813--847, 22(6)1002--1036,
31(3)10--10, 32(6)23--23, 33(4)12--12, 36(4)11--11, 40(2)8--8,
40(3)12--12, 40(4)15--15, 41(1)4--4, 44(4)22--22
-
explained, 4(3)362--381, 31(3)10--10, 38(2)5--5
-
explaining, 30(5)29--29
-
explanation, 3(1)104--109, 16(5)1472--1511, 27(6)1344--1395,
39(4)18--18
-
explicates, 4(4)563--584
-
explicit, 4(1)44--82, 9(3)319--349, 9(4)491--542, 13(2)237--268,
15(5)745--770, 16(2)205--258, 16(5)1411--1430, 18(3)235--253,
21(3)569--626, 22(4)701--771, 28(3)429--475, 31(1)1--1, 31(4)13--13,
31(5)19--19, 33(4)14--14, 34(2)7--7, 34(3)12--12, 36(4)13--13,
38(3)8--8, 40(4)16--16, 41(2)8--8, 41(3)18--18
-
explicit-signal, 27(6)1270--1343
-
explicitly, 4(4)615--649, 7(4)501--538, 9(2)277--295, 9(4)491--542,
17(5)777--803, 21(1)11--45, 33(5)16--16, 34(1)2--2, 34(4)17--17,
35(1)3--3, 43(3)10--10
-
exploit, 15(1)182--205, 16(3)524--576, 16(4)1248--1278, 17(2)233--263,
17(2)394--429, 17(4)635--671, 19(4)617--638, 19(6)853--898,
20(2)302--343, 20(3)546--585, 21(2)370--416, 21(4)703--746,
22(1)129--161, 31(6)21--21, 32(1)2--2, 32(3)9--9, 32(4)13--13,
37(4)12--12, 41(3)17--17, 41(3)18--18, 43(2)7--7, 45(3)15--15
-
exploitation, 18(4)477--518, 19(6)1031--1052, 33(3)10--10
-
exploited, 14(2)173--200, 16(6)1737--1767, 19(4)617--638, 28(2)290--330,
42(3)14--14
-
exploiting, 16(3)524--576, 20(3)483--545, 20(3)635--678, 20(5)980--1013,
28(5)795--847, 28(5)942--965, 33(6)19--19, 38(2)7--7, 39(1)5--5,
45(4)20--20
-
exploration, 19(6)1053--1084, 20(2)302--343, 28(3)476--516, 36(4)14--14
-
explore, 8(1)109--139, 13(2)237--268, 16(6)1675--1683, 17(1)16--27,
18(6)659--682, 22(2)378--415, 30(3)17--17, 31(5)19--19, 32(2)6--6,
33(1)2--2, 34(2)8--8, 36(2)7--7, 38(3)9--9, 39(3)10--10, 43(1)1--1,
44(3)15--15
-
explored, 14(3)339--395, 17(2)331--365, 31(1)2--2, 37(1)3--3, 40(2)6--6
-
exploring, 16(4)1248--1278, 18(3)325--353, 19(6)1053--1084, 32(6)23--23,
38(2)5--5, 38(3)10--10, 38(4)15--15
-
explosion, 19(4)617--638, 20(1)51--115, 38(3)12--12, 42(3)12--12
-
explosion, state-, 20(5)917--979
-
exponential, 17(2)228--232, 18(1)30--72, 20(1)51--115, 20(2)302--343,
20(3)635--678, 30(3)17--17, 35(3)9--9, 37(4)11--11, 38(4)13--13
-
exponential-time, 26(1)186--190
-
exponentially, 40(2)7--7
-
exponentiation, 41(4)20--20
-
expose, 16(4)1248--1278, 21(1)138--173, 28(1)134--174, 28(1)175--205,
28(3)476--516, 34(3)12--12, 37(4)12--12
-
exposed, 16(4)1248--1278, 19(3)525--555, 32(5)17--17
-
exposing, 9(2)125--163, 17(2)181--196, 30(4)23--23, 34(1)2--2,
35(3)10--10, 37(4)12--12, 38(4)15--15
-
exposition, 38(4)15--15
-
exposure, 34(1)5--5
-
expounded, 9(2)198--234
-
express, 16(3)524--576, 16(5)1572--1612, 19(1)87--152, 19(5)726--750,
20(2)344--387, 28(3)389--428, 28(3)517--575, 31(1)4--4, 33(3)9--9,
33(5)15--15, 33(6)20--20, 35(1)3--3, 36(1)2--2, 37(1)4--4,
37(4)12--12, 38(2)7--7, 41(2)13--13, 44(2)11--11, 44(4)25--25
-
expressed, 4(3)382--401, 10(2)204--214, 13(1)52--98, 15(1)36--72,
16(3)872--923, 17(1)16--27, 18(6)711--729, 20(2)302--343,
20(2)344--387, 31(3)10--10, 31(6)22--22, 32(4)12--12, 32(6)24--24,
34(4)16--16, 35(2)6--6, 36(1)2--2, 36(2)6--6, 37(4)11--11, 38(2)5--5,
39(3)11--11, 39(4)18--18, 40(2)6--6, 40(3)10--10, 40(3)11--11,
44(4)25--25, 45(3)18--18, 46(3)9--9
-
expressibility, 16(6)1675--1683, 43(1)2--2
-
expressible, 19(4)617--638
-
expressing, 17(1)63--84, 17(4)600--634, 18(1)73--108, 19(6)1053--1084,
20(6)1223--1250, 30(4)19--19, 35(2)6--6, 36(4)12--12, 40(3)10--10,
42(1)4--4, 44(4)23--23
-
expression, 1(1)50--57, 2(2)203--224, 3(1)83--103, 4(2)196--225,
4(3)402--454, 4(4)563--584, 4(4)601--614, 5(1)78--96, 5(1)122--122,
6(4)603--631, 8(3)406--407, 10(3)374--402, 11(1)57--66,
11(4)491--516, 13(1)21--51, 13(1)52--98, 13(2)181--210,
13(2)269--290, 14(1)107--125, 14(4)490--520, 14(4)574--588,
16(3)328--369, 17(1)63--84, 17(1)123--156, 17(4)561--575,
18(1)1--15, 18(6)730--751, 19(1)1--6, 19(3)413--426, 19(3)427--443,
20(6)1297--1322, 21(2)324--369, 21(3)677--701, 21(5)948--976,
22(5)816--860, 25(4)401--451, 27(1)46--90, 28(3)389--428,
28(5)848--907, 31(6)23--23, 32(4)14--14, 33(3)9--9, 34(1)2--2,
34(4)16--16, 36(1)1--1, 36(3)9--9, 37(4)12--12, 38(1)3--3, 38(3)8--8,
38(4)13--13, 39(2)9--9, 39(4)18--18, 40(3)12--12, 43(3)9--9,
44(4)21--21
-
expression, M-, 14(4)589--616
-
expression, S-, 14(4)589--616
-
expression-based, 4(1)44--82
-
Expression-Oriented, 3(1)49--59, 9(3)390--407, 10(3)503--504
-
expression-tree, 17(5)740--776
-
expression-tree-scheduling, 17(5)740--776
-
expressions, let-, 20(1)166--207
-
expressive, 13(2)269--290, 14(1)107--125, 16(5)1411--1430,
16(6)1661--1674, 16(6)1675--1683, 18(5)519--527, 19(4)617--638,
20(5)1014--1066, 21(3)677--701, 22(5)861--931, 30(6)31--31,
31(1)4--4, 31(2)6--6, 31(2)7--7, 31(3)12--12, 31(4)13--13,
31(5)18--18, 32(3)7--7, 35(3)11--11, 37(3)9--9, 37(4)11--11,
39(4)18--18, 40(2)5--5, 44(3)20--20, 45(2)8--8, 46(1)4--4
-
expressive, less-, 40(4)17--17
-
expressiveness, 13(1)99--123, 14(3)396--416, 15(1)208--208,
16(4)1279--1318, 18(5)519--527, 21(2)324--369, 30(5)29--29,
31(1)4--4, 33(4)12--12, 37(3)9--9, 40(3)10--10, 42(1)3--3, 43(1)2--2
-
EXPSPACE, 35(3)10--10
-
expspace-complete, 34(1)6--6
-
EXPSPACE-hard, 34(4)16--16
-
EXPTIME, 38(1)3--3
-
EXSPACE-complete, 22(1)87--128
-
EXSPACE-hard, 22(1)87--128
-
extend, 10(2)204--214, 14(4)589--616, 15(4)681--705, 16(2)175--204,
16(3)305--327, 16(3)428--455, 16(5)1411--1430, 16(6)1875--1903,
17(1)123--156, 17(3)448--460, 18(1)1--15, 18(4)477--518,
18(6)730--751, 19(4)568--585, 19(5)804--851, 20(4)845--868,
20(5)980--1013, 20(6)1223--1250, 21(4)703--746, 22(2)296--339,
22(5)773--815, 22(6)1002--1036, 23(1)1--29, 23(1)73--103,
28(3)476--516, 28(3)517--575, 28(4)577--618, 28(4)696--714,
28(5)795--847, 29(1)2--2, 30(6)32--32, 31(5)19--19, 32(1)2--2,
33(4)12--12, 35(1)3--3, 35(4)12--12, 36(4)12--12, 37(2)6--6,
37(4)12--12, 38(4)13--13, 38(4)14--14, 39(1)2--2, 40(1)2--2,
40(1)3--3, 40(1)4--4, 41(1)3--3, 41(3)14--14, 45(2)7--7
-
extended, 4(3)496--517, 4(4)585--600, 4(4)711--732, 7(2)183--213,
7(4)501--538, 10(2)204--214, 13(1)99--123, 16(1)3--34,
16(3)605--606, 16(4)1081--1096, 16(4)1156--1214, 18(2)139--174,
19(5)639--684, 20(3)546--585, 20(6)1297--1322, 21(5)914--947,
22(2)187--223, 26(3)578--608, 28(4)696--714, 29(5)29--29, 32(2)6--6,
32(4)13--13, 37(2)6--6, 38(3)10--10, 41(2)8--8, 41(2)11--11,
41(4)22--22, 42(1)2--2, 42(1)4--4, 43(2)8--8, 43(4)14--14,
44(4)25--25
-
extended, sign-, 28(1)106--133
-
extending, 16(5)1572--1612, 21(1)11--45, 22(6)973--1001, 25(6)814--875,
36(1)1--1, 38(3)12--12, 40(1)2--2, 45(3)19--19
-
extensibility, 28(3)517--575, 39(1)5--5, 43(3)9--9, 44(2)12--12
-
extensible, 9(4)582--598, 10(2)189--203, 10(2)204--214, 16(3)577--604,
17(5)704--739, 21(3)527--568, 22(3)506--539, 22(4)701--771,
26(5)805--835, 26(5)836--889, 30(6)32--32, 39(1)5--5
-
extension, 4(4)552--562, 6(2)159--174, 10(2)204--214, 12(1)135--138,
13(1)52--98, 14(3)396--416, 14(4)589--616, 15(1)182--205,
15(5)771--794, 16(3)607--648, 16(3)954--985, 16(5)1411--1430,
16(5)1572--1612, 16(6)1875--1903, 17(1)1--15, 17(2)366--393,
17(5)740--776, 18(1)73--108, 18(4)454--476, 18(5)564--614,
18(6)730--751, 19(1)153--187, 19(4)557--567, 19(5)804--851,
19(6)916--941, 20(3)483--545, 20(3)586--634, 21(2)175--188,
22(3)506--539, 25(5)641--712, 27(6)1216--1269, 28(1)106--133,
28(2)207--255, 28(2)256--289, 28(3)517--575, 28(4)577--618,
30(2)11--11, 30(4)19--19, 30(4)22--22, 30(5)26--26, 30(6)31--31,
31(2)7--7, 31(5)18--18, 31(6)23--23, 32(1)2--2, 32(6)21--21,
33(4)12--12, 34(1)4--4, 34(1)6--6, 34(4)17--17, 35(1)2--2, 35(3)9--9,
36(1)1--1, 36(4)11--11, 37(3)9--9, 38(3)8--8, 40(1)4--4, 40(2)8--8,
41(2)9--9, 42(1)2--2, 43(1)3--3, 43(1)4--4, 44(4)22--22, 45(3)14--14
-
Extension, ``{Type}-, 13(4)630--630
-
Extension, Type-, 13(4)626--629
-
extensional, 40(2)6--6
-
extensions,, 27(6)1147--1215
-
extensive, 7(1)62--79, 16(3)607--648, 20(1)208--258, 22(1)129--161,
23(1)30--72, 27(6)1270--1343, 30(6)32--32, 32(3)9--9, 35(1)5--5,
36(4)14--14, 38(2)5--5, 38(4)13--13, 41(3)16--16, 41(3)17--17
-
extensively, 4(3)455--495, 17(2)331--365, 18(4)454--476, 41(1)6--6,
44(3)15--15
-
extensiveness, 32(1)2--2
-
extent, 8(4)419--490, 10(3)456--469, 14(4)471--489, 16(3)456--492,
18(5)528--563, 28(5)848--907, 28(5)908--941, 34(4)17--17,
38(3)11--11, 42(3)15--15
-
external, 2(2)137--152, 3(1)111--111, 19(3)525--555, 29(6)33--33,
32(4)14--14
-
extra, 8(1)109--139, 13(1)1--20, 20(6)1195--1222, 28(1)70--105,
30(5)28--28, 43(2)8--8
-
extract, 16(4)1097--1113, 16(4)1248--1278, 20(3)483--545, 28(3)389--428,
31(5)17--17, 31(6)23--23, 35(1)3--3, 41(2)12--12, 44(3)15--15
-
extracted, 29(1)3--3, 29(6)35--35
-
Extracting, 17(4)600--634
-
extraction, 16(3)305--327, 24(6)625--666, 38(2)5--5
-
extrapolated, 34(1)5--5
-
extrapolation, 34(1)5--5
-
Extrema, 4(4)758--762
-
extreme, 15(5)876--895
-
extremely, 16(3)872--923, 20(1)166--207, 20(4)869--916, 21(6)1251--1297,
27(6)1049--1096, 28(1)1--69, 31(5)17--17, 36(1)2--2, 41(1)6--6
-
eye, 14(4)589--616, 18(2)139--174