Index file section D for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
D
-
D, 13(4)633--633, 20(4)869--916, 22(5)816--860
-
d, 22(1)162--186, 39(2)9--9
-
D'Antoni, Loris, 44(2)9--9
-
D'Antoni, Loris, see Hu, Qinheping
-
D'antoni, Loris, 38(1)1--1
-
D'Osualdo, Emanuele, 43(4)16--16
-
d, finite-sets-of-, 4(4)711--732
-
D.1.0, 9(2)125--163, 16(4)1279--1318, 17(1)45--46
-
D.1.1, 7(2)311--333, 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)602--626, 12(2)224--252, 13(1)52--98, 13(4)531--557,
13(4)577--625, 14(2)265--297, 15(1)206--208, 15(2)253--289,
15(2)290--311, 16(3)328--369, 16(5)1613--1647, 17(4)635--671,
18(2)109--138, 18(2)175--234, 18(6)730--751, 19(3)444--461,
19(6)916--941, 20(2)344--387, 20(4)768--844, 21(3)430--501,
22(2)224--264
-
D.1.2, 7(1)1--9, 7(1)113--136, 7(3)446--477, 7(4)680--685, 9(4)491--542,
14(4)490--520, 16(3)1010--1023, 20(1)51--115, 20(1)208--258,
20(3)586--634, 21(2)189--239, 22(2)187--223, 22(2)224--264,
22(2)296--339
-
d.1.3, 7(1)80--112, 7(2)244--269, 7(2)270--298, 7(2)311--333,
7(3)380--403, 7(3)404--425, 7(4)501--538, 7(4)622--636, 8(1)88--108,
8(1)109--139, 8(1)140--141, 8(1)142--153, 8(1)154--182,
8(3)326--343, 8(3)388--405, 9(1)25--53, 9(2)235--256, 9(3)350--366,
9(4)491--542, 10(1)51--86, 10(3)420--455, 10(4)513--554,
11(1)147--167, 12(3)396--428, 12(3)463--492, 12(4)643--669,
13(4)491--530, 14(1)54--106, 14(2)201--264, 14(3)396--416,
15(1)1--35, 15(1)73--132, 15(2)337--356, 15(3)563--573,
15(5)745--770, 15(5)771--794, 16(3)524--576, 16(3)577--604,
16(3)649--686, 16(3)798--842, 16(3)954--985, 16(6)1737--1767,
17(2)233--263, 17(3)535--559, 17(5)704--739, 18(5)615--647,
19(2)292--333, 19(3)444--461, 19(5)685--725, 19(5)804--851,
20(1)51--115, 20(3)483--545, 20(6)1131--1170, 20(6)1171--1194,
20(6)1195--1222, 21(1)11--45, 21(1)46--89, 21(1)138--173,
21(2)189--239, 21(3)569--626, 22(2)265--295, 22(2)296--339,
22(2)416--430, 22(4)673--700
-
D.1.5, 16(6)1811--1841, 17(6)805--843, 18(1)1--15, 18(4)355--400,
18(4)401--423, 18(6)711--729, 19(1)153--187
-
D.1.6, 13(4)577--625, 14(3)339--395, 15(1)133--181, 15(4)659--680,
15(5)826--875, 16(1)3--34, 16(3)649--686, 16(4)1081--1096,
16(4)1361--1398, 16(5)1613--1647, 17(1)28--44, 17(2)331--365,
17(4)635--671, 18(5)528--563, 18(5)564--614, 18(6)752--779,
19(4)586--616, 20(1)208--258, 20(3)586--634, 20(4)768--844,
21(2)189--239, 21(3)430--501, 21(5)948--976, 22(2)187--223,
22(2)296--339
-
D.1.7, 21(6)1077--1136
-
D.1.m, 18(5)564--614
-
d.2.1, 7(1)10--36, 8(3)344--387, 8(4)524--546, 9(1)1--24, 9(2)198--234,
9(3)441--462, 9(4)646--685, 10(1)156--177, 10(3)403--419,
11(1)147--167, 11(2)284--329, 12(2)224--252, 12(3)463--492,
14(2)147--172, 14(4)521--573, 15(5)876--895, 16(2)259--303,
16(6)1661--1674, 16(6)1811--1841, 18(6)711--729, 19(2)292--333,
20(2)302--343, 21(3)502--526
-
D.2.10, 8(4)524--546, 11(2)212--248, 16(3)577--604, 16(3)798--842,
20(2)274--301
-
D.2.11, 21(3)527--568, 22(6)1037--1080
-
D.2.2, 7(1)37--61, 7(2)214--243, 7(3)380--403, 7(3)446--477,
7(4)539--559, 8(1)50--87, 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(3)403--419,
10(4)627--632, 10(4)633--634, 11(2)212--248, 11(3)345--387,
12(1)1--25, 12(2)143--177, 12(4)566--609, 12(4)670--699,
13(3)372--398, 14(1)54--106, 14(2)173--200, 15(1)36--72,
15(1)133--181, 15(5)876--895, 16(1)102--150, 16(1)151--174,
16(2)259--303, 16(3)727--774, 16(3)843--871, 16(4)1319--1360,
16(4)1361--1398, 16(5)1399--1410, 16(5)1572--1612, 18(1)30--72,
18(3)254--267, 18(3)268--299, 18(5)564--614, 19(1)153--187,
19(3)427--443, 19(6)992--1030, 19(6)1053--1084, 21(4)813--847,
21(6)1077--1136
-
D.2.3, 7(1)176--181, 8(4)547--576, 8(4)577--608, 10(3)345--373,
11(1)33--56, 11(2)169--193, 11(3)345--387, 15(2)357--365,
16(1)102--150, 16(5)1572--1612, 17(2)394--429, 18(1)16--29,
20(2)274--301
-
d.2.4, 7(1)37--61, 7(1)113--136, 7(1)137--158, 7(2)214--243,
7(3)380--403, 7(3)446--477, 8(1)154--182, 8(2)185--214,
8(2)244--263, 8(3)344--387, 8(3)388--405, 9(3)390--407,
9(4)567--581, 9(4)646--685, 10(1)156--177, 10(2)267--281,
10(3)403--419, 11(1)147--167, 12(2)253--302, 12(2)303--339,
12(3)396--428, 12(3)463--492, 12(4)643--669, 13(1)21--51,
14(3)396--416, 15(1)1--35, 15(1)36--72, 15(1)73--132, 15(1)133--181,
15(5)876--895, 16(2)259--303, 16(3)687--726, 16(3)798--842,
16(3)843--871, 16(3)872--923, 16(5)1543--1571, 16(6)1699--1718,
17(1)16--27, 17(1)157--179, 17(3)507--534, 18(2)175--234,
18(3)325--353, 19(2)253--291, 19(3)427--443, 19(4)617--638,
19(5)726--750, 20(1)51--115, 20(2)302--343, 20(2)344--387,
20(5)917--979, 20(6)1171--1194, 21(1)46--89, 21(3)502--526,
21(3)677--701, 21(4)747--789, 22(1)87--128
-
d.2.5, 7(1)37--61, 7(1)176--181, 7(2)183--213, 7(2)214--243,
7(3)478--489, 8(1)50--87, 9(2)164--197, 11(2)169--193,
12(4)643--669, 13(4)491--530, 14(1)54--106, 15(2)357--365,
16(2)175--204, 16(3)387--427, 16(4)1097--1113, 16(4)1319--1360,
16(5)1648--1659, 17(1)157--179, 17(2)197--216, 17(2)217--227,
17(4)672--689, 19(2)334--385, 20(1)1--50, 20(2)302--343,
20(6)1111--1130, 21(2)370--416, 22(2)340--377
-
D.2.6, 7(1)37--61, 7(2)183--213, 7(2)334--347, 7(3)446--477,
7(4)539--559, 8(1)50--87, 8(3)273--291, 8(4)419--490, 8(4)491--523,
8(4)524--546, 8(4)547--576, 8(4)577--608, 9(2)164--197,
9(2)277--295, 9(3)297--318, 10(1)118--155, 10(2)248--266,
10(3)345--373, 10(4)627--632, 10(4)633--634, 11(2)169--193,
12(1)1--25, 12(2)143--177, 12(4)566--609, 12(4)670--699,
13(2)211--236, 14(1)1--27, 15(3)367--399, 16(1)102--150,
16(2)175--204, 16(3)387--427, 16(3)727--774, 16(4)1097--1113,
16(5)1572--1612, 16(6)1699--1718, 17(1)1--15, 17(2)197--216,
17(2)394--429, 18(1)16--29, 18(1)30--72, 18(4)355--400,
20(2)274--301, 20(5)980--1013, 21(2)370--416, 21(6)1077--1136,
21(6)1251--1297
-
D.2.7, 8(3)273--291, 9(2)277--295, 10(4)627--632, 10(4)633--634,
11(3)345--387, 15(2)357--365, 16(3)727--774, 16(3)775--797,
16(6)1875--1903, 19(5)751--803, 20(5)980--1013, 22(3)540--582
-
D.2.8, 10(2)248--266, 11(3)451--481, 14(1)54--106, 15(5)826--875,
20(2)344--387, 21(2)240--285
-
D.2.m, 12(4)670--699, 16(3)524--576, 17(2)264--292, 17(5)691--703,
18(4)355--400
-
D.3.0, 14(2)127--144, 14(2)145--146, 18(2)139--174, 18(3)254--267
-
D.3.1, 7(1)159--175, 7(2)299--310, 7(2)311--333, 7(3)359--379,
7(3)426--445, 7(3)478--489, 7(4)637--655, 7(4)656--679,
8(1)109--139, 8(1)140--141, 8(2)264--271, 8(4)547--576, 9(1)54--99,
9(2)198--234, 9(3)390--407, 9(3)408--440, 9(3)441--462,
9(4)543--566, 9(4)567--581, 10(1)87--117, 10(1)118--155,
10(2)338--342, 10(3)345--373, 10(3)470--502, 10(4)602--626,
11(1)147--167, 11(2)169--193, 11(4)517--561, 11(4)598--632,
12(3)429--462, 13(1)99--123, 13(4)577--625, 14(1)107--125,
14(2)127--144, 14(3)396--416, 14(4)589--616, 15(1)133--181,
15(1)206--208, 15(2)290--311, 15(3)463--493, 15(3)535--562,
15(4)575--631, 15(4)681--705, 16(3)328--369, 16(3)605--606,
16(3)924--938, 16(3)1024--1050, 16(4)1215--1247, 16(4)1279--1318,
16(5)1512--1542, 16(5)1572--1612, 16(5)1613--1647, 16(6)1842--1874,
16(6)1875--1903, 17(1)47--62, 17(1)63--84, 17(1)157--179,
17(2)228--232, 17(2)366--393, 17(5)777--803, 17(6)844--895,
17(6)896--937, 18(1)16--29, 18(6)711--729, 19(1)7--47,
19(5)685--725, 19(5)751--803, 19(6)1053--1084, 20(2)436--482,
21(1)11--45, 21(1)90--137, 21(3)527--568, 21(5)914--947,
21(6)1196--1250, 22(1)1--44, 22(4)638--672, 22(4)701--771,
22(6)1037--1080
-
D.3.m, 14(3)339--395
-
D.4.0, 8(4)419--490
-
d.4.1, 7(2)244--269, 7(3)404--425, 7(4)622--636, 8(3)326--343,
9(1)25--53, 9(2)235--256, 9(3)350--366, 9(4)599--617, 10(2)282--312,
10(3)374--402, 10(3)420--455, 11(1)90--114, 11(2)249--283,
11(3)404--417, 11(4)585--597, 12(1)102--122, 12(2)178--202,
13(1)124--149, 13(4)491--530, 13(4)558--576, 14(1)28--53,
15(3)563--573, 15(4)735--742, 15(5)771--794, 16(3)939--953,
16(3)954--985, 16(6)1719--1736, 17(3)535--559, 18(3)268--299,
18(4)477--518, 19(2)292--333, 20(2)274--301, 21(1)46--89,
22(4)673--700
-
D.4.2, 7(1)62--79, 7(1)80--112, 10(4)555--578, 11(3)388--403, 12(1)1--25,
14(1)1--27, 15(1)1--35, 15(1)182--205, 15(5)745--770, 18(5)615--647,
21(3)430--501
-
D.4.4, 7(1)80--112, 7(4)622--636, 11(1)33--56, 11(3)404--417,
11(4)585--597, 12(1)102--122, 14(1)28--53, 16(3)954--985
-
D.4.5, 8(1)50--87, 9(2)235--256, 11(2)249--283, 12(2)178--202,
15(3)563--573, 16(3)986--1009, 16(6)1719--1736, 17(3)535--559,
21(1)46--89
-
D.4.6, 15(4)706--734, 16(3)986--1009, 21(1)90--137
-
D.4.7, 7(2)183--213, 7(3)404--425, 8(4)419--490, 9(2)235--256,
10(3)374--402, 11(1)57--66, 11(3)404--417, 12(1)102--122,
12(4)537--565, 14(4)521--573, 16(3)954--985, 18(4)355--400,
20(2)274--301, 21(1)46--89
-
D.4.8, 11(3)404--417, 20(2)274--301
-
D.4.9, 7(2)183--213, 13(1)1--20, 16(6)1699--1718, 20(2)274--301
-
DAC, 22(6)1002--1036
-
DaCapo, 41(1)3--3, 41(3)19--19
-
DAG, 17(4)600--634, 21(2)240--285, 23(1)73--103
-
DAGs, 17(5)740--776
-
dags,, 9(2)277--295
-
Dal Lago, Ugo, 41(2)10--10
-
DalLago:2019:PTM, 41(2)10--10
-
damaging, 36(3)10--10
-
Damiani, F., 29(2)13--13
-
Damiani, F., see Ancona, D.
-
Damiani, Ferruccio, 24(2)153--191, 25(4)401--451
-
Damiani, Ferruccio, see Drossopoulou, Sophia
-
Damiani:2003:RIT, 25(4)401--451
-
Damon, Craig A., 20(2)302--343
-
Damon, Craig A., see Jackson, Daniel
-
Dams, Dennis, 19(2)253--291
-
Dams:1997:AIR, 19(2)253--291
-
danger, 20(1)208--258
-
dangerous, 41(3)18--18
-
dangling, 43(1)3--3
-
Danicic, 42(2)6--6
-
Danicic, Sebastian, 40(3)11--11
-
Danicic:2018:SBS, 40(3)11--11
-
Dantas, Daniel S., 30(3)14--14
-
Dantas:2008:APA, 30(3)14--14
-
Dantoni:2015:FTB, 38(1)1--1
-
Danvy, Olivier, 18(6)730--751, 28(4)696--714, 38(1)2--2, 45(1)1--1
-
Danvy, Olivier, see Ager, Mads Sig,
see Biernacki, Dariusz
-
Danvy:1996:EED, 18(6)730--751
-
Danvy:2023:THA, 45(1)1--1
-
dApps, 45(3)17--17
-
Darais, David, 45(2)8--8
-
Darais, David, see Toro, Matías
-
Darlington, 4(1)1--20, 18(2)175--234
-
Darlington, Jared L., 12(2)224--252
-
Darlington:1990:SDG, 12(2)224--252
-
Darmstadt, 8(4)547--576
-
Darulova, Eva, 39(2)8--8
-
Darulova:2017:TCR, 39(2)8--8
-
Das, Ankush, 44(3)19--19
-
Das, Dibyendu, 27(3)426--440
-
Das:2005:PFI, 27(3)426--440
-
Das:2022:NST, 44(3)19--19
-
DASH, 19(6)942--991
-
DATA, 7(1)1--9, 7(1)62--79, 7(2)348--357, 8(1)88--108, 8(1)142--153,
8(1)154--182, 9(2)277--295, 9(3)297--318, 9(3)367--389,
10(4)555--578, 11(4)598--632, 13(3)295--314, 13(4)626--629,
14(2)201--264, 14(4)471--489, 14(4)574--588, 15(3)400--462,
16(3)328--369, 16(4)1279--1318, 16(6)1661--1674, 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
-
data, finite-, 34(1)6--6, 35(3)10--10, 36(4)14--14
-
data-centric, 34(1)4--4
-
data-dependence, 22(1)162--186, 30(6)32--32
-
data-dependences, 22(1)162--186
-
Data-Driven, 9(4)599--617, 9(4)618--645, 41(2)13--13
-
data-driven, 8(1)109--139, 41(2)13--13
-
Data-Flow, 4(2)226--238, 7(1)37--61, 12(3)341--395
-
data-flow, 3(2)126--143, 4(1)44--82, 4(2)226--238, 8(1)109--139,
8(1)140--141, 9(4)599--617, 9(4)618--645, 10(1)1--50, 16(2)175--204,
16(3)607--648, 17(1)1--15, 19(5)751--803, 20(1)166--207,
20(4)845--868, 20(6)1297--1322, 21(2)240--285, 21(3)569--626,
21(6)1251--1297, 22(1)129--161, 22(5)816--860, 30(2)8--8, 34(2)9--9
-
data-free, 4(2)149--178
-
data-independence, 22(1)162--186
-
data-intensive, 38(3)11--11
-
data-layout, 37(4)12--12
-
data-member, 22(3)490--505
-
Data-Parallel, 15(3)400--462
-
data-parallel, 16(6)1737--1767, 20(6)1131--1170, 22(5)773--815,
22(5)816--860
-
data-race, 38(4)14--14
-
data-race-free, 38(4)16--16
-
data-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
-
data-structuring, 11(4)598--632
-
DATABASE, 8(1)50--87, 8(4)577--608, 9(3)297--318, 11(2)249--283,
12(2)178--202, 14(2)201--264, 15(3)494--534, 15(5)795--825,
16(3)727--774, 16(3)775--797
-
database, 2(3)386--414, 7(1)1--9, 7(3)404--425, 8(1)50--87, 8(4)577--608,
11(2)249--283, 15(3)494--534, 16(2)259--303, 16(3)605--606,
16(3)775--797, 20(3)586--634, 41(3)18--18, 42(4)18--18
-
database-style, 30(4)19--19
-
databaseless, 16(3)605--606
-
dataflow, 15(1)133--181, 16(2)205--258, 17(2)331--365, 18(1)30--72,
18(3)354--354, 18(5)564--614, 18(6)659--682, 19(4)557--567,
19(4)568--585, 19(5)804--851, 21(3)569--626, 21(5)948--976,
22(1)162--186, 22(4)638--672, 22(5)773--815, 23(6)776--796,
30(4)18--18, 30(4)21--21, 32(2)4--4, 32(2)5--5, 32(6)23--23,
33(1)3--3, 35(1)5--5, 37(1)3--3, 39(2)9--9, 39(4)18--18, 40(3)9--9,
41(4)23--23
-
dataflow-analysis, 39(2)9--9
-
datalog, 31(6)21--21, 42(2)7--7
-
datatype, 32(5)18--18
-
datatypes, 26(5)836--889, 31(1)4--4, 35(1)4--4
-
date, 14(1)28--53, 17(2)228--232, 17(2)233--263, 37(1)1--1, 37(2)5--5,
43(1)3--3
-
daunting, 31(3)9--9
-
David, Cristina, 40(1)1--1, 40(2)5--5
-
David, Cristina, see Chen, Hong-Yi
-
David:2018:PSP, 40(2)5--5
-
Davidson, Jack W., 2(2)191--202, 3(1)110--110, 6(4)505--526
-
Davidson:1980:DAR, 2(2)191--202, 3(1)110--110
-
Davidson:1981:CDA, 2(2)191--202, 3(1)110--110
-
Davidson:1984:CST, 6(4)505--526
-
Dawson, Steven, 18(5)528--563
-
Dawson:1996:PPU, 18(5)528--563
-
day, 14(2)265--297
-
DDA/x86, 32(6)23--23
-
DDGs, 32(1)3--3
-
DDL, 9(3)297--318
-
DDPA, 41(3)14--14
-
De Boer, Frank S., 19(5)685--725
-
De Bosschere, Koen, 27(5)882--945, 29(4)19--19
-
De Bosschere, Koen, see De Sutter, Bjorn
-
De Bus, Bruno, 27(5)882--945
-
De Bus, Bruno, see De Sutter, Bjorn
-
De Carli, Lorenzo, 37(1)2--2
-
De Carli, Lorenzo, see Nowatzki, Tony
-
De Fraine, Bruno, 34(3)12--12
-
De Francesco, N., 31(1)3--3
-
De Francesco, N., see Bernardeschi, C.
-
De Koster, Joeri, 42(4)17--17
-
De Koster, Joeri, see Swalens, Janwillem
-
De La Banda, M., Garcia, 18(5)564--614
-
de la Banda, M. Garcia, 18(5)564--614
-
De La Banda, Marí García, 22(2)296--339
-
De Meuter, Wolfgang, 42(4)17--17
-
De Meuter, Wolfgang, see Swalens, Janwillem
-
De Moura, Ana Lúcia, 31(2)6--6
-
De Rose, Luiz, 21(2)286--323
-
De Schreye, Danny, 20(1)208--258, 21(6)1137--1195
-
De Schreye, Danny, see Decorte, Stefaan,
see Leuschel, Michael
-
De Supinski, Bronis R., 29(2)12--12
-
De Supinski, Bronis R., see Marathe, Jaydeep
-
De Sutter, Bjorn, 22(2)378--415, 27(5)882--945, 29(4)19--19, 33(3)9--9
-
De Sutter, Bjorn, see Debray, Saumya K.,
see Tip, Frank
-
De Vere, Lorraine, 17(4)672--689
-
De Vere, Lorraine, see McKenzie, Bruce J.
-
De Vries, F. J., 16(3)493--523
-
De Vries, F. J., see Kennaway, J. R.
-
Deacon, Will, 43(2)8--8
-
Deacon, Will, see Alglave, Jade
-
dead, 28(3)476--516
-
dead-assignment, 22(5)932--972
-
dead-code, 18(3)268--299
-
dead-store, 38(2)7--7
-
deadline, 19(3)525--555, 21(1)46--89, 23(1)73--103
-
deadlock, 4(1)37--43, 4(4)678--686, 8(3)326--343, 9(1)25--53,
12(1)102--122, 12(4)643--669, 13(1)99--123, 20(2)436--482,
20(5)917--979, 32(4)14--14, 39(4)15--15, 40(3)12--12, 41(1)1--1
-
Deadlock-Free, 20(2)436--482
-
deadlock-free, 20(2)436--482
-
deadlock-freedom, 20(2)436--482, 32(5)16--16, 40(4)17--17
-
deadlock-freedomash, 32(5)16--16
-
deadlock., 32(5)18--18
-
deal, 5(2)236--264, 10(2)248--266, 13(2)237--268, 16(5)1613--1647,
18(2)175--234, 21(2)175--188, 21(2)370--416, 22(3)431--470,
22(5)773--815, 29(5)29--29, 35(3)11--11, 35(4)13--13, 40(1)4--4,
41(1)5--5, 42(1)2--2, 43(4)16--16
-
dealing, 7(2)334--347, 7(4)501--538, 20(4)768--844, 21(6)1196--1250,
27(2)236--263, 32(3)8--8
-
deallocated, 20(4)724--767
-
deallocation, 22(4)701--771, 28(4)715--746, 34(3)13--13, 35(2)6--6
-
dealt, 9(2)257--276
-
Dearle, A., 13(3)342--371
-
Dearle, A., see Morrison, R.
-
debate, 17(3)431--447, 37(3)8--8
-
Debian, 36(2)7--7, 39(2)6--6
-
DeBoer:1997:PCC, 19(5)685--725
-
deBoer:2021:CCR, 43(4)17--17
-
Debray, Saumya, 30(5)25--25
-
Debray, Saumya, see Preda, Mila Dalla
-
Debray, Saumya K., 11(3)418--450, 11(3)451--481, 15(5)795--825,
15(5)826--875, 17(2)331--365, 19(4)568--585, 22(2)378--415
-
Debray, Saumya K., see Bowman, Mic
-
Debray:1989:FCL, 11(3)451--481
-
Debray:1989:SIM, 11(3)418--450
-
Debray:1993:CAL, 15(5)826--875
-
Debray:1995:CDA, 17(2)331--365
-
Debray:1997:ICF, 19(4)568--585
-
Debray:2000:CTC, 22(2)378--415
-
deBruin:1985:DSD, 7(4)656--679
-
debug, 16(3)387--427, 39(4)17--17, 40(3)10--10
-
debuggability, 38(4)16--16
-
debugger, 14(2)173--200, 16(3)387--427, 19(3)492--524, 20(6)1111--1130,
21(2)370--416
-
debugging, 4(3)323--344, 4(4)615--649, 7(1)37--61, 7(1)176--181,
7(2)183--213, 7(2)214--243, 7(3)478--489, 8(1)50--87, 9(2)164--197,
9(3)319--349, 11(2)169--193, 12(4)643--669, 13(4)491--530,
14(1)54--106, 14(2)173--200, 15(2)357--365, 16(2)175--204,
16(3)387--427, 16(3)649--686, 16(4)1097--1113, 16(4)1319--1360,
16(5)1648--1659, 17(1)63--84, 17(1)157--179, 17(2)197--216,
17(2)217--227, 17(4)672--689, 19(1)87--152, 19(2)334--385,
20(1)1--50, 20(2)302--343, 20(6)1111--1130, 21(2)370--416,
22(2)340--377, 31(1)5--5, 32(4)15--15, 32(6)23--23, 37(3)8--8,
41(1)4--4, 42(2)7--7, 44(3)17--17
-
debugging., 16(3)387--427
-
Dec, Mar.-, 17(1)180--180
-
decade, 16(3)305--327, 16(6)1768--1810, 17(1)47--62, 18(4)424--453,
44(1)5--5, 45(1)2--2
-
Decentralized, 37(1)4--4, 45(3)17--17
-
decidability, 33(4)12--12, 34(1)6--6, 34(4)16--16, 44(2)8--8
-
decidable, 10(2)248--266, 14(4)521--573, 27(6)1216--1269, 31(3)10--10,
31(5)19--19, 34(1)6--6, 35(3)10--10, 36(1)1--1, 36(4)14--14,
44(2)8--8
-
decide, 6(2)159--174, 22(1)129--161, 36(2)5--5, 36(4)14--14, 38(1)3--3,
40(4)14--14, 44(1)2--2
-
decided, 7(2)183--213, 38(1)3--3, 40(2)7--7
-
deciding, 8(4)524--546, 15(4)706--734, 21(2)370--416, 35(3)10--10,
38(1)3--3
-
decision, 1(2)245--257, 2(4)580--595, 6(2)159--174, 8(4)524--546,
9(4)543--566, 11(4)562--584, 16(1)3--34, 16(3)843--871,
16(5)1467--1471, 17(2)228--232, 18(3)235--253, 19(1)1--6,
19(1)188--222, 20(1)51--115, 20(3)483--545, 21(3)430--501,
21(5)948--976, 22(1)162--186, 22(3)431--470, 27(6)1270--1343,
28(1)134--174, 28(5)908--941, 30(4)19--19, 31(2)7--7, 31(3)9--9,
31(5)19--19, 36(3)10--10, 38(1)1--1, 40(1)4--4, 40(2)5--5
-
decision-graph, 16(1)3--34
-
declaration, 3(2)126--143, 10(2)204--214, 16(5)1411--1430, 42(3)15--15
-
declarative, 16(1)35--101, 16(4)1081--1096, 16(4)1279--1318,
16(4)1361--1398, 20(5)1014--1066, 22(5)861--931, 27(5)988--1047,
27(6)1216--1269, 28(3)389--428, 28(3)517--575, 30(6)30--30,
31(2)8--8, 32(2)4--4, 35(1)2--2, 36(3)10--10, 37(1)2--2, 39(4)14--14,
42(1)2--2
-
declaratively, 16(4)1279--1318
-
declare, 14(1)28--53, 20(3)483--545
-
declared, 38(3)8--8
-
declassification, 35(2)6--6, 39(3)10--10, 42(1)3--3, 44(4)25--25
-
decoders, 19(3)492--524
-
Decoding, 19(3)492--524
-
decompilation, 16(5)1613--1647
-
decompiler, 16(5)1613--1647, 19(3)492--524
-
decomposability, 42(1)4--4
-
decompose, 19(1)7--47, 19(3)525--555, 20(2)344--387, 28(2)331--388
-
decomposed, 8(4)524--546
-
Decomposing, 31(1)3--3
-
decomposition, 9(2)198--234, 16(3)577--604, 16(5)1472--1511,
17(3)507--534, 18(4)454--476, 24(1)1--50, 31(1)3--3
-
decompression, 29(1)3--3
-
Decorte, Stefaan, 21(6)1137--1195
-
Decorte:1999:CBT, 21(6)1137--1195
-
decoupling, 16(1)151--174, 19(1)153--187, 41(1)1--1
-
decrease, 4(2)179--195, 6(4)527--545, 14(1)28--53, 16(3)428--455,
17(4)635--671, 18(3)235--253, 31(3)10--10, 40(2)7--7
-
decreased, 33(1)3--3
-
decreasing, 8(4)491--523, 28(1)70--105
-
decrement, 18(3)235--253
-
DECstation, 22(1)129--161
-
dedicated, 18(6)730--751, 22(4)673--700, 30(4)22--22, 32(4)11--11,
35(2)6--6, 38(2)5--5, 42(1)3--3, 42(2)6--6, 44(4)25--25
-
deduce, 30(6)34--34
-
Deducing, 17(1)16--27
-
deduction, 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, 20(4)768--844,
21(6)1137--1195, 28(5)848--907, 31(4)13--13, 31(5)19--19
-
deductive, 2(1)90--121, 19(1)48--86, 20(3)586--634
-
deemed, 9(2)125--163
-
deep, 20(2)274--301, 44(2)10--10, 44(4)22--22
-
deeper, 16(5)1472--1511, 28(3)476--516
-
deeply, 18(6)683--710, 21(5)1028--1075, 45(3)18--18
-
Def, Use-, 17(1)85--122
-
def, use-, 30(6)32--32
-
default, 4(2)179--195, 43(3)10--10
-
Default, Concurrent-by-, 36(1)2--2
-
default, concurrent-by-, 36(1)2--2
-
default, Safe-by-, 43(3)10--10
-
default, safe-by-, 43(3)10--10
-
default, volatile-by-, 43(3)10--10
-
defects, 30(2)8--8, 32(2)6--6, 41(4)21--21
-
defer, 31(3)9--9
-
deferral, 9(2)164--197, 31(3)9--9
-
deferred, 13(1)150--178
-
Deferring, 31(3)9--9
-
deficiency, 17(3)431--447, 22(2)265--295, 27(6)1270--1343, 31(2)7--7
-
definable, 18(1)73--108
-
define, 4(4)527--551, 4(4)668--677, 8(4)577--608, 10(2)189--203,
13(2)211--236, 14(4)589--616, 15(1)133--181, 15(5)771--794,
16(3)456--492, 16(3)524--576, 16(3)954--985, 16(4)1319--1360,
16(5)1472--1511, 16(6)1811--1841, 16(6)1875--1903, 17(1)47--62,
17(1)157--179, 17(2)264--292, 17(2)366--393, 18(2)109--138,
18(4)477--518, 18(6)711--729, 19(6)899--915, 20(4)707--723,
21(2)240--285, 21(3)569--626, 22(4)638--672, 22(6)1037--1080,
28(3)389--428, 28(5)942--965, 31(1)2--2, 31(6)23--23, 32(3)8--8,
32(3)9--9, 32(4)12--12, 32(5)19--19, 33(1)4--4, 33(5)16--16,
34(4)17--17, 35(1)4--4, 35(4)14--14, 36(1)1--1, 36(2)5--5, 36(2)7--7,
37(1)3--3, 38(3)8--8, 40(4)17--17, 41(3)14--14, 41(3)15--15,
41(3)18--18, 42(1)4--4, 43(1)4--4, 46(1)1--1
-
define-then-run, 44(3)20--20
-
defined, 4(1)37--43, 4(1)83--112, 4(4)615--649, 4(4)687--710,
4(4)733--757, 6(2)159--174, 7(2)183--213, 8(2)264--271,
8(4)524--546, 8(4)547--576, 8(4)577--608, 9(4)491--542,
10(2)204--214, 11(4)633--649, 14(2)127--144, 14(3)339--395,
14(4)521--573, 14(4)574--588, 15(4)575--631, 16(3)577--604,
16(3)1051--1077, 16(4)1081--1096, 16(4)1361--1398, 16(6)1842--1874,
17(1)47--62, 17(2)233--263, 17(4)600--634, 18(2)139--174,
19(3)444--461, 20(5)980--1013, 21(2)189--239, 28(4)747--793,
30(4)19--19, 30(5)29--29, 32(2)4--4, 32(6)24--24, 34(4)17--17,
35(1)2--2, 35(4)14--14, 36(1)3--3, 36(2)5--5, 36(4)12--12, 38(1)3--3,
39(1)4--4, 40(1)2--2, 40(2)7--7, 40(3)11--11, 40(3)12--12, 43(1)4--4,
43(4)14--14, 44(4)25--25
-
defined, expert-, 19(1)188--222
-
defined, modality-, 42(1)4--4
-
defined, programmer-, 16(3)577--604
-
Defined, Software-, 14(3)299--338
-
Defined, User-, 2(2)137--152, 3(1)111--111
-
defined, user-, 21(3)527--568, 30(4)18--18
-
defined, well-, 16(6)1842--1874, 43(1)4--4
-
definedness, 35(1)2--2
-
defining, 4(1)83--112, 4(1)113--119, 4(4)687--710, 7(1)159--175,
9(4)473--490, 11(4)598--632, 14(4)471--489, 15(3)535--562,
16(5)1572--1612, 16(6)1811--1841, 17(1)63--84, 17(2)394--429,
19(5)751--803, 22(4)583--637, 28(3)389--428, 30(3)12--12,
32(6)24--24, 37(1)3--3, 40(1)4--4
-
definite, 15(1)133--181, 16(3)607--648, 16(4)1081--1096, 26(3)464--509,
28(4)619--695, 35(4)14--14
-
definitely, 16(3)649--686, 17(1)157--179, 35(4)14--14
-
definiteness, 18(5)564--614, 32(6)21--21
-
definition, E-, 14(2)127--144
-
definition, F-, 14(2)127--144
-
definition, T-, 14(2)127--144
-
definition, use-, 16(2)175--204
-
Definition-Use, 16(2)175--204
-
definition-use, 16(2)175--204, 18(3)268--299
-
definitional, 4(4)687--710, 38(1)2--2
-
definitions, F-, 14(2)127--144
-
definitions, reaching-, 16(5)1467--1471, 19(6)992--1030
-
DeFouw, 20(6)1251--1264
-
defragment, 39(1)2--2
-
DeFraine:2012:EAC, 34(3)12--12
-
defunctionalized, 38(1)2--2
-
Degano, Pierpaolo, 10(3)345--373, 31(6)23--23, 43(3)12--12
-
Degano, Pierpaolo, see Bartoletti, Massimo,
see Busi, Matteo
-
Degano:1988:EIL, 10(3)345--373
-
degenerated, 35(1)5--5
-
degradation, 22(4)673--700, 30(3)17--17, 35(1)3--3, 38(3)12--12,
40(1)3--3
-
degrades, 28(4)577--618
-
degree, 16(5)1431--1448, 17(2)264--292, 17(2)331--365, 18(1)30--72,
18(6)659--682, 21(1)138--173, 21(2)240--285, 27(6)1147--1215,
39(2)7--7, 43(1)2--2
-
deJonge:2012:NFE, 34(4)15--15
-
Dekel, Eliezer, 5(3)300--317
-
Dekel:1983:PGP, 5(3)300--317
-
delaBanda:1996:GAC, 18(5)564--614
-
DeLaBanda:2000:ICL, 22(2)296--339
-
Delay, 11(1)57--66
-
delayed, 15(5)745--770, 17(5)740--776, 25(2)210--224, 37(3)10--10,
39(1)3--3
-
Delayed-Load, 17(5)740--776
-
Delaying, Recombination-, 6(1)118--125
-
deleting, 3(1)49--59, 21(1)1--10
-
deletion, 9(3)319--349, 17(4)672--689, 20(6)1111--1130, 22(2)187--223,
41(1)6--6
-
deliberate, 29(6)35--35
-
deliberations, 4(2)239--257
-
delicate, 21(1)90--137, 33(1)2--2, 45(2)8--8
-
delimited, 31(2)6--6, 38(1)2--2, 41(2)8--8
-
deliver, 16(6)1768--1810, 18(4)477--518, 36(3)10--10
-
delivered, 39(1)5--5
-
delivery, 16(1)151--174, 29(1)3--3
-
Delporte-Gallet, Carole, 17(1)157--179
-
Delporte-Gallet, Carole, see Charron-Bost, Bernadette
-
demand, 7(1)62--79, 8(1)109--139, 8(1)140--141, 16(3)370--386,
17(6)896--937, 19(6)992--1030, 21(2)189--239, 27(6)1097--1146,
28(5)942--965, 30(6)32--32, 40(3)9--9
-
demand, on-, 41(4)23--23
-
Demand-Driven, 7(2)311--333, 8(1)109--139, 8(1)140--141, 17(1)85--122,
41(3)14--14
-
demand-driven, 8(1)109--139, 17(1)85--122, 18(6)683--710,
19(6)992--1030, 30(6)32--32, 41(3)14--14, 42(2)8--8
-
demand., 30(4)22--22
-
Demanded, 46(1)4--4
-
demanding, 17(4)635--671, 41(1)1--1
-
Demange, Delphine, 36(1)4--4
-
Demange, Delphine, see Barthe, Gilles
-
Demers, Alan, 5(3)449--477, 7(3)426--445, 9(3)408--440
-
Demers, Alan, see Donahue, James,
see Reps, Thomas
-
Demers-Weiser, Boehm-, 28(5)908--941
-
Demetrescu, Camil, 37(1)3--3
-
Demetrescu:2015:RIP, 37(1)3--3
-
DeMillo, Richard A., 5(3)355--355
-
DeMillo:1983:GEI, 5(3)355--355
-
Demoen, Bart, 31(2)8--8
-
Demoen, Bart, see Sneyers, Jon
-
demographic, 14(1)1--27
-
demonic, 18(3)325--353, 30(6)34--34, 31(4)16--16, 40(2)7--7
-
demons, 16(4)1279--1318
-
demonstrate, 7(4)560--599, 9(2)125--163, 11(4)598--632, 13(1)52--98,
14(4)471--489, 16(3)305--327, 16(3)328--369, 16(3)649--686,
16(3)843--871, 16(3)986--1009, 16(5)1512--1542, 17(2)197--216,
17(5)777--803, 19(5)751--803, 19(6)1053--1084, 20(1)116--165,
20(2)436--482, 20(6)1195--1222, 21(1)138--173, 21(3)627--676,
21(4)747--789, 22(2)224--264, 22(3)471--489, 22(3)540--582,
22(6)1037--1080, 23(1)30--72, 23(2)105--186, 28(1)1--69,
28(2)207--255, 28(5)908--941, 29(1)2--2, 30(2)8--8, 31(2)6--6,
31(3)9--9, 31(3)12--12, 31(4)14--14, 32(2)4--4, 32(3)7--7, 32(3)9--9,
35(3)9--9, 35(3)11--11, 35(4)13--13, 36(1)1--1, 37(2)5--5,
37(3)10--10, 38(2)6--6, 38(3)9--9, 38(3)11--11, 39(3)11--11,
39(4)15--15, 40(1)2--2, 40(1)3--3, 40(2)7--7, 40(3)13--13,
40(4)14--14, 41(1)2--2, 41(1)5--5, 41(3)15--15, 41(3)16--16,
41(3)19--19, 41(4)20--20, 42(1)3--3, 43(3)10--10
-
demonstrated, 4(4)601--614, 8(4)577--608, 11(4)633--649, 14(1)1--27,
16(5)1613--1647, 17(1)28--44, 17(1)63--84, 17(3)535--559,
18(3)300--324, 18(5)519--527, 20(4)845--868, 21(3)417--429,
31(1)4--4, 40(2)6--6, 40(3)11--11, 44(4)25--25
-
demonstrating, 16(3)370--386, 32(6)21--21
-
demonstration, 16(5)1613--1647, 32(4)12--12
-
demote, 8(4)524--546
-
DeMoura:2009:RC, 31(2)6--6
-
Demsky, Brian, 38(3)10--10
-
Demsky, Brian, see Norris, Brian
-
den Bos, Jan, van, 3(3)224--250, 10(2)215--247
-
Den Brand, M. G. J., Van, 24(4)334--368
-
Denali, 28(6)967--989
-
Dencker, Peter, 6(4)546--572
-
Dencker:1984:OPT, 6(4)546--572
-
Deng, Chaoqiang, 44(1)3--3
-
Deng:2022:SDR, 44(1)3--3
-
denial-of-service, 40(1)1--1
-
denotation, 15(4)575--631
-
denotational, 4(2)283--294, 4(2)295--322, 4(3)496--517, 7(2)299--310,
7(3)359--379, 7(4)656--679, 8(2)185--214, 8(4)547--576,
9(3)408--440, 9(3)441--462, 10(1)118--155, 11(4)650--665,
13(2)237--268, 13(2)269--290, 14(1)107--125, 14(2)147--172,
15(1)206--208, 15(2)211--252, 16(3)328--369, 16(3)456--492,
16(3)605--606, 16(3)607--648, 16(4)1081--1096, 16(5)1411--1430,
16(6)1875--1903, 19(5)685--725, 19(5)751--803, 28(4)747--793,
30(6)34--34, 32(3)8--8
-
denote, 16(2)259--303, 20(5)980--1013, 39(1)3--3
-
denoted, 13(2)237--268, 38(3)8--8
-
denoting, 16(4)1215--1247, 16(4)1279--1318, 40(4)17--17
-
dense, 14(4)521--573, 40(1)3--3
-
density, 42(2)9--9
-
depart, 17(2)366--393, 39(4)17--17
-
Department, 11(4)598--632
-
departure, 17(2)366--393
-
depend, 8(4)577--608, 16(3)524--576, 16(6)1842--1874, 17(5)691--703,
18(4)355--400, 18(5)528--563, 19(3)525--555, 19(4)557--567,
19(4)617--638, 20(2)302--343, 20(4)768--844, 20(4)869--916,
22(2)296--339, 29(2)13--13, 31(1)1--1, 31(6)20--20, 32(2)4--4,
36(2)6--6, 37(1)1--1, 37(1)3--3, 37(4)13--13, 38(4)13--13, 39(1)3--3,
45(2)7--7, 45(2)11--11
-
dependence, 9(3)319--349, 9(4)491--542, 12(1)26--60, 13(4)451--490,
16(3)305--327, 16(4)1114--1116, 16(4)1248--1278, 17(1)85--122,
17(4)600--634, 18(4)477--518, 19(3)462--491, 19(4)557--567,
19(5)639--684, 20(3)635--678, 20(6)1195--1222, 21(2)240--285,
22(5)773--815, 28(5)942--965, 29(5)27--27, 30(6)32--32, 32(1)1--1,
32(1)3--3, 32(6)23--23, 34(3)11--11, 35(1)3--3, 35(2)7--7, 38(2)5--5,
40(3)11--11
-
dependence'', data-, 22(1)162--186
-
dependence, data-, 22(1)162--186, 30(6)32--32
-
dependence, firing-, 20(5)917--979
-
dependence, ground-, 15(1)133--181
-
dependence-based, 42(4)19--19
-
dependences, data-, 22(1)162--186
-
dependency, 8(4)524--546, 8(4)577--608, 9(2)257--276, 9(3)367--389,
11(3)418--450, 16(2)175--204, 16(4)1279--1318, 17(2)228--232,
21(4)790--812, 21(5)948--976, 27(6)1216--1269, 35(1)5--5, 35(2)8--8,
36(1)2--2, 38(2)4--4, 38(2)5--5, 39(4)16--16, 41(1)1--1, 41(2)8--8,
41(2)12--12, 44(1)2--2
-
dependent, 17(4)600--634, 19(3)462--491, 32(2)6--6, 33(4)13--13,
35(1)5--5, 35(2)6--6, 39(3)11--11, 41(2)8--8, 44(1)2--2
-
Dependent, Context-, 5(3)449--477, 15(3)535--562
-
dependent, heap-, 34(1)2--2
-
dependent, inter-, 32(1)1--1
-
dependent, language-, 8(4)547--576
-
dependent, location-, 32(4)12--12
-
dependent, machine-, 7(4)560--599, 14(1)54--106
-
dependent, mode-, 7(2)183--213
-
dependent, platform-, 29(6)33--33
-
dependent, schedule-, 38(3)11--11
-
Dependent, Span-, 1(1)71--83, 2(3)274--289
-
dependent, span-, 19(3)492--524
-
dependent, state-, 35(2)6--6
-
dependent, typestate-, 36(4)12--12
-
depending, 4(1)21--36, 7(2)183--213, 18(2)139--174, 21(2)324--369,
27(6)1270--1343, 28(2)290--330, 31(6)20--20, 39(1)3--3, 40(3)9--9
-
deploy, 39(4)17--17
-
deployed, 22(4)701--771, 35(4)13--13, 39(2)6--6
-
deployment, 30(4)22--22, 30(6)30--30, 37(1)4--4
-
deprived, 28(4)747--793
-
depth, 6(4)632--646, 15(1)133--181, 16(5)1472--1511, 18(4)424--453,
20(1)208--258, 21(1)138--173, 21(2)240--285, 27(6)1147--1215,
31(4)13--13
-
depth, in-, 27(6)1147--1215, 45(1)5--5
-
depth-first, 19(4)557--567
-
depth-first-search, 4(3)362--381
-
dequeues, 27(1)163--184
-
dereference, 23(1)30--72, 43(1)3--3
-
dereference-check, null-, 41(3)16--16
-
dereferenced, 18(3)254--267
-
dereferencing, 19(1)1--6
-
DeRemer, 8(2)264--271
-
DeRemer, Frank, 4(4)615--649
-
DeRemer:1982:ECL, 4(4)615--649
-
derivable, 19(4)586--616, 39(1)4--4
-
derivation, 2(2)173--190, 2(3)321--337, 4(4)650--667, 5(3)478--498,
9(2)198--234, 12(2)203--223, 15(1)1--35, 16(3)798--842,
18(3)325--353, 19(3)444--461, 21(6)1137--1195, 24(4)369--408,
28(4)747--793, 34(4)15--15, 39(1)4--4, 44(3)15--15
-
derivative-based, 45(2)9--9
-
derive, 4(3)496--517, 4(4)650--667, 4(4)733--757, 13(1)124--149,
15(4)575--631, 16(2)205--258, 16(3)798--842, 16(6)1737--1767,
17(4)561--575, 18(6)711--729, 19(5)639--684, 19(6)899--915,
21(3)569--626, 27(6)1344--1395, 28(5)795--847, 34(3)14--14,
35(3)9--9, 42(1)3--3, 43(1)4--4
-
derived, 4(2)258--282, 4(3)362--381, 4(4)650--667, 4(4)668--677,
9(3)319--349, 10(2)248--266, 12(4)643--669, 16(1)35--101,
16(3)605--606, 16(3)798--842, 16(4)1215--1247, 17(1)16--27,
17(2)293--330, 17(2)366--393, 18(1)1--15, 19(3)444--461,
19(5)639--684, 20(1)166--207, 31(4)13--13, 32(6)24--24, 33(3)9--9,
41(1)5--5, 41(4)22--22, 43(1)4--4, 44(4)25--25
-
deriving, 4(3)455--495, 4(3)496--517, 9(2)257--276, 16(3)798--842,
20(3)546--585, 28(4)747--793
-
DeRose:1999:TTM, 21(2)286--323
-
Derrick, John, 33(1)4--4
-
Derrick:2011:MVP, 33(1)4--4
-
Dershowitz, Nachum, 7(3)446--477
-
Dershowitz:1985:PAI, 7(3)446--477
-
DESC, 31(3)10--10
-
descent, 9(2)125--163, 17(2)264--292, 31(3)10--10
-
described, 4(1)21--36, 4(1)44--82, 4(2)125--148, 4(2)226--238,
4(2)258--282, 4(2)295--322, 4(4)527--551, 4(4)585--600,
4(4)601--614, 4(4)650--667, 5(3)405--421, 8(4)577--608,
9(3)367--389, 10(2)248--266, 13(1)21--51, 16(1)3--34, 16(3)387--427,
16(3)456--492, 16(3)872--923, 16(6)1842--1874, 17(2)217--227,
17(2)394--429, 17(3)461--486, 17(5)740--776, 17(5)777--803,
18(4)355--400, 18(6)683--710, 19(4)586--616, 20(2)302--343,
20(4)845--868, 20(5)980--1013, 21(3)627--676, 29(6)35--35,
30(6)34--34, 32(6)23--23, 38(4)15--15, 39(2)9--9, 39(4)14--14,
40(3)13--13, 41(2)9--9, 41(3)14--14
-
described., 14(3)339--395
-
describing, 7(3)380--403, 9(2)125--163, 9(3)297--318, 13(2)211--236,
14(2)127--144, 16(2)205--258, 17(2)181--196, 19(3)492--524,
20(3)635--678, 20(6)1223--1250, 28(4)747--793, 31(2)7--7, 32(1)3--3,
34(1)3--3, 44(4)24--24
-
description, 2(2)173--190, 4(1)44--82, 5(2)127--163, 7(4)560--599,
7(4)637--655, 9(2)125--163, 9(2)257--276, 9(3)297--318,
16(3)428--455, 16(5)1431--1448, 16(6)1661--1674, 16(6)1737--1767,
16(6)1842--1874, 17(3)461--486, 19(4)586--616, 20(3)586--634,
21(1)90--137, 21(3)527--568, 21(3)627--676, 22(4)638--672,
22(6)973--1001, 22(6)1037--1080, 24(4)369--408, 27(6)1147--1215,
27(6)1344--1395, 30(4)19--19, 31(5)19--19, 31(6)22--22, 34(2)8--8,
35(1)4--4, 36(2)7--7, 38(4)15--15, 40(3)13--13, 40(4)15--15,
44(4)22--22
-
descriptive, 4(2)283--294
-
descriptor, 8(1)109--139, 9(3)367--389
-
deserve, 14(1)1--27, 14(2)127--144
-
DESIGN, 19(4)586--616, 19(5)726--750
-
Design**, 20(2)274--301
-
design, correct-by-, 32(4)14--14
-
design-pattern-based, 31(3)9--9
-
designated, 37(1)3--3
-
designated, compiler-, 38(4)16--16
-
designed, 4(1)44--82, 4(4)552--562, 8(4)491--523, 9(4)473--490,
14(3)339--395, 14(4)589--616, 16(3)305--327, 17(2)197--216,
18(4)424--453, 19(5)639--684, 19(6)899--915, 20(3)483--545,
20(6)1223--1250, 21(3)417--429, 27(6)1097--1146, 28(1)106--133,
28(4)619--695, 30(3)17--17, 31(1)4--4, 31(6)22--22, 39(1)5--5,
39(2)8--8, 39(4)17--17, 40(3)10--10, 40(4)16--16, 43(1)2--2,
43(1)4--4, 44(2)12--12, 46(1)3--3
-
designer, 5(3)405--421, 7(2)183--213, 9(3)297--318, 16(5)1449--1466,
17(1)63--84, 31(3)9--9, 31(3)12--12, 34(3)11--11, 34(4)17--17,
36(3)8--8, 40(3)13--13
-
designing, 11(2)212--248, 16(4)1361--1398, 19(5)804--851, 25(5)641--712,
30(4)19--19, 31(3)12--12, 31(6)22--22, 33(4)14--14, 35(1)4--4,
40(2)5--5, 42(1)2--2, 43(1)4--4
-
desirable, 4(3)455--495, 6(2)159--174, 15(5)876--895, 16(3)607--648,
17(1)63--84, 18(4)424--453, 22(2)378--415, 39(2)6--6, 40(1)1--1,
43(1)2--2
-
desire, 4(2)179--195
-
desired, 4(4)527--551, 18(4)477--518, 27(6)1270--1343, 28(3)517--575,
31(6)22--22, 38(3)8--8
-
desktop, 38(3)9--9
-
Despain, 16(1)35--101
-
despite, 4(2)295--322, 16(3)986--1009, 16(4)1361--1398, 18(5)528--563,
31(5)19--19, 32(1)2--2, 38(1)1--1, 38(2)7--7, 40(3)13--13,
44(4)24--24, 45(2)10--10
-
destination, 18(3)300--324
-
destroyed, 16(3)954--985
-
destroying, 9(2)277--295, 21(3)430--501
-
destructive, 16(2)205--258, 16(3)328--369, 20(1)1--50, 32(2)5--5
-
destructively, 16(3)328--369
-
DeSutter:2005:LTB, 27(5)882--945
-
DeSutter:2007:PID, 29(4)19--19
-
detail, 4(1)21--36, 5(2)236--264, 8(4)491--523, 14(3)339--395,
15(4)659--680, 17(2)331--365, 19(1)153--187, 20(6)1131--1170,
20(6)1171--1194, 22(3)431--470, 27(6)1270--1343, 28(4)747--793,
30(6)32--32, 31(3)12--12, 31(4)13--13, 39(1)3--3, 40(2)7--7,
40(3)12--12, 41(1)2--2, 41(2)9--9, 43(1)2--2, 43(3)10--10,
44(4)22--22
-
detailed, 4(1)44--82, 5(2)127--163, 16(2)259--303, 16(3)428--455,
17(2)264--292, 20(1)116--165, 20(3)586--634, 21(2)189--239,
21(2)240--285, 21(4)703--746, 22(5)932--972, 37(2)5--5, 40(4)15--15,
43(3)11--11, 44(4)22--22
-
detect, 4(1)37--43, 8(4)547--576, 10(4)555--578, 16(3)649--686,
16(4)1156--1214, 17(1)85--122, 17(4)600--634, 18(6)659--682,
20(3)635--678, 20(5)980--1013, 28(1)70--105, 29(5)29--29,
30(5)27--27, 32(2)4--4, 32(4)15--15, 34(1)5--5, 34(2)7--7,
34(4)17--17, 37(3)8--8, 38(2)7--7, 42(3)14--14
-
detected, 9(2)235--256, 22(2)378--415, 28(5)848--907, 37(3)8--8,
38(2)5--5, 38(4)16--16, 39(4)18--18
-
detecting, 4(4)601--614, 7(2)299--310, 17(1)85--122, 17(4)600--634,
18(6)649--658, 19(4)617--638, 20(5)980--1013, 27(6)1147--1215,
32(4)15--15, 33(1)3--3, 41(1)1--1
-
detection, 4(1)37--43, 4(4)678--686, 8(3)326--343, 8(4)577--608,
9(2)164--197, 9(4)491--542, 12(1)102--122, 15(1)1--35, 17(1)85--122,
17(1)157--179, 17(4)600--634, 18(4)477--518, 18(6)659--682,
20(2)274--301, 24(6)593--624, 28(2)207--255, 29(3)16--16,
30(4)20--20, 30(5)25--25, 31(2)7--7, 32(2)6--6, 33(1)2--2, 33(1)3--3,
37(2)5--5, 37(3)10--10, 37(4)12--12, 38(2)7--7, 38(4)16--16,
41(1)1--1, 42(3)14--14
-
detection, race-, 28(2)207--255
-
detector, 30(5)25--25, 41(1)6--6, 45(1)1--1
-
determinacy, 16(1)3--34, 33(4)12--12
-
determinancy, 11(4)598--632
-
determination, 13(2)181--210, 16(3)387--427, 19(4)568--585,
20(6)1111--1130, 28(5)848--907, 37(2)5--5
-
determine, 4(3)323--344, 5(3)405--421, 9(4)491--542, 16(4)1248--1278,
16(6)1768--1810, 16(6)1875--1903, 17(4)561--575, 18(5)528--563,
18(6)711--729, 19(3)525--555, 19(6)992--1030, 20(1)1--50,
20(6)1111--1130, 21(4)703--746, 21(5)1028--1075, 31(2)7--7,
31(3)10--10, 32(4)13--13, 33(1)3--3, 35(1)5--5, 38(4)15--15,
39(2)7--7, 39(2)8--8, 40(1)3--3, 41(2)13--13, 43(2)7--7
-
determined, 13(1)150--178, 13(2)237--268, 15(4)575--631, 18(5)528--563,
19(3)492--524, 20(3)483--545, 29(6)33--33, 40(3)10--10
-
determined, programmer-, 27(6)1049--1096
-
determined., 32(4)11--11
-
determining, 4(2)179--195, 8(4)524--546, 10(3)456--469, 14(2)173--200,
16(3)387--427, 17(3)487--506, 17(4)600--634, 18(1)73--108,
18(2)139--174, 19(1)1--6, 19(6)853--898, 20(1)1--50, 20(2)302--343,
21(1)46--89, 23(2)105--186, 31(2)7--7, 38(4)15--15, 39(2)7--7,
40(4)17--17, 44(1)3--3, 44(3)17--17
-
determinism, 30(5)27--27, 42(1)3--3
-
determinism, non-, 40(2)7--7
-
deterministic, 1(1)142--160, 4(4)758--762, 16(3)798--842, 17(2)366--393,
17(4)635--671, 29(2)8--8, 29(6)33--33, 34(4)16--16, 40(2)7--7,
40(3)11--11, 44(4)22--22, 45(2)11--11
-
Deterministic, Non-, 40(3)11--11
-
deterministic, Non-, 40(3)11--11
-
deterministic, non-, 40(3)11--11, 41(4)20--20
-
deterministically, 16(3)798--842
-
determinization, 31(3)10--10
-
detracting, 37(2)5--5
-
Devadas, Srinivas, 18(3)235--253
-
Devadas, Srinivas, see Liao, Stan
-
Devanbu, 41(4)21--21
-
develop, 15(1)133--181, 15(5)771--794, 16(3)577--604, 16(3)607--648,
16(3)649--686, 16(3)798--842, 16(4)1279--1318, 16(5)1472--1511,
16(6)1768--1810, 19(3)525--555, 19(4)586--616, 19(5)639--684,
20(5)917--979, 21(3)677--701, 21(6)1196--1250, 22(1)87--128,
28(2)290--330, 28(2)331--388, 28(3)429--475, 28(3)476--516,
28(5)795--847, 30(4)23--23, 30(5)26--26, 31(1)5--5, 32(4)12--12,
32(4)13--13, 33(1)2--2, 33(1)5--5, 33(6)19--19, 35(1)4--4, 37(1)2--2,
37(3)10--10, 37(4)11--11, 37(4)12--12, 39(1)4--4, 40(1)2--2,
41(1)3--3, 41(3)14--14, 41(3)15--15, 42(1)2--2, 43(1)1--1,
44(2)10--10
-
developed, 4(1)1--20, 4(1)44--82, 4(2)149--178, 4(4)527--551,
4(4)650--667, 8(4)491--523, 8(4)547--576, 9(2)198--234,
9(4)491--542, 11(4)633--649, 13(2)269--290, 14(2)147--172,
14(2)173--200, 15(5)876--895, 16(1)3--34, 16(1)151--174,
16(2)205--258, 16(2)259--303, 16(3)305--327, 16(3)456--492,
16(4)1097--1113, 16(5)1648--1659, 17(2)233--263, 17(2)394--429,
18(1)16--29, 18(1)30--72, 18(4)477--518, 19(4)557--567,
19(6)1031--1052, 21(2)286--323, 21(2)370--416, 21(6)1196--1250,
22(4)583--637, 27(6)1147--1215, 29(2)13--13, 30(3)17--17, 31(1)1--1,
31(1)4--4, 32(1)3--3, 32(2)4--4, 32(4)14--14, 32(6)23--23,
33(3)10--10, 33(4)13--13, 36(2)5--5, 39(1)3--3, 39(4)17--17,
40(3)11--11, 40(4)14--14, 41(1)2--2, 42(1)2--2, 43(3)12--12
-
developer, 22(6)1037--1080, 30(6)31--31, 30(6)32--32, 32(2)4--4,
32(4)15--15, 34(1)2--2, 35(4)13--13, 36(1)2--2, 36(4)13--13,
38(3)10--10, 39(4)17--17, 41(3)19--19, 43(1)4--4, 44(2)12--12
-
developers, non-, 30(6)31--31
-
developing, 9(3)367--389, 16(3)607--648, 17(2)394--429, 19(6)992--1030,
20(2)274--301, 20(3)483--545, 21(5)914--947, 22(4)673--700,
31(4)14--14, 32(3)9--9, 33(1)5--5, 33(4)13--13, 37(2)6--6, 38(2)6--6,
40(3)10--10, 41(1)3--3, 41(3)14--14, 41(4)20--20
-
development, 1(2)196--217, 2(2)239--262, 2(3)321--337, 4(1)1--20,
4(4)733--757, 5(4)596--619, 6(1)55--67, 8(4)419--490, 8(4)491--523,
8(4)547--576, 9(2)198--234, 9(3)367--389, 14(4)490--520,
16(1)35--101, 16(1)102--150, 16(2)259--303, 16(3)577--604,
18(4)454--476, 19(3)444--461, 19(3)525--555, 20(2)274--301,
20(3)483--545, 20(4)869--916, 20(5)980--1013, 21(2)286--323,
21(2)370--416, 21(5)895--913, 27(6)1049--1096, 27(6)1270--1343,
28(4)619--695, 29(2)13--13, 30(4)19--19, 30(6)31--31, 30(6)32--32,
31(3)9--9, 31(5)19--19, 32(3)9--9, 32(4)14--14, 33(1)2--2,
34(4)15--15, 36(2)6--6, 37(4)13--13, 38(2)5--5, 38(3)9--9, 40(2)6--6,
40(2)8--8, 41(1)2--2, 42(3)15--15, 44(4)25--25, 46(1)4--4
-
device, 7(1)62--79, 12(1)84--101, 13(3)399--442, 16(3)456--492,
21(2)240--285, 21(3)569--626, 22(2)378--415, 22(6)973--1001,
31(1)3--3, 31(5)19--19, 32(4)12--12, 33(1)3--3, 36(4)14--14
-
Device-Driver, 32(6)23--23
-
device-driver, 32(6)23--23
-
device-independent, 8(4)419--490
-
DEVICES, 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
-
devise, 15(5)771--794, 28(5)908--941, 31(5)19--19, 32(1)2--2, 34(1)5--5,
37(4)11--11, 42(3)15--15
-
devised, 16(4)1081--1096
-
devoted, 10(2)248--266
-
Devriese, Dominique, 42(1)1--53, 44(4)23--23
-
Devriese, Dominique, see Skorstengaard, Lau
-
Devriese:2022:TPV, 44(4)23--23
-
Dewan, Prasun, 12(4)566--609
-
Dewan:1990:ASA, 12(4)566--609
-
Dewar, Robert B. K., 1(1)27--49, 4(4)650--667
-
Dewar:1979:PRE, 1(1)27--49
-
Dewar:1982:TDG, 4(4)650--667
-
Deyoung, Henry, 44(3)19--19
-
Deyoung, Henry, see Das, Ankush
-
Dezani-Ciancaglini, Mariangiola, 24(2)153--191
-
Dezani-Ciancaglini, Mariangiola,
see Drossopoulou, Sophia
-
DFKI, 19(5)804--851
-
Dhamdhere, D. M., 20(6)1111--1130
-
Dhamdhere, Dhananjay M., 13(2)291--294, 15(2)312--336, 16(5)1472--1511
-
Dhamdhere, Dhananjay M., see Khedker, Uday P.
-
Dhamdhere:1991:PAG, 13(2)291--294
-
Dhamdhere:1993:EAB, 15(2)312--336
-
Dhamdhere:1998:DCD, 20(6)1111--1130
-
Di Stefano, Antonella, 11(2)284--329
-
Di Stefano, Antonella, see Carchiolo, Vincenza
-
Di Stefano, Maurizio, 39(4)17--17
-
Di Stefano, Maurizio, see Trinder, Phil
-
diagnose, 4(2)226--238
-
diagnoses, 9(2)164--197
-
diagnosis, 9(2)164--197, 39(4)18--18
-
diagnostics, 16(4)1319--1360
-
diagram, 8(4)524--546, 20(1)51--115, 21(5)948--976, 27(6)1344--1395,
30(4)19--19, 32(4)13--13
-
dialect, 7(4)501--538, 14(4)589--616, 17(2)394--429, 17(5)704--739,
18(1)16--29, 31(1)5--5
-
dialogue, 21(6)1077--1136
-
DIB, 9(2)235--256
-
Dickman, Peter, 27(6)1344--1395
-
Dickman, Peter, see Moreau, Luc
-
did, 34(2)7--7, 42(1)2--2
-
died, 28(3)476--516
-
diet, 40(3)10--10
-
Dietl, Werner, 33(6)20--20
-
Dietl:2011:SOT, 33(6)20--20
-
DIFC, 37(1)4--4
-
differ, 16(3)387--427, 16(5)1399--1410, 17(1)157--179, 18(6)752--779,
20(6)1297--1322, 21(5)977--1027
-
difference, 9(2)257--276, 9(4)491--542, 14(2)127--144, 16(3)687--726,
16(3)775--797, 16(5)1399--1410, 16(6)1768--1810, 18(4)477--518,
20(6)1297--1322, 23(2)105--186, 30(3)16--16, 30(5)29--29,
34(3)12--12, 34(4)17--17, 39(2)9--9, 41(4)22--22, 43(1)1--1,
45(1)4--4
-
differencing, 4(3)402--454, 32(6)24--24
-
differentiable, 4(3)402--454
-
differential, 16(3)775--797, 29(2)9--9, 30(6)32--32, 35(3)9--9,
43(2)6--6, 45(2)8--8
-
differentially, 43(2)6--6, 45(2)8--8
-
differentiation, 4(2)196--225, 4(4)650--667, 44(3)20--20
-
differently, 37(1)1--1
-
difficult, 7(1)62--79, 9(2)257--276, 11(4)598--632, 16(3)607--648,
16(3)649--686, 16(3)798--842, 17(4)561--575, 17(5)777--803,
18(4)424--453, 18(6)752--779, 19(5)804--851, 20(1)208--258,
20(2)274--301, 20(4)869--916, 21(4)703--746, 27(6)1344--1395,
28(2)331--388, 29(6)35--35, 30(2)8--8, 31(1)1--1, 32(3)9--9,
32(4)14--14, 32(4)15--15, 34(1)4--4, 35(3)9--9, 36(1)1--1,
36(4)13--13, 37(4)12--12, 38(4)15--15, 38(4)16--16, 40(1)1--1,
40(3)10--10, 41(1)4--4, 41(3)14--14, 42(1)3--3, 43(1)2--2, 44(2)6--6,
44(2)12--12, 45(1)6--6
-
difficult., 16(3)798--842
-
difficulty, 18(1)30--72, 19(3)413--426, 22(2)416--430, 29(5)29--29,
31(3)9--9, 32(1)2--2, 35(3)10--10, 39(4)14--14, 40(4)14--14,
42(3)12--12, 42(3)15--15
-
diffusing, 4(1)37--43
-
digested, 16(6)1699--1718, 43(1)3--3
-
digital, 29(6)35--35, 32(4)11--11
-
digraphs, 4(4)615--649
-
Dijkstra, 4(4)668--677, 4(4)678--686, 11(4)517--561, 15(4)735--742,
16(3)924--938, 40(3)11--11
-
Dijkstra-Scholten, 4(1)37--43
-
dilemma, 43(3)9--9
-
Dillon, Laura K., 10(3)374--402, 12(4)643--669
-
Dillon:1988:CET, 10(3)374--402
-
Dillon:1990:USE, 12(4)643--669
-
dimension, 16(4)1319--1360, 20(4)768--844, 31(6)20--20, 35(1)4--4,
35(1)5--5, 38(3)11--11
-
dimensional, 10(2)189--203, 30(4)23--23
-
dimensional, Two-, 30(5)28--28
-
dimensionality, 38(3)11--11
-
diminishes, 4(2)179--195
-
Dimoulas, Christos, 33(5)16--16, 35(3)11--11, 45(1)4--4
-
Dimoulas, Christos, see Greenman, Ben,
see Strickland, T. Stephen
-
Dimoulas:2011:CSH, 33(5)16--16
-
Din, Crystal Chang, 46(1)3--3
-
Din:2024:LAG, 46(1)3--3
-
Dincklage, Daniel, Von, 29(2)11--11
-
Dinesh, T. B., 19(5)639--684
-
Dinesh, T. B., see Bergstra, J. A.
-
Ding, Chen, 31(6)20--20
-
Ding, Chen, see Zhong, Yutao
-
dining, 6(4)632--646
-
Diniz, Pedro C., 19(6)942--991, 25(3)316--359
-
Diniz, Pedro C., see Rinard, Martin C.
-
Diophantine, 21(4)703--746
-
direct, 3(2)126--143, 14(3)339--395, 17(5)691--703, 19(6)1085--1087,
20(6)1195--1222, 22(5)773--815, 23(1)30--72, 31(5)17--17, 35(1)5--5,
36(4)13--13, 38(3)9--9, 43(1)2--2
-
directed, 4(1)1--20, 4(2)283--294, 4(3)323--344, 4(4)563--584,
4(4)601--614, 4(4)678--686, 14(4)574--588, 16(4)1215--1247,
21(2)240--285
-
Directed, Exception-, 28(1)70--105
-
directed, Feedback-, 30(3)17--17
-
directed, feedback-, 28(1)70--105
-
Directed, Goal-, 14(1)107--125
-
directed, Goal-, 14(1)107--125, 29(6)39--39
-
directed, goal-, 14(1)107--125
-
Directed, Proof-, 35(2)8--8
-
Directed, Semantics-, 5(4)554--595, 16(4)1215--1247
-
Directed, Syntax-, 10(3)345--373
-
directed, syntax-, 9(2)125--163, 41(1)5--5, 41(2)9--9
-
directed, type-, 21(3)527--568, 22(4)701--771
-
directed, user-, 37(4)12--12
-
direction, 12(2)224--252, 16(4)1117--1155, 16(6)1768--1810,
19(1)188--222, 32(4)11--11
-
directional, 22(6)1002--1036
-
directionality, 20(5)1067--1109, 32(6)21--21
-
directly, 4(2)125--148, 6(3)314--332, 16(1)151--174, 16(3)649--686,
16(3)775--797, 16(5)1411--1430, 17(2)233--263, 18(2)109--138,
18(6)752--779, 19(3)492--524, 19(5)804--851, 20(5)980--1013,
21(2)189--239, 28(5)942--965, 30(4)18--18, 30(4)21--21, 31(1)3--3,
31(4)13--13, 32(1)2--2, 32(4)14--14, 34(1)3--3, 34(2)9--9,
36(4)12--12, 37(3)10--10, 38(4)15--15, 41(1)5--5, 41(2)8--8,
44(4)25--25
-
Director, 10(4)602--626, 11(3)482--482
-
directory, 3(2)162--167, 18(6)752--779
-
disabling, 19(6)1053--1084
-
disadvantages, 18(6)752--779
-
disallows, 38(4)16--16, 44(3)16--16
-
disambiguate, 23(1)30--72
-
disambiguation, 19(6)1031--1052, 28(3)389--428
-
discharged, 30(2)8--8, 34(1)2--2
-
discharged, automatically-, 39(3)11--11
-
discipline, 4(4)668--677, 6(3)402--431, 29(5)25--25, 30(4)20--20,
32(1)2--2, 33(6)20--20, 38(4)14--14, 39(1)3--3, 40(4)16--16,
43(2)7--7, 44(4)26--26
-
disciplined, 13(2)237--268
-
discontinuity, 39(2)8--8
-
discourages, 29(6)35--35
-
discover, 9(4)491--542, 13(2)181--210, 19(6)942--991, 27(6)1344--1395,
28(3)429--475, 28(4)715--746, 28(5)942--965, 32(6)23--23,
34(4)17--17, 35(2)8--8, 35(4)13--13
-
discovered, 5(2)236--264, 14(2)173--200, 16(3)428--455, 19(4)557--567,
20(6)1297--1322, 31(4)15--15, 31(5)17--17, 32(6)23--23, 35(2)8--8,
38(3)10--10
-
discovered, oft-, 4(4)615--649
-
discovering, 14(2)173--200, 28(4)747--793, 39(4)15--15, 39(4)16--16
-
discovery, 17(2)181--196, 18(4)477--518, 27(1)126--162, 28(4)747--793,
43(3)11--11
-
discrepancy, 18(4)424--453
-
DISCRETE, 7(2)348--357, 7(4)680--685, 9(1)25--53, 11(4)562--584,
12(1)26--60, 12(1)84--101, 12(1)102--122, 12(1)123--134,
12(2)203--223, 12(3)341--395, 13(3)372--398, 14(2)265--297,
14(4)574--588, 17(1)123--156, 17(3)487--506, 18(3)235--253,
18(3)300--324, 18(4)477--518, 20(6)1195--1222, 20(6)1265--1296
-
discrete, 4(3)402--454, 7(2)348--357, 7(3)404--425, 11(1)33--56,
14(4)521--573, 17(1)123--156, 17(3)487--506, 20(6)1265--1296,
21(2)175--188, 22(1)162--186, 28(4)747--793, 31(1)4--4
-
Discrete-Event, 3(3)293--317
-
discuss, 8(4)491--523, 9(2)125--163, 9(4)473--490, 13(2)237--268,
15(4)659--680, 16(2)205--258, 16(3)428--455, 16(3)607--648,
16(4)1156--1214, 16(5)1472--1511, 16(6)1675--1683, 16(6)1811--1841,
17(2)233--263, 18(4)454--476, 20(3)483--545, 20(4)768--844,
20(4)869--916, 20(5)1014--1066, 21(4)790--812, 21(4)813--847,
22(3)506--539, 27(6)1049--1096, 28(3)517--575, 29(2)13--13,
31(2)7--7, 31(5)19--19, 31(6)20--20, 32(4)12--12, 32(5)17--17,
35(1)3--3, 35(1)4--4, 37(1)3--3, 37(4)11--11, 40(3)10--10
-
discussed, 4(1)1--20, 4(1)21--36, 4(2)125--148, 4(3)382--401,
5(2)236--264, 8(4)524--546, 9(2)125--163, 9(4)491--542,
10(2)189--203, 10(2)248--266, 14(2)127--144, 14(3)339--395,
14(4)521--573, 15(1)182--205, 17(1)16--27, 18(2)139--174,
20(6)1131--1170, 21(1)1--10, 21(2)175--188, 22(2)187--223,
27(6)1270--1343, 31(4)15--15, 32(6)21--21, 41(1)5--5
-
discussing, 29(2)13--13, 32(2)4--4, 36(1)2--2
-
discussion, 8(4)419--490, 18(4)454--476, 19(1)153--187, 27(6)1270--1343,
31(2)8--8, 32(3)8--8
-
disentailment, 16(4)1279--1318
-
disguised, 39(2)9--9
-
Disintegration, 42(2)9--9
-
disjoint, 18(6)730--751, 20(3)483--545
-
disjoint, node-, 19(6)1085--1087
-
disjoint-sum, 18(6)730--751
-
disjointness, 22(5)861--931
-
disjunctions, 19(5)751--803, 40(1)3--3
-
disjunctive, 19(5)751--803, 20(5)1067--1109, 40(1)3--3, 41(2)13--13
-
disparate, 17(3)487--506
-
dispatch, 18(4)355--400, 20(1)116--165, 21(1)11--45, 28(3)517--575,
31(2)7--7, 33(4)12--12
-
dispatched, 18(4)355--400, 37(4)13--13
-
dispatching, 17(3)431--447, 30(1)5--5
-
dispense, 31(4)16--16
-
displacement, 9(3)367--389
-
display, 8(4)577--608, 9(3)367--389, 30(6)33--33
-
dispose, 30(4)22--22
-
disregard, 43(2)6--6
-
Dissegna, Stefano, 38(2)7--7
-
Dissegna:2016:AIB, 38(2)7--7
-
disseminate, 9(2)235--256
-
dissimilar, 16(6)1842--1874, 17(5)777--803, 23(2)105--186
-
distance, 16(4)1114--1116, 30(4)23--23, 31(6)20--20, 34(4)17--17,
40(1)3--3
-
distance, long-, 22(1)1--44
-
distance, reuse-, 31(6)20--20
-
distance-based, 31(6)20--20
-
distinct, 14(1)107--125, 16(3)954--985, 17(3)431--447, 21(1)46--89,
22(6)1037--1080, 31(6)20--20, 33(4)14--14
-
distinction, 15(1)73--132, 40(4)16--16, 41(3)15--15, 41(4)23--23,
43(1)4--4
-
distinctive, 19(5)751--803, 19(6)899--915, 21(6)1251--1297
-
distinguish, 6(4)632--646, 16(4)1248--1278, 22(1)87--128, 32(6)22--22,
41(1)1--1
-
distinguishable, 17(1)63--84
-
distinguished, 7(3)404--425
-
distinguishing, 6(4)632--646, 14(2)127--144, 20(4)707--723, 32(5)16--16,
33(5)17--17, 38(3)8--8, 43(2)6--6
-
distorts, 28(3)476--516
-
distribute, 30(2)9--9
-
Distributed-Memory, 17(2)233--263, 20(4)869--916
-
distributed-memory, 17(1)123--156, 17(2)233--263, 20(6)1131--1170,
20(6)1195--1222, 21(6)1251--1297, 22(5)816--860, 31(3)9--9
-
distributing, 28(2)290--330
-
distribution, 8(3)273--291, 9(2)277--295, 10(4)627--632, 10(4)633--634,
11(3)345--387, 14(2)201--264, 15(2)357--365, 16(3)727--774,
16(3)775--797, 16(6)1875--1903, 18(4)424--453, 19(5)751--803,
19(5)804--851, 20(5)980--1013, 21(3)569--626, 21(6)1251--1297,
22(3)540--582, 31(1)4--4, 36(2)7--7, 36(4)14--14, 39(1)5--5,
41(3)15--15
-
distributive, 4(3)496--517, 19(6)992--1030, 30(6)34--34
-
disturbing, 22(5)816--860
-
div, 14(2)127--144
-
Dive, 44(4)22--22
-
divergence, 35(4)13--13, 37(3)10--10
-
divergence-aware, 35(4)13--13
-
diverging, 40(1)4--4
-
diverse, 18(4)454--476, 20(2)344--387, 35(2)7--7, 40(2)5--5
-
diversity, 4(4)687--710, 45(1)2--2
-
divide, 9(2)235--256, 21(4)813--847
-
divide-and-conquer, 4(4)733--757, 19(3)444--461, 32(3)9--9, 41(4)20--20
-
divided, 5(2)127--163, 38(2)5--5
-
dividing, 31(6)20--20
-
division, 4(2)149--178, 14(2)127--144, 22(5)932--972, 27(6)1147--1215
-
divisions, 27(6)1147--1215
-
divisors, 29(5)29--29
-
Diwan, Amer, 23(1)30--72, 24(6)593--624, 29(2)11--11, 29(4)18--18,
38(4)15--15
-
Diwan, Amer, see Blackburn, Stephen M.,
see Hirzel, Martin, \see{Lee, Han B.
-
Diwan:2001:UTA, 23(1)30--72
-
DJ, 18(6)649--658, 20(2)388--435, 27(3)426--440
-
DJ-graphs, 24(4)299--333
-
DLLs, 24(6)711--804
-
DNGCL, 40(3)11--11
-
DNP, 7(4)656--679
-
do, 9(2)164--197, 9(4)491--542, 14(2)201--264, 15(1)73--132,
16(3)687--726, 16(3)939--953, 16(4)1248--1278, 16(5)1431--1448,
17(1)28--44, 17(1)157--179, 17(3)461--486, 17(4)635--671,
18(1)30--72, 18(2)175--234, 18(4)401--423, 18(6)659--682,
18(6)683--710, 18(6)730--751, 19(1)188--222, 19(5)804--851,
20(3)635--678, 20(4)768--844, 20(6)1297--1322, 21(1)11--45,
22(3)490--505, 22(3)506--539, 28(1)1--69, 28(3)389--428,
28(4)715--746, 29(2)13--13, 29(6)35--35, 30(2)8--8, 31(1)1--1,
31(4)13--13, 32(3)8--8, 32(3)9--9, 32(5)18--18, 33(6)20--20,
35(1)5--5, 35(4)14--14, 36(1)3--3, 36(3)10--10, 38(3)12--12,
41(1)5--5, 42(3)14--14, 43(3)10--10
-
Doallo, Ramon, 30(6)32--32
-
Doallo, Ramon, see Arenaz, Manuel
-
Document, 7(1)62--79
-
documentation, 7(1)37--61, 8(4)524--546, 8(4)547--576, 8(4)577--608,
10(1)118--155, 32(5)19--19
-
documents, 20(3)635--678, 20(5)980--1013, 34(2)10--10
-
documents-based, 41(2)12--12
-
Dodds, Mike, 35(2)8--8, 38(2)4--4
-
Dodds, Mike, see Botincan, Matko
-
Dodds:2016:VCS, 38(2)4--4
-
Dodero, G., 13(1)150--178
-
Dodero, G., see Ancona, M.
-
doesn't, 28(5)848--907
-
doing, 31(3)12--12, 31(5)19--19, 38(2)6--6
-
Dolby, Julian, 34(1)4--4
-
Dolby:2012:DCA, 34(1)4--4
-
dolce, 32(4)10--10
-
Dolev, 16(3)939--953
-
Dolev, Danny, 16(3)939--953
-
Dolev, Danny, see Afek, Yehuda
-
Dolev, Shlomi, 31(6)22--22
-
Dolev:2009:SSP, 31(6)22--22
-
Dollars, 44(3)14--14
-
DOM, 34(2)10--10
-
domain-specific, 32(2)4--4, 37(4)12--12, 39(1)5--5, 39(3)11--11,
40(3)10--10, 42(3)12--12, 42(4)18--18
-
domains., 16(1)35--101
-
dominance, 17(3)487--506, 24(5)455--490, 29(4)19--19
-
dominant, 39(4)16--16
-
dominator, 1(1)121--141, 19(2)239--252, 20(6)1265--1296, 24(5)455--490,
27(3)383--387
-
don't, 4(2)179--195, 39(2)6--6
-
don't-care, 4(2)179--195
-
don't-know, 16(1)3--34
-
Donahue, James, 7(3)426--445
-
Donahue, James E., 1(1)98--114
-
Donahue, James E., see Constable, Robert L.
-
Donahue:1985:DTV, 7(3)426--445
-
Donaldson, Alastair F., 37(3)10--10
-
Donaldson, Alastair F., see Betts, Adam
-
done, 4(4)650--667, 8(4)419--490, 10(2)248--266, 16(3)328--369,
17(2)233--263, 17(4)600--634, 17(5)691--703, 18(6)683--710,
20(1)208--258, 20(4)869--916, 21(1)46--89, 22(2)187--223,
30(4)19--19, 31(3)9--9, 32(3)9--9, 43(2)8--8
-
DOsualdo:2021:TLC, 43(4)16--16
-
dot, 16(5)1411--1430
-
double-precision, 14(4)574--588
-
Douence, Rémi, 20(2)344--387
-
Douence:1998:SSF, 20(2)344--387
-
Douillet, Alban, 30(4)23--23
-
Douillet, Alban, see Rong, Hongbo
-
Dovier, Agostino, 22(5)861--931
-
Dovier:2000:SCL, 22(5)861--931
-
down, 7(2)183--213, 18(4)355--400, 28(1)70--105, 34(1)1--1, 34(1)4--4,
34(2)7--7, 41(4)21--21, 43(1)2--2, 44(3)14--14
-
down, Top-, 10(3)403--419, 15(5)876--895, 42(2)8--8, 43(1)2--2
-
down, top-, 4(2)149--178, 9(2)125--163, 20(4)707--723,
43(1)2--2
-
downcast, 30(6)33--33
-
downloaded, 32(3)8--8, 39(2)7--7
-
downtime, 36(4)13--13
-
downward, 20(5)1067--1109, 22(1)1--44
-
DPC, 22(6)1002--1036
-
DPella, 43(2)6--6
-
dramatically, 19(6)1031--1052, 23(2)105--186, 32(1)3--3, 39(4)17--17
-
drastically, 28(1)1--69
-
draw, 31(4)16--16, 37(4)11--11, 39(4)14--14, 40(4)16--16
-
drawback, 4(4)668--677, 9(3)408--440, 20(1)51--115, 22(2)187--223
-
drawings, 4(4)687--710
-
drawn, 37(3)10--10, 38(3)11--11
-
Drechsler, Karl-Heinz, 10(4)635--640
-
Drechsler:1988:TCS, 10(4)635--640, 11(4)666--668
-
Dreyer, Derek, 35(1)2--2
-
Dreyer, Derek, see Rossberg, Andreas
-
DRF, 38(4)16--16
-
drf, 38(4)16--16
-
Driesen, 30(6)33--33
-
Drini{\'c}, Milenko, 29(1)3--3
-
Drinic:2007:PPC, 29(1)3--3
-
drinking, 6(4)632--646, 10(1)178--188
-
drive, 18(4)424--453, 21(5)977--1027, 31(6)23--23
-
Drive, Table-, 2(1)18--41
-
driven, 5(2)236--264, 7(4)560--599, 38(3)11--11, 40(3)9--9, 40(4)16--16
-
driven, analysis-, 28(4)715--746
-
Driven, Compiler-, 38(2)5--5
-
driven, compiler-, 38(2)5--5
-
Driven, Data-, 9(4)599--617, 9(4)618--645, 41(2)13--13
-
driven, data-, 8(1)109--139, 41(2)13--13
-
Driven, Demand-, 7(2)311--333, 8(1)109--139, 8(1)140--141,
17(1)85--122, 41(3)14--14
-
driven, Demand-, 18(6)683--710, 41(3)14--14
-
driven, demand-, 8(1)109--139, 17(1)85--122, 18(6)683--710,
19(6)992--1030, 30(6)32--32, 41(3)14--14, 42(2)8--8
-
driven, event-, 19(2)386--412
-
driven, narrowing-, 20(4)768--844
-
driven, Policy-, 30(6)30--30
-
driven, profile-, 21(5)1028--1075
-
driven, table-, 4(1)21--36
-
driven, trace-, 14(2)265--297
-
Driven, Type-, 40(4)16--16
-
driven, ``Type-, 42(2)11--11
-
driver, 33(1)3--3, 36(4)14--14
-
Driver, Device-, 32(6)23--23
-
driver, device-, 32(6)23--23
-
drop, 16(3)924--938
-
Drossopoulou, S., 29(2)13--13
-
Drossopoulou, S., see Ancona, D.
-
Drossopoulou, Sophia, 24(2)153--191, 33(6)20--20
-
Drossopoulou, Sophia, see Dietl, Werner
-
Drossopoulou:2002:MDO, 24(2)153--191
-
drug, 40(3)10--10
-
DSL, 30(6)31--31, 42(3)12--12
-
DSLs, 30(6)31--31, 42(2)7--7
-
DSP, 18(3)235--253
-
DSU, 36(4)13--13
-
dual-objective, 38(3)11--11
-
dual-socket, 35(1)3--3
-
duality, 31(4)13--13, 32(1)3--3
-
Dually, 30(6)34--34
-
Duan, Runyao, 34(4)17--17
-
Duan, Runyao, see Feng, Yuan
-
dubbed, 40(4)17--17
-
Dubuque, A., 4(4)585--600
-
Dubuque, A., see Gergeron, J.
-
Ducasse, Stéphane, 28(2)331--388
-
Ducasse:2006:TMF, 28(2)331--388
-
Ducournau, Roland, 30(6)33--33
-
Ducournau:2008:PHA, 30(6)33--33
-
due, 4(1)44--82, 15(5)771--794, 16(3)305--327, 16(4)1156--1214,
16(5)1399--1410, 17(4)561--575, 18(4)477--518, 19(3)525--555,
19(6)853--898, 20(3)586--634, 20(6)1111--1130, 21(2)175--188,
27(6)1049--1096, 28(2)331--388, 28(5)908--941, 28(5)942--965,
31(1)1--1, 31(1)4--4, 32(3)9--9, 32(4)15--15, 32(5)17--17,
32(5)18--18, 34(1)5--5, 34(2)10--10, 35(1)3--3, 35(4)14--14,
36(1)3--3, 38(3)8--8, 38(3)12--12, 38(4)16--16, 40(1)3--3,
41(2)13--13, 41(3)17--17, 41(4)21--21, 42(3)15--15, 44(2)10--10,
45(2)10--10, 45(3)16--16
-
Duesterwald, Evelyn, 19(6)992--1030
-
Duesterwald:1997:PFD, 19(6)992--1030
-
Duggan, Dominic, 21(1)11--45, 24(6)711--804
-
Duggan:1999:DTD, 21(1)11--45
-
Duggan:2002:TSL, 24(6)711--804
-
Dujardin, Eric, 20(1)116--165
-
Dujardin:1998:FAC, 20(1)116--165
-
Dulli, S., 12(2)253--302
-
Dulli, S., see Bossi, A.
-
Dummy, 10(2)267--281
-
Dumortier, V., 18(5)564--614
-
Dumortier, V., see de la Banda, M. Garcia,
see Garcia De La Banda, M.
-
Dunfield, 42(1)2--2
-
Dunfield, Jana, 45(4)22--22
-
Dunfield, Jana, see Economou, Dimitrios J.
-
Dunlop, Douglas D., 7(1)137--158
-
Dunlop:1985:GSU, 7(1)137--158
-
duplicate, 14(3)417--461, 19(6)1031--1052, 34(3)14--14
-
duplication, 19(6)853--898, 37(4)11--11
-
Durier, Adrien, 43(4)14--14
-
Durier, Adrien, see Abate, Carmine
-
during, 2(3)321--337, 3(2)126--143, 4(2)226--238, 4(2)239--257,
4(4)585--600, 4(4)601--614, 7(2)183--213, 13(2)269--290, 14(1)1--27,
14(1)28--53, 14(4)490--520, 16(3)305--327, 16(3)607--648,
17(2)394--429, 17(4)672--689, 20(3)635--678, 20(4)869--916,
20(5)980--1013, 21(5)977--1027, 21(6)1196--1250, 22(5)932--972,
22(6)1037--1080, 27(6)1097--1146, 27(6)1147--1215, 28(5)908--941,
30(6)30--30, 30(6)32--32, 31(3)9--9, 32(2)4--4, 32(4)15--15,
32(5)17--17, 33(4)14--14, 34(1)2--2, 34(3)13--13, 38(2)5--5,
38(2)6--6, 38(2)7--7, 38(4)16--16, 39(2)9--9, 41(3)16--16,
42(3)15--15
-
Dürre, Karl, 6(4)546--572, see Dencker, Peter
-
Dutchyn, Christopher, 26(5)890--910
-
Dutchyn, Christopher, see Wand, Mitchell
-
Dwyer, Matthew B., 29(5)27--27
-
Dwyer, Matthew B., see Ranganath, Venkatesh Prasad
-
Dybvig, R. Kent, 20(4)845--868
-
Dybvig, R. Kent, see Ashley, J. Michael
-
DyC, 22(5)932--972
-
Dyck, 44(2)11--11
-
Dyck, Interleaved-, 44(2)11--11
-
DYLAN, 30(5)28--28
-
Dylan, 20(1)116--165
-
DYMOL, 7(3)380--403
-
dynamic, elasticity-, 41(3)15--15
-
dynamic, static-to-, 40(4)16--16
-
dynamic-linking, 27(6)1049--1096
-
dynamically, 8(4)419--490, 9(2)235--256, 13(2)237--268, 16(3)954--985,
18(4)355--400, 19(1)87--152, 20(3)586--634, 20(6)1111--1130,
22(5)932--972, 27(6)1049--1096, 28(4)715--746, 28(5)848--907,
31(1)2--2, 32(2)6--6, 32(3)8--8, 32(6)23--23, 36(4)12--12,
37(4)13--13, 40(4)16--16, 41(1)1--1, 41(3)18--18, 44(4)25--25
-
dynamically-typed, 40(2)8--8
-
DySER, 37(1)2--2