Index file section F for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
F
-
F, 16(3)607--648, 21(3)527--568, 23(2)105--186, 42(1)2--2, 44(4)23--23
-
F\#, 31(1)5--5, 31(3)12--12
-
F-bounded, 18(4)401--423
-
F-definition, 14(2)127--144
-
F-definitions, 14(2)127--144
-
F.1.1, 11(1)147--167, 11(2)330--344, 12(1)84--101, 12(2)303--339,
13(3)295--314, 13(3)399--442, 16(3)493--523, 16(3)843--871,
16(5)1449--1466, 16(6)1842--1874, 18(5)528--563, 19(4)617--638,
20(2)259--273
-
F.1.2, 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(4)562--584,
12(2)203--223, 12(3)463--492, 15(3)563--573, 15(5)771--794,
16(3)924--938, 17(2)366--393, 18(3)268--299, 18(3)325--353,
19(6)899--915, 21(2)240--285, 21(3)569--626
-
F.1.3, 15(4)632--658, 17(4)600--634, 18(5)528--563
-
F.2.0, 17(6)805--843, 21(1)138--173, 21(3)417--429
-
F.2.2, 7(2)348--357, 10(1)1--50, 11(1)33--56, 11(1)57--66, 11(3)404--417,
11(4)491--516, 11(4)562--584, 11(4)585--597, 12(1)84--101,
12(2)203--223, 13(3)399--442, 15(2)312--336, 15(4)632--658,
16(4)1117--1155, 16(5)1472--1511, 17(2)331--365, 17(3)487--506,
18(5)528--563, 20(2)259--273, 20(6)1265--1296, 21(4)790--812
-
F.3.0, 14(2)145--146, 21(3)417--429
-
f.3.2, 7(2)270--298, 7(2)299--310, 7(2)311--333, 7(3)359--379,
7(3)426--445, 7(4)637--655, 7(4)656--679, 8(1)109--139,
8(1)140--141, 8(2)185--214, 8(4)547--576, 9(1)54--99, 9(3)408--440,
9(3)441--462, 10(1)118--155, 10(3)470--502, 10(4)602--626,
11(4)517--561, 11(4)650--665, 12(1)123--134, 12(1)139--141,
12(3)429--462, 13(2)237--268, 13(2)269--290, 13(3)315--341,
13(4)577--625, 14(1)107--125, 14(2)147--172, 14(4)589--616,
15(1)133--181, 15(1)206--208, 15(2)211--252, 15(4)575--631,
15(4)681--705, 16(3)328--369, 16(3)456--492, 16(3)605--606,
16(3)607--648, 16(3)649--686, 16(3)1024--1050, 16(4)1081--1096,
16(4)1215--1247, 16(4)1361--1398, 16(5)1411--1430, 16(6)1875--1903,
17(1)47--62, 17(2)366--393, 17(5)777--803, 18(6)711--729,
18(6)730--751, 19(1)48--86, 19(2)334--385, 19(3)427--443,
19(5)639--684, 19(5)685--725, 19(5)751--803, 19(5)804--851,
19(6)916--941, 20(1)1--50, 20(5)1014--1066, 20(5)1067--1109,
21(1)90--137, 21(3)527--568, 22(2)340--377, 22(3)540--582,
22(4)701--771, 22(6)1037--1080, 23(2)105--186
-
f.3.3, 7(2)311--333, 7(4)622--636, 7(4)637--655, 7(4)680--685,
8(1)109--139, 8(1)140--141, 9(3)390--407, 9(3)441--462,
9(4)646--685, 10(1)87--117, 11(1)67--89, 11(1)115--146,
11(3)418--450, 11(4)633--649, 12(1)26--60, 12(3)341--395,
13(2)237--268, 13(4)631--632, 14(1)107--125, 14(4)589--616,
15(2)211--252, 15(2)253--289, 15(2)290--311, 15(2)312--336,
15(4)575--631, 16(3)524--576, 16(3)607--648, 16(5)1411--1430,
16(6)1811--1841, 17(3)431--447, 17(4)576--599, 17(6)805--843,
18(1)1--15, 18(2)109--138, 18(3)254--267, 18(3)268--299,
18(5)519--527, 18(6)730--751, 19(1)87--152, 19(2)223--238,
19(3)427--443, 19(3)444--461, 19(4)557--567, 20(1)1--50,
20(3)546--585, 20(4)707--723, 20(4)724--767, 20(5)1014--1066,
20(6)1251--1264, 21(1)90--137, 21(2)370--416, 21(3)527--568,
21(6)1196--1250, 22(2)340--377, 22(4)701--771, 22(6)1037--1080
-
F.4, 22(5)861--931
-
F.4.0, 14(2)145--146, 14(3)339--395
-
f.4.1, 7(2)270--298, 7(2)299--310, 8(2)244--263, 8(3)406--407,
9(1)100--120, 9(4)618--645, 11(1)67--89, 11(3)418--450,
11(3)451--481, 11(4)633--649, 11(4)650--665, 12(1)123--134,
13(1)99--123, 13(4)577--625, 14(1)54--106, 14(2)147--172,
14(3)396--416, 14(4)521--573, 14(4)589--616, 15(1)206--208,
15(2)211--252, 15(2)253--289, 15(2)290--311, 15(3)535--562,
15(4)575--631, 15(4)706--734, 16(3)493--523, 16(3)605--606,
16(3)607--648, 16(3)687--726, 16(4)1081--1096, 16(4)1361--1398,
16(5)1467--1471, 17(6)844--895, 18(3)235--253, 18(6)730--751,
19(1)1--6, 19(2)386--412, 19(6)899--915, 19(6)916--941,
20(1)208--258, 20(2)344--387, 20(3)586--634, 20(5)1067--1109,
21(3)677--701, 22(1)162--186, 22(2)416--430, 22(5)861--931
-
F.4.2, 7(1)159--175, 8(2)264--271, 8(4)547--576, 9(4)473--490,
9(4)543--566, 10(2)338--342, 10(3)345--373, 11(2)169--193,
11(4)491--516, 12(1)26--60, 12(1)61--83, 12(1)123--134,
12(3)429--462, 12(4)610--640, 13(1)150--178, 13(2)269--290,
13(3)295--314, 15(3)535--562, 16(3)493--523, 16(3)1024--1050,
16(3)1051--1077, 17(2)228--232, 17(2)293--330, 18(1)73--108,
21(6)1077--1136, 22(2)224--264
-
F.4.3, 8(2)264--271, 10(3)374--402, 11(4)562--584, 15(4)575--631,
16(3)1051--1077, 16(5)1467--1471, 16(5)1613--1647, 17(1)47--62,
17(4)576--599, 19(1)1--6, 22(1)162--186
-
F50, 22(2)265--295
-
Facchinetti, Leandro, 41(3)14--14
-
Facchinetti:2019:HOD, 41(3)14--14
-
face, 22(3)471--489, 30(2)8--8, 39(2)7--7, 40(4)16--16
-
faced, 35(1)4--4
-
faceted, 39(3)10--10
-
facets, 14(2)201--264, 31(6)20--20, 39(3)10--10
-
facilitate, 8(4)419--490, 9(2)125--163, 16(5)1648--1659, 17(1)63--84,
19(3)492--524, 19(6)1053--1084, 28(2)207--255, 30(4)20--20,
30(4)22--22, 35(1)2--2, 36(4)13--13, 40(3)10--10, 41(1)1--1,
42(3)14--14, 44(4)25--25
-
facilities--notably, 10(2)189--203
-
facility, 4(2)125--148, 8(4)419--490, 8(4)577--608, 10(2)204--214,
14(1)107--125, 16(3)305--327, 17(5)704--739, 22(6)1037--1080,
30(6)31--31
-
facing, 27(6)1097--1146
-
fact, 4(2)283--294, 14(1)107--125, 15(5)795--825, 17(2)181--196,
17(2)233--263, 19(4)568--585, 19(6)992--1030, 21(4)703--746,
22(1)162--186, 23(1)1--29, 28(4)747--793, 31(3)12--12, 31(6)21--21,
33(3)9--9, 36(1)4--4, 39(2)7--7, 39(3)10--10, 40(3)13--13
-
facto, 20(4)707--723, 41(2)12--12
-
factor, 8(1)50--87, 10(2)215--247, 12(2)143--177, 14(2)173--200,
18(2)175--234, 20(6)1265--1296, 21(2)240--285, 21(4)703--746,
30(3)12--12, 31(2)8--8, 33(6)21--21, 34(3)13--13, 38(3)11--11,
38(3)12--12, 41(3)19--19
-
factor, integer-, 16(6)1768--1810
-
factored, 17(1)85--122, 19(3)462--491, 21(3)627--676, 22(2)378--415
-
factoring, 7(1)159--175, 18(4)355--400, 18(5)528--563
-
factorization, 7(1)159--175, 21(5)948--976, 22(3)471--489
-
factorized, 22(3)540--582
-
factory, 38(3)8--8
-
fail, 4(2)125--148, 15(5)771--794, 16(3)649--686, 16(4)1248--1278,
18(5)615--647, 19(3)525--555, 20(6)1223--1250, 21(1)11--45,
21(2)370--416, 21(4)703--746, 32(5)17--17, 37(4)12--12
-
failed, 34(2)7--7
-
failing, 16(3)986--1009, 31(3)9--9, 39(1)4--4
-
failure, 5(1)56--65, 9(2)235--256, 12(2)224--252, 14(1)107--125,
16(4)1081--1096, 16(4)1248--1278, 17(3)535--559, 17(4)672--689,
21(1)1--10, 30(2)8--8, 32(3)9--9, 32(5)17--17, 39(4)17--17,
41(1)2--2, 41(3)15--15
-
failure, IOT-, 20(5)917--979
-
Failure-Free, 6(2)239--253
-
fair, 4(4)668--677, 6(4)632--646, 16(3)924--938, 17(1)16--27,
19(4)617--638, 20(6)1171--1194, 22(1)87--128, 29(3)15--15
-
fairly, 4(4)650--667, 14(1)1--27, 18(2)175--234
-
fairness, 4(3)455--495, 6(4)632--646, 10(3)420--455, 16(2)259--303,
16(3)924--938, 17(1)16--27, 19(4)617--638, 20(6)1171--1194
-
Falaschi, Moreno, 16(3)649--686, 20(4)768--844
-
Falaschi, Moreno, see Alpuente, María,
see Codish, Michael
-
FALCON, 21(2)286--323
-
Falke, Stephan, 38(4)13--13
-
Falke, Stephan, see Brockschmidt, Marc
-
fall, 6(4)527--545, 34(1)3--3, 35(3)9--9, 37(4)11--11
-
fallen, 39(4)14--14
-
falling, 21(3)677--701
-
Falsafi, Babak, 28(5)942--965
-
Falsafi, Babak, see Kim, Seon Wook
-
false, 15(5)771--794, 38(2)6--6, 39(1)3--3, 39(4)16--16
-
false-positive, 32(6)23--23
-
falsify, 20(6)1251--1264
-
familiar, 4(4)733--757, 7(2)183--213, 13(1)52--98, 13(1)124--149,
34(1)2--2, 41(1)2--2
-
familiarity, 4(1)1--20
-
family, 11(2)212--248, 14(3)339--395, 16(6)1811--1841, 17(2)331--365,
18(5)615--647, 19(5)726--750, 22(4)638--672, 23(2)105--186,
33(4)12--12, 35(1)5--5, 39(4)18--18, 40(3)12--12, 41(1)2--2
-
famous, 35(1)5--5
-
Fan, Hongyu, 45(1)6--6
-
Fan:2023:SMO, 45(1)6--6
-
far, 13(1)21--51, 13(2)181--210, 18(3)254--267, 18(6)752--779,
22(4)583--637, 22(4)638--672, 38(2)4--4, 39(1)4--4
-
far-reaching, 14(2)173--200
-
Farkas, 41(4)20--20
-
Farmer, William M., 12(1)123--134
-
Farmer:1990:CPC, 12(1)123--134
-
Faro, Alberto, 11(2)284--329
-
Faro, Alberto, see Carchiolo, Vincenza
-
Farzan, Azadeh, 43(4)16--16
-
Farzan, Azadeh, see D'Osualdo, Emanuele
-
fashion, 16(3)577--604, 30(6)31--31, 43(1)3--3
-
Fashioned, Old-, 16(5)1543--1571
-
fast, 1(1)121--141, 16(6)1737--1767, 17(5)740--776, 17(6)896--937,
18(4)424--453, 20(1)116--165, 20(1)166--207, 20(6)1195--1222,
21(2)286--323, 21(3)430--501, 21(5)895--913, 22(5)816--860,
26(2)263--300, 26(6)938--974, 27(3)426--440, 28(1)106--133,
28(4)696--714, 28(4)715--746, 28(5)942--965, 29(2)11--11,
30(3)17--17, 32(4)15--15, 33(6)21--21, 36(4)13--13, 38(1)1--1,
39(2)9--9, 44(2)11--11, 45(1)1--1
-
faster, 13(1)1--20, 13(2)181--210, 14(2)173--200, 16(5)1431--1448,
17(5)740--776, 18(4)355--400, 18(4)424--453, 18(6)752--779,
19(3)492--524, 20(3)586--634, 20(5)980--1013, 20(6)1251--1264,
21(2)286--323, 21(5)895--913, 23(2)105--186, 28(3)476--516,
28(4)577--618, 30(4)21--21, 31(6)20--20, 32(1)3--3, 35(4)13--13,
36(1)4--4, 41(1)6--6, 41(4)23--23
-
fastest, 3(2)126--143, 13(2)181--210
-
fat-trees, 17(1)123--156
-
fatal, 40(3)10--10
-
Fateman, Richard J., 4(2)239--257
-
Fateman:1982:HLL, 4(2)239--257
-
Fauconnier, Hugues, 17(1)157--179
-
Fauconnier, Hugues, see Charron-Bost, Bernadette
-
fault, 4(3)382--401, 27(6)1344--1395, 31(6)22--22, 32(5)17--17,
34(4)17--17, 41(3)15--15
-
Fault-Tolerance, 15(1)182--205, 21(1)46--89
-
fault-tolerance, 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
-
Fault-Tolerant, 6(2)254--280, 17(3)535--559
-
fault-tolerant, 21(1)46--89, 26(1)125--185
-
faulty, 4(3)382--401, 20(6)1171--1194
-
Faust, Sebastian, 45(3)17--17
-
Faust, Sebastian, see Richter, David
-
favor, 6(4)632--646, 39(4)14--14
-
favorable, 6(4)632--646
-
favorably, 14(2)265--297, 30(5)28--28, 40(3)9--9
-
favored, 6(4)632--646
-
favoring, 21(6)1077--1136
-
FD, 27(2)236--263
-
FDD, 8(4)524--546
-
FDDs, 8(4)524--546
-
FDR, 32(4)14--14
-
Fé, 11(4)598--632
-
feasibility, 7(2)183--213, 16(5)1472--1511, 17(2)197--216,
27(6)1147--1215, 40(1)3--3, 43(1)2--2
-
feasible, 13(1)150--178, 21(1)46--89, 23(1)73--103, 43(1)2--2
-
Feather, Martin S., 4(1)1--20, 9(2)198--234
-
Feather:1982:SAP, 4(1)1--20
-
Feather:1987:LSS, 9(2)198--234
-
FeatherTrait, 30(2)11--11
-
Featherweight, 23(3)396--450, 24(2)112--152, 28(5)795--847, 30(2)11--11,
31(2)7--7, 36(4)12--12
-
Featherweight, language-, 36(4)12--12
-
feature-oriented, 32(5)19--19
-
feature-removal, 36(2)5--5
-
Feature-Specific, 41(1)4--4
-
feature-specific, 41(1)4--4
-
feature., 31(2)7--7
-
feedback, 14(1)1--27, 16(4)1248--1278, 18(4)355--400, 29(1)2--2,
33(4)14--14, 34(4)15--15, 39(4)14--14
-
feedback-directed, 28(1)70--105, 30(3)17--17
-
feedback., 16(4)1248--1278
-
Feeding, 8(1)140--141
-
Felleisen, Matthias, 21(2)370--416, 26(6)1029--1052, 33(5)16--16,
35(3)11--11, 41(1)4--4, 45(1)4--4
-
Felleisen, Matthias, see Andersen, Leif,
see Clements, John,
see Dimoulas, Christos,
see Flanagan, Cormac, \see{Greenman, Ben,
see Strickland, T. Stephen
-
fence, 27(6)1097--1146, 39(2)6--6
-
Feng, Xinyu, 36(1)3--3
-
Feng, Xinyu, see Liang, Hongjin
-
Feng, Yuan, 34(4)17--17
-
Feng:2012:BQP, 34(4)17--17
-
Fernández, Agustín, 24(4)409--453,
see Jiménez, Marta
-
Fernández, Antonio J., 26(1)1--46
-
Fernández, Luis Sánchez, 19(4)586--616,
see Breuer, Peter T.
-
Fernández, Mary F., 19(3)492--524, see Ramsey, Norman
-
Fernandez:2004:ICS, 26(1)1--46
-
Ferrante, Jeanne, 9(3)319--349, 13(4)451--490, 16(4)1097--1113,
17(3)487--506
-
Ferrante, Jeanne, see Choi, Jong-Deok,
see Cytron, Ron K., \see{Cytron, Ron
-
Ferrante:1987:PDG, 9(3)319--349
-
Ferrara, Pietro, 41(3)18--18
-
Ferrara, Pietro, see Spoto, Fausto
-
Ferrari, Gian-Luigi, 31(6)23--23
-
Ferrari, Gian-Luigi, see Bartoletti, Massimo
-
fetch, 21(5)977--1027, 22(1)129--161
-
fetch\&add, 13(1)124--149
-
Fetscher, Burke, 40(3)10--10
-
Fetscher, Burke, see Florence, Spencer P.
-
few, 8(4)491--523, 9(4)473--490, 14(1)107--125, 14(2)147--172,
16(3)305--327, 17(5)740--776, 18(2)139--174, 18(3)235--253,
20(4)869--916, 20(5)1067--1109, 20(6)1131--1170, 20(6)1265--1296,
22(3)471--489, 22(3)506--539, 28(4)747--793, 31(6)20--20,
34(4)17--17, 35(1)5--5, 36(4)13--13, 39(1)3--3, 39(4)14--14,
41(3)19--19, 44(3)14--14
-
fewer, 4(3)382--401, 4(4)615--649, 16(2)205--258, 19(6)853--898,
20(2)302--343, 28(2)207--255, 34(1)1--1, 36(4)14--14
-
FFI, 30(4)18--18
-
FFIs, 30(4)18--18
-
FGHC, 16(1)3--34
-
FHE, 45(3)16--16
-
FIAlias, 23(2)105--186
-
Fibonacci, 17(2)293--330, 41(4)20--20
-
Fickle, 24(2)153--191, 29(2)13--13
-
fide, 16(3)456--492
-
Fidge, C. J., 15(4)681--705
-
Fidge:1993:FDP, 15(4)681--705
-
Fiech, Adrian, 25(2)225--290
-
Fiech, Adrian, see Bruce, Kim B.
-
field, 15(4)659--680, 16(4)1081--1096, 19(3)492--524, 22(3)540--582,
27(1)126--162, 28(5)795--847, 29(5)29--29, 30(4)20--20, 30(5)28--28,
31(4)15--15, 32(2)5--5, 34(1)4--4, 35(4)14--14, 38(4)15--15,
40(3)12--12, 40(4)15--15
-
Field, J., 19(5)639--684
-
Field, J., see Bergstra, J. A.
-
field-based, 30(1)4--4
-
field-insensitive, 30(1)4--4, 35(1)5--5
-
field-sensitive, 30(1)4--4, 35(1)5--5, 41(3)16--16, 41(3)18--18
-
FIFO, 11(1)90--114
-
fifteen, 28(4)696--714, 31(6)20--20
-
file, 4(4)527--551, 9(2)277--295, 9(3)408--440, 16(3)775--797,
41(2)12--12, 41(3)18--18
-
File, Gilberto, 19(1)7--47
-
File, Gilberto, see Cortesi, Agostino
-
file, object-, 16(6)1699--1718
-
files, 4(4)585--600, 9(2)277--295, 16(3)775--797, 16(6)1699--1718,
29(1)3--3, 30(6)30--30, 37(1)4--4, 41(2)12--12, 41(3)18--18
-
files?, 16(6)1699--1718
-
Filkov, 41(4)21--21
-
filled, 16(3)954--985
-
filter, 22(1)162--186, 31(5)19--19
-
filtered, 14(3)339--395
-
filtering, 16(4)1279--1318, 19(3)462--491, 22(1)162--186
-
fin, 20(6)1171--1194
-
final, 4(3)362--381, 5(1)97--121, 5(3)405--421, 15(5)771--794,
16(3)775--797, 16(5)1431--1448, 16(6)1842--1874, 19(6)942--991,
20(3)483--545, 20(3)546--585, 20(4)869--916, 41(3)16--16
-
finally, 4(4)615--649, 11(4)598--632, 13(2)237--268, 14(3)339--395,
15(4)632--658, 16(3)687--726, 17(1)63--84, 17(1)157--179,
17(4)561--575, 18(1)1--15, 18(5)564--614, 20(1)116--165,
20(1)208--258, 20(4)768--844, 21(2)175--188, 22(2)187--223,
27(6)1097--1146, 27(6)1270--1343, 27(6)1344--1395, 28(4)696--714,
30(1)4--4, 30(2)8--8, 30(4)24--24, 30(6)32--32, 31(2)7--7, 31(2)8--8,
32(2)4--4, 32(3)9--9, 34(1)2--2, 36(1)1--1, 36(2)7--7, 36(4)13--13,
37(3)9--9, 37(4)11--11, 38(1)2--2, 38(3)8--8, 39(4)15--15, 40(1)4--4,
40(2)7--7, 41(2)8--8, 43(1)2--2, 43(1)4--4
-
finally, try-, 21(1)90--137
-
finance, 39(1)5--5
-
financial, 14(2)201--264, 45(3)17--17
-
find, 4(3)382--401, 14(4)589--616, 16(3)428--455, 16(3)607--648,
16(3)1024--1050, 16(4)1248--1278, 16(4)1319--1360, 16(5)1399--1410,
17(2)293--330, 18(1)30--72, 18(4)424--453, 18(5)615--647,
18(6)659--682, 19(6)853--898, 19(6)1031--1052, 20(3)483--545,
20(4)869--916, 20(6)1265--1296, 21(4)703--746, 29(1)2--2, 31(3)9--9,
32(4)15--15, 32(6)23--23, 34(3)11--11, 36(2)7--7, 36(3)10--10,
36(4)13--13, 37(1)2--2, 38(2)6--6, 38(3)12--12, 38(4)13--13,
40(1)3--3, 41(1)2--2, 41(1)4--4, 41(2)13--13, 42(2)9--9, 44(2)6--6,
44(2)9--9, 45(2)13--13
-
find, hard-to-, 30(4)18--18
-
finder, 18(5)615--647
-
finding, 1(1)121--141, 4(4)601--614, 4(4)758--762, 6(3)380--401,
12(1)84--101, 16(3)524--576, 16(4)1319--1360, 17(1)123--156,
17(4)576--599, 17(4)600--634, 17(4)672--689, 20(2)302--343,
22(3)540--582, 30(2)8--8, 31(6)20--20, 35(2)7--7, 38(3)11--11,
38(3)12--12, 38(4)13--13, 39(2)9--9, 40(2)5--5, 42(3)14--14
-
finding, error-, 16(3)607--648
-
finding, interval-, 18(6)649--658, 21(2)175--188
-
Findler, Robert Bruce, 31(3)12--12, 40(3)10--10
-
Findler, Robert Bruce, see Florence, Spencer P.,
see Matthews, Jacob
-
fine, 31(4)13--13
-
Fine-Grained, 37(1)4--4, 44(3)14--14
-
fine-grained, 11(4)598--632, 21(1)138--173, 22(3)540--582,
28(2)331--388, 35(1)2--2, 35(2)8--8, 36(3)10--10, 37(1)4--4,
37(4)12--12, 39(3)11--11, 40(3)12--12, 41(3)19--19, 43(4)16--16
-
fine-tuning, 15(4)681--705
-
fined, 13(1)99--123
-
fingerprint, 29(6)35--35
-
fingerprinting, 29(6)35--35
-
finish, 35(1)3--3
-
finish-elimination, 35(1)3--3
-
finitary, 20(6)1171--1194, 41(2)11--11
-
finite, 4(3)402--454, 8(1)154--182, 11(4)491--516, 11(4)633--649,
13(1)124--149, 13(3)399--442, 13(4)633--633, 14(4)490--520,
14(4)574--588, 15(1)133--181, 15(4)659--680, 15(5)745--770,
16(2)259--303, 16(3)1024--1050, 16(4)1081--1096, 16(6)1661--1674,
18(6)730--751, 19(6)992--1030, 20(1)1--50, 20(1)51--115,
22(4)638--672, 22(5)861--931, 31(1)2--2, 32(6)24--24, 36(2)5--5,
36(3)9--9, 38(1)1--1, 40(2)5--5, 40(2)7--7, 45(1)1--1, 45(3)19--19
-
finite-data, 34(1)6--6, 35(3)10--10, 36(4)14--14
-
finite-precision, 39(2)8--8
-
finite-sets-of-d, 4(4)711--732
-
Finite-State, 8(2)244--263, 12(2)303--339, 34(2)7--7
-
finite-state, 15(1)36--72, 16(3)843--871, 20(6)1171--1194,
21(4)747--789, 22(6)973--1001, 30(5)29--29, 33(5)15--15, 34(1)6--6,
34(2)7--7, 44(2)8--8
-
Finite-State-Machine, 7(1)10--36
-
finite-time, 14(4)521--573
-
Finkel, Raphael, 9(2)235--256
-
Finkel:1987:DDI, 9(2)235--256
-
Finlay, Alan, 15(1)206--208
-
Finlay:1993:TCC, 11(4)650--665, 15(1)206--208
-
Finocchi, Irene, 37(1)3--3
-
Finocchi, Irene, see Demetrescu, Camil
-
Firefox, 38(3)9--9
-
firing-dependence, 20(5)917--979
-
FIRST, 13(1)150--178
-
first, depth-, 19(4)557--567
-
First, Emily, 45(2)12--12
-
First, Emily, see Sanchez-Stern, Alex
-
first, Local-, 46(1)2--2
-
First-Class, 14(4)471--489, 16(6)1719--1736, 35(3)11--11
-
first-class, 14(4)471--489, 16(5)1411--1430, 18(3)254--267,
22(5)861--931, 26(4)609--651, 28(3)429--475, 34(3)12--12, 35(1)2--2,
35(3)11--11
-
first-come, 16(3)939--953
-
First-Come-First-Served, 13(4)558--576
-
First-Enabled, 16(3)939--953
-
first-enabled, 16(3)939--953
-
First-Fit, 11(3)388--403
-
First-In, 16(3)939--953
-
First-Order, 13(4)577--625, 16(3)954--985, 19(4)568--585
-
first-order, 4(2)258--282, 13(2)269--290, 16(3)954--985,
16(4)1279--1318, 17(2)293--330, 19(4)568--585, 30(5)26--26,
31(3)10--10, 33(5)16--16, 34(1)2--2, 34(3)14--14, 37(2)6--6,
40(2)6--6, 41(3)14--14, 44(4)25--25, 45(2)7--7
-
first-search, depth-, 4(3)362--381
-
First-Served, First-Come-, 13(4)558--576
-
Firstly, 40(2)7--7
-
Fischer, 16(3)939--953
-
Fischer, Bernd, 44(1)1--1
-
Fischer, Bernd, see Inverso, Omar
-
Fischer, Charles, 16(4)1079--1079
-
Fischer, Charles, see Appel, Andrew
-
Fischer, Charles N., 2(2)203--224, 7(4)560--599, 10(3)456--469,
17(5)740--776, 18(6)683--710
-
Fischer, Charles N., see Ganapathi, Mahadevan,
see Kurlander, Steven M.,
see Mauney, Jon, \see{Proebsting, Todd A.
-
Fischer, Michael J., 11(1)90--114
-
Fischer:1980:PCA, 2(2)203--224
-
Fischer:1989:DFA, 11(1)90--114
-
Fischmeister, Sebastian, 38(4)15--15
-
Fischmeister, Sebastian, see Blackburn, Stephen M.
-
Fisher, 33(3)10--10
-
Fisher, Gerald A., 9(2)164--197
-
Fisher, Gerald A., see Burke, Michael G.
-
Fisher, Kathleen, 24(2)111--111, 26(2)301--338
-
Fisher, Kathleen, see Cortes, Corinna
-
Fisher:2002:GE, 24(2)111--111
-
fit, 14(1)28--53, 21(4)813--847, 42(4)17--17
-
Fit, First-, 11(3)388--403
-
five, 17(2)233--263, 19(6)853--898, 21(3)430--501, 30(6)33--33,
31(6)20--20, 37(1)2--2, 39(4)17--17, 41(1)6--6
-
fivefold, 19(6)853--898
-
fix, 27(6)1049--1096, 31(3)9--9, 35(4)12--12, 36(4)13--13
-
fix-point, 23(1)1--29
-
fixed, 14(2)147--172, 16(3)924--938, 17(1)157--179, 17(2)181--196,
17(5)777--803, 18(5)528--563, 19(1)87--152, 20(1)51--115,
22(1)87--128, 22(3)471--489, 31(4)15--15, 34(1)3--3, 35(1)3--3,
36(3)9--9, 37(1)1--1, 37(3)9--9, 38(3)11--11, 41(3)17--17,
41(4)23--23, 44(4)26--26
-
fixed-length, 29(1)3--3
-
Fixed-Order, 20(3)586--634
-
fixed-order, 20(3)586--634
-
fixed-point, 19(5)751--803, 22(2)187--223, 31(4)15--15, 31(6)21--21,
39(2)8--8, 41(1)6--6
-
fixed-points, 39(2)9--9
-
fixed-priority, 19(3)525--555
-
fixing, 18(5)615--647, 37(3)8--8, 41(4)21--21
-
fixpoint, 15(1)133--181, 16(5)1431--1448, 18(5)564--614, 21(4)747--789,
22(4)638--672, 31(1)2--2, 33(3)11--11
-
fixpoint-based, 33(5)15--15
-
FL, 45(2)7--7
-
flagged, 19(1)87--152
-
flags, 18(2)139--174
-
Flanagan, Cormac, 21(2)370--416, 28(2)207--255, 30(4)20--20, 32(2)6--6,
39(3)10--10
-
Flanagan, Cormac, see Abadi, Martin,
see Austin, Thomas H.,
see Knowles, Kenneth
-
Flanagan:1999:CSB, 21(2)370--416
-
Flanagan:2008:TAS, 30(4)20--20
-
FlashEd, 27(6)1049--1096
-
flat, 16(1)3--34
-
Flatt, Matthew, 40(3)10--10
-
Flatt, Matthew, see Florence, Spencer P.
-
flavors, 39(1)5--5
-
flaw, 17(2)217--227, 36(2)7--7, 41(4)21--21
-
fledged, full-, 33(6)19--19
-
Flexeder, Andrea, 33(6)21--21
-
Flexeder:2011:FIL, 33(6)21--21
-
flexibility, 8(4)419--490, 13(2)211--236, 16(1)151--174, 16(3)328--369,
16(3)456--492, 17(2)264--292, 19(1)153--187, 21(3)502--526,
21(5)914--947, 27(6)1049--1096, 33(1)2--2, 40(2)8--8, 41(3)15--15
-
flexible, 4(1)113--119, 7(3)404--425, 13(3)315--341, 18(1)1--15,
20(4)845--868, 20(5)980--1013, 21(3)502--526, 22(2)378--415,
26(3)578--608, 27(6)1049--1096, 28(5)795--847, 31(2)7--7,
34(4)15--15, 38(4)16--16, 42(3)14--14
-
flight, 29(6)33--33
-
flips, 40(1)3--3
-
flips, Bit-, 40(1)3--3
-
floating, 9(4)491--542, 37(2)5--5
-
Floating-Point, 4(2)239--257, 16(6)1768--1810, 18(2)139--174, 41(1)2--2
-
floating-point, 4(2)239--257, 14(4)574--588, 16(6)1768--1810,
18(2)139--174, 28(5)795--847, 30(3)12--12, 39(2)8--8, 41(1)2--2
-
floating-point-intensive, 22(2)265--295
-
flooring, 14(2)127--144
-
flop, 22(2)265--295
-
Florence, Spencer P., 40(3)10--10
-
Florence:2018:PPP, 40(3)10--10
-
floundering, 16(3)687--726
-
FLOW, 31(3)10--10
-
flow, Control-, 45(2)13--13
-
flow, control-, 16(4)1319--1360, 17(1)47--62, 19(3)462--491,
19(4)568--585, 20(1)166--207, 20(4)845--868, 20(6)1251--1264,
22(2)340--377, 34(2)9--9, 35(4)13--13, 39(2)7--7, 42(1)1--53,
42(2)6--6, 43(1)3--3, 45(2)13--13
-
Flow, Data-, 4(2)226--238, 7(1)37--61, 12(3)341--395
-
flow, Data-, 8(1)109--139, 8(1)140--141, 9(4)599--617,
9(4)618--645, 10(1)1--50, 21(2)240--285, 21(3)569--626, 34(2)9--9
-
flow, data-, 3(2)126--143, 4(1)44--82, 4(2)226--238,
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(6)1251--1297,
22(1)129--161, 22(5)816--860, 30(2)8--8, 34(2)9--9
-
Flow, Information-, 7(1)37--61
-
flow, information-, 30(1)6--6
-
flow-, 19(1)1--6, 41(3)16--16
-
Flow-based, 17(4)576--599
-
flow-/context-insensitive, 23(2)105--186
-
flow-/context-sensitive, 23(2)105--186
-
Flow-Insensitive, 19(1)1--6
-
flow-insensitive, 21(4)848--894, 23(2)105--186, 28(6)1035--1087,
30(4)18--18, 43(1)3--3
-
flow-sensitive, 17(5)777--803, 19(1)1--6, 21(4)848--894, 23(2)105--186,
30(2)8--8, 30(4)18--18, 32(2)4--4, 35(1)5--5, 36(4)12--12, 38(2)6--6,
41(2)13--13, 41(3)18--18, 43(1)3--3
-
flow-sensitive, partially-, 30(3)13--13
-
flow-sensitivity, 30(4)18--18
-
Flowback, 13(4)491--530
-
flowchart, 31(3)10--10, 40(3)10--10
-
flowgraph, 1(1)121--141, 16(4)1117--1155, 20(6)1265--1296,
20(6)1297--1322, 21(2)175--188
-
Floyd--Hoare, 33(6)19--19
-
Fluctuat, 41(1)2--2
-
fly', `on-the-, 40(4)15--15
-
Fly, On-The-, 17(3)487--506
-
fly, On-the-, 6(3)333--344, 40(4)15--15
-
fly, on-the-, 17(3)461--486, 22(2)224--264, 28(1)1--69,
29(4)20--20, 40(4)15--15
-
focus, 13(1)21--51, 13(1)124--149, 16(3)524--576, 17(2)366--393,
20(2)274--301, 21(5)914--947, 21(6)1077--1136, 21(6)1196--1250,
27(6)1147--1215, 30(6)32--32, 31(1)4--4, 31(3)12--12, 35(1)3--3,
36(1)2--2, 38(2)5--5, 40(2)5--5, 40(2)7--7, 41(3)15--15, 41(4)21--21,
41(4)23--23, 43(1)3--3
-
focused, 6(4)546--572, 16(6)1768--1810, 18(5)528--563, 22(2)378--415,
36(1)1--1, 40(4)16--16
-
focusing, 8(4)419--490, 16(1)35--101, 16(3)727--774, 21(1)90--137,
28(2)207--255, 34(2)8--8, 40(2)6--6, 43(1)2--2, 44(4)22--22,
45(4)22--22
-
focussed, 40(1)1--1
-
foil, 34(3)13--13
-
Fokkink, Wan, 20(3)679--706, 22(1)45--86
-
Fokkink:1998:WAR, 20(3)679--706
-
Fokkink:2000:LRE, 22(1)45--86
-
fold, 26(3)464--509, 34(1)2--2
-
fold, four-, 21(2)324--369
-
fold, unfold-, 18(2)175--234
-
foldable, 20(6)1297--1322
-
folding, 18(2)175--234, 38(2)7--7
-
folklore, 18(6)730--751, 20(4)707--723, 39(4)14--14
-
FOLLOW, 19(4)568--585
-
follow, 16(4)1081--1096, 18(2)175--234, 19(1)153--187, 22(4)638--672,
29(1)2--2, 29(6)35--35, 30(3)17--17, 32(4)14--14, 33(4)14--14,
35(4)14--14, 36(3)9--9, 40(2)7--7, 41(3)16--16, 43(3)10--10
-
followed, 7(4)501--538, 14(2)201--264, 18(6)659--682
-
following, 14(2)265--297, 16(3)1024--1050, 16(5)1411--1430,
16(6)1842--1874, 19(3)427--443, 21(4)848--894, 23(1)73--103,
28(4)619--695, 30(6)31--31, 31(3)10--10, 32(5)18--18, 38(2)6--6,
39(4)18--18
-
FOM, 7(4)560--599
-
Fonseca, Alcides, 36(1)2--2
-
Fonseca, Alcides, see Stork, Sven
-
Font, 7(1)62--79
-
Foo, 15(1)206--208, 16(3)605--606
-
Foo, Norman, 11(4)650--665
-
Foo, Norman, see Nicholson, Tim
-
footing, 18(1)1--15
-
footprint, 22(3)471--489, 28(5)908--941, 32(4)11--11, 38(3)9--9,
38(3)11--11
-
FOP, 32(5)19--19
-
for, 22(5)816--860
-
for, predicates-, 39(1)3--3
-
for, Wait-, 41(1)1--1
-
for-space, safe-, 22(1)129--161
-
for-space-complexity, safe-, 22(1)129--161
-
forall, 35(1)3--3
-
forall-coarsening, 35(1)3--3
-
force, 18(2)139--174, 39(4)17--17, 41(4)22--22
-
force, brute-, 28(3)476--516, 36(1)1--1, 41(2)13--13
-
forced, 17(1)63--84, 44(1)4--4
-
forcing, 18(5)615--647, 40(4)16--16
-
Förd{\H{o}}s, Vikt{\'o}ria, 39(4)17--17,
see Trinder, Phil
-
foreach, 35(1)3--3
-
ForeC, 45(2)11--11
-
foregoes, 36(1)4--4
-
foreign, 30(4)18--18, 31(3)12--12, 40(2)8--8
-
foreign-language-specific, 40(2)8--8
-
Forejt, Vojt{\u{a}}ch, 39(4)15--15
-
Forejt:2017:PPA, 39(4)15--15
-
forest, 21(2)175--188, 45(2)9--9
-
Forest-Structured, 16(3)1051--1077
-
forever, 20(6)1171--1194
-
foreword, 39(1)1--1, 40(3)11--11
-
forgoes, 6(4)505--526
-
forking, 20(6)1131--1170
-
form, closed-, 39(2)8--8
-
form, sentential-, 20(5)980--1013
-
Forma, 30(1)2--2
-
FORMAL, 7(1)159--175, 7(2)270--298, 7(2)299--310, 8(2)244--263,
8(2)264--271, 8(3)406--407, 8(4)547--576, 9(1)100--120,
9(4)473--490, 9(4)543--566, 9(4)618--645, 10(2)338--342,
10(3)345--373, 10(3)374--402, 11(1)67--89, 11(2)169--193,
11(3)418--450, 11(3)451--481, 11(4)491--516, 11(4)562--584,
11(4)633--649, 11(4)650--665, 12(1)26--60, 12(1)61--83,
12(1)123--134, 12(3)429--462, 12(4)610--640, 13(1)99--123,
13(1)150--178, 13(2)269--290, 13(3)295--314, 13(4)577--625,
14(1)54--106, 14(2)145--146, 14(2)147--172, 14(3)339--395,
14(3)396--416, 14(4)521--573, 14(4)589--616, 15(1)206--208,
15(2)211--252, 15(2)253--289, 15(2)290--311, 15(3)535--562,
15(4)575--631, 15(4)706--734, 16(3)493--523, 16(3)605--606,
16(3)607--648, 16(3)687--726, 16(3)1024--1050, 16(3)1051--1077,
16(4)1081--1096, 16(4)1361--1398, 16(5)1467--1471, 16(5)1613--1647,
17(1)47--62, 17(2)228--232, 17(2)293--330, 17(4)576--599,
17(6)844--895, 18(1)73--108, 18(3)235--253, 18(6)730--751,
19(1)1--6, 19(2)386--412, 19(6)899--915, 19(6)916--941,
20(1)208--258, 20(2)344--387, 20(3)586--634, 20(5)1067--1109
-
formalisation, 35(4)12--12, 41(2)12--12
-
formalised, 28(4)619--695
-
formalism, 4(4)563--584, 7(1)1--9, 7(1)159--175, 8(4)524--546,
9(4)618--645, 10(1)118--155, 11(1)115--146, 11(3)418--450,
18(1)73--108, 19(6)899--915, 21(3)502--526, 23(1)1--29, 31(3)11--11,
32(4)14--14, 33(5)15--15, 38(1)1--1, 43(1)3--3
-
formalization, 9(2)257--276, 27(6)1344--1395, 34(3)12--12, 38(4)14--14,
40(3)13--13, 42(1)3--3
-
formalize, 16(5)1411--1430, 16(6)1842--1874, 18(5)528--563,
20(4)724--767, 21(3)430--501, 21(6)1077--1136, 27(6)1344--1395,
31(2)7--7, 31(5)19--19, 33(4)12--12, 33(5)16--16, 36(2)5--5,
37(4)13--13, 38(2)6--6, 38(3)8--8, 38(4)16--16, 40(3)13--13,
43(4)15--15, 44(4)25--25
-
formalized, 18(2)175--234, 20(4)768--844, 22(6)1037--1080, 31(1)3--3,
35(2)6--6, 37(4)13--13, 41(3)14--14, 42(1)2--2, 44(4)25--25
-
formalizing, 30(5)26--26, 36(4)12--12, 44(4)25--25
-
formally, 4(3)402--454, 8(4)524--546, 13(1)21--51, 15(4)681--705,
17(1)157--179, 18(6)711--729, 19(2)334--385, 20(4)707--723,
28(3)389--428, 29(2)13--13, 30(4)24--24, 31(1)1--1, 31(1)4--4,
32(3)8--8, 34(3)12--12, 36(1)4--4, 36(3)8--8, 39(4)14--14, 40(1)2--2,
41(1)1--1, 44(2)12--12, 45(2)12--12
-
format, 4(2)239--257, 5(4)513--531, 16(3)775--797, 16(4)1117--1155,
16(6)1699--1718
-
formation, 19(5)639--684
-
formatted, 16(3)775--797, 19(3)413--426
-
formatters, 13(2)211--236
-
formed, well-, 17(1)1--15, 40(4)17--17
-
former, 16(3)605--606, 16(3)1051--1077, 30(4)22--22, 36(4)11--11,
43(1)4--4
-
formula, 8(4)524--546, 14(4)521--573, 16(3)843--871, 20(2)302--343,
20(5)1067--1109, 21(4)747--789, 22(1)87--128, 28(4)747--793,
30(4)19--19, 31(6)21--21, 32(6)24--24, 33(5)17--17, 37(3)9--9,
37(4)11--11, 39(4)15--15, 41(2)13--13, 41(3)18--18, 42(1)4--4,
44(3)16--16
-
formula., 32(6)24--24
-
formulae, 19(5)751--803, 20(2)302--343, 33(5)17--17
-
formulas-the, 45(2)7--7
-
formulate, 19(1)48--86, 20(1)51--115, 27(6)1147--1215, 37(4)11--11,
38(3)11--11, 42(1)4--4
-
formulated, 4(3)362--381, 15(1)36--72, 21(3)627--676, 30(4)23--23,
44(2)11--11
-
formulating, 4(3)362--381
-
formulation, 4(3)455--495, 13(2)237--268, 18(3)235--253, 19(6)899--915,
34(1)3--3, 43(2)8--8
-
formulations., 43(2)8--8
-
Forte, 30(3)17--17
-
FORTRAN, 4(1)21--36, 4(2)239--257, 6(4)546--572, 9(4)491--542,
16(3)428--455
-
Fortran, 9(3)367--389, 9(4)491--542, 16(3)305--327, 16(3)577--604,
16(4)1156--1214, 17(1)85--122, 17(1)123--156, 19(1)188--222,
20(4)869--916, 21(2)286--323, 22(2)265--295, 22(5)816--860
-
Fortran, MATLAB-to-, 21(2)286--323
-
forward, 13(2)181--210, 16(3)775--797, 19(6)916--941, 20(6)1297--1322,
32(4)12--12, 32(6)23--23, 36(2)5--5, 40(1)1--1, 44(3)20--20
-
forward-substitution, 19(6)853--898
-
forwarding, 19(5)804--851
-
Foster, Ian, 16(3)577--604, 18(4)454--476
-
Foster, J. Nathan, 29(3)17--17
-
Foster, Jeffrey S., 28(6)1035--1087, 30(4)18--18, 33(1)3--3,
36(4)13--13
-
Foster, Jeffrey S., see Furr, Michael,
see Hayden, Christopher M.,
see Pratikakis, Polyvios
-
Foster:1994:CAS, 16(3)577--604
-
Foster:1996:CPP, 18(4)454--476
-
Foster:2006:FIT, 28(6)1035--1087
-
Foster:2007:CBT, 29(3)17--17
-
fostered, 45(3)19--19
-
foul, 18(5)615--647, 21(3)677--701
-
Foulk, Clinton R., 3(1)24--48
-
Foulk, Clinton R., see Juelich, Otto C.
-
found, 13(2)181--210, 14(1)107--125, 16(3)456--492, 16(4)1114--1116,
16(4)1215--1247, 16(6)1768--1810, 17(1)1--15, 17(2)293--330,
17(3)487--506, 17(4)672--689, 17(5)691--703, 18(4)424--453,
18(6)752--779, 19(3)525--555, 19(6)1053--1084, 20(3)635--678,
20(6)1297--1322, 23(2)105--186, 28(1)70--105, 28(2)207--255,
30(2)8--8, 30(4)18--18, 31(3)9--9, 32(5)18--18, 33(1)3--3, 35(2)7--7,
36(2)7--7, 37(2)6--6, 39(2)6--6, 40(3)10--10, 41(1)1--1, 41(3)14--14,
41(3)18--18, 43(1)2--2, 43(1)3--3, 45(1)1--1
-
foundation, 4(4)733--757, 14(1)54--106, 15(5)771--794, 16(4)1117--1155,
22(5)773--815, 25(3)291--315, 29(1)3--3, 29(5)27--27, 30(5)26--26,
32(3)7--7, 32(6)22--22, 33(3)10--10, 33(5)15--15, 33(6)19--19,
36(1)1--1, 36(3)10--10, 36(4)12--12, 38(2)7--7, 40(3)13--13,
43(2)7--7, 45(4)22--22
-
foundational, 23(5)657--683, 32(3)7--7, 45(3)15--15
-
founded, 20(4)707--723, 34(2)9--9, 37(3)10--10
-
founded, well-, 16(4)1097--1113, 19(5)639--684, 20(3)586--634,
20(6)1171--1194, 21(6)1137--1195, 22(3)540--582, 27(6)1147--1215,
41(1)5--5
-
four, 6(4)546--572, 13(2)181--210, 14(3)417--461, 14(4)471--489,
17(2)394--429, 17(3)535--559, 18(6)659--682, 18(6)752--779,
19(3)492--524, 20(1)166--207, 29(2)13--13, 33(1)5--5, 34(1)1--1,
34(2)7--7, 37(1)4--4, 41(4)21--21, 44(1)5--5
-
four-fold, 21(2)324--369
-
four-processor, 22(2)265--295
-
four-state, 15(4)735--742
-
four-way, 28(1)1--69
-
Fourier, 16(6)1737--1767
-
Fourier-Motzkin, 34(1)3--3
-
Fournet, Cedric, 25(3)360--399
-
Fournet, Cédric, 26(5)769--804, 29(5)25--25, 30(6)30--30, 31(1)5--5,
33(2)8--8, see Bengtson, Jesper,
see Benton, Nick,
see Bhargavan, Karthikeyan
-
Fournet:2003:SIT, 25(3)360--399
-
Fournet:2007:TDA, 29(5)25--25
-
FP, 30(3)17--17
-
fpl, 10(3)470--502
-
FPTaylor, 41(1)2--2
-
Fractal, 25(6)776--813
-
fraction, 28(1)1--69, 32(6)22--22, 34(3)13--13
-
fractional, 32(6)22--22
-
Fractions, 32(6)22--22
-
Fradet, Pascal, 13(1)21--51, 20(2)344--387
-
Fradet, Pascal, see Douence, Rémi
-
Fradet:1991:CFL, 13(1)21--51
-
fragment, 8(4)547--576, 17(2)264--292, 19(3)525--555, 20(2)436--482,
22(1)129--161, 22(1)162--186, 22(2)378--415, 34(1)4--4, 35(2)7--7,
35(3)10--10, 36(4)11--11, 39(4)14--14, 40(2)5--5, 41(2)11--11,
44(3)16--16
-
fragmentation, 34(3)13--13
-
Fraine, Bruno, De, 34(3)12--12
-
frame, 9(3)367--389, 11(1)115--146, 17(2)181--196, 18(6)752--779,
34(1)2--2, 35(2)8--8, 40(2)6--6, 44(4)25--25, 45(2)7--7
-
frame-based, 40(2)6--6
-
framed, 36(2)6--6
-
Framing, 40(2)6--6, 44(4)25--25
-
Frampton, Daniel, 38(4)15--15
-
Frampton, Daniel, see Blackburn, Stephen M.
-
franca, 38(3)9--9
-
Francesco, N., De, 31(1)3--3
-
Francez, 3(1)112--112, 3(1)112--113, 5(3)500--501
-
Francez, N., 3(1)112--113
-
Francez, Nissem, 6(3)370--379
-
Francez, Nissem, see Apt, Krzysztof R.
-
Francez, Nissim, 2(1)42--55, 2(3)359--385, 2(3)463--463, 7(4)622--636
-
Francez, Nissim, see Apt, Krzysztof R.
-
Francez:1980:CDT, 2(1)42--55, 2(3)463--463
-
Francez:1980:DT, 2(1)42--55, 2(3)463--463, 3(1)112--112, 3(1)112--113
-
Francez:1981:TCR, 2(1)42--55, 2(3)463--463, 3(1)112--112, 3(1)112--113
-
Francez:1985:SIC, 7(4)622--636
-
Franz, Michael, 22(3)490--505, 25(4)500--548, 30(4)21--21, 31(5)17--17,
38(3)9--9
-
Franz, Michael, see Gal, Andreas,
see Kistler, Thomas, \see{Wagner, Gregor,
see Yardimci, Efe
-
Fraser, Christopher W., 2(2)191--202, 3(1)110--110, 3(2)115--125,
6(4)505--526, 9(2)277--295
-
Fraser, Christopher W., see Davidson, Jack W.
-
Fraser:1981:EDS, 3(2)115--125
-
Fraser:1987:ERC, 9(2)277--295
-
Frechtling, Michael, 37(2)5--5
-
Frechtling:2015:MMS, 37(2)5--5
-
free, 15(5)745--770, 16(1)151--174, 16(3)649--686, 17(4)672--689,
18(3)268--299, 19(1)48--86, 20(3)635--678, 22(1)129--161,
30(6)34--34, 31(1)1--1, 32(4)14--14, 34(2)9--9, 38(4)14--14,
41(3)18--18
-
free,, 22(5)816--860
-
free, bug-, 36(1)2--2
-
Free, Context-, 2(3)415--462, 41(2)9--9
-
free, Context-, 44(3)18--18
-
free, context-, 4(4)615--649, 16(3)1024--1050, 16(3)1051--1077,
16(5)1572--1612, 17(2)293--330, 19(4)568--585, 19(5)726--750,
34(4)15--15, 39(2)9--9, 39(4)14--14, 41(2)9--9, 45(3)14--14,
45(3)19--19
-
free, data-, 4(2)149--178
-
free, Data-race-, 38(4)16--16
-
free, data-race-, 38(4)16--16
-
Free, Deadlock-, 20(2)436--482
-
free, deadlock-, 20(2)436--482
-
free, effect-, 14(2)147--172
-
Free, Failure-, 6(2)239--253
-
free, Isomorph-, 20(2)302--343
-
Free, Lock-, 39(3)11--11
-
free, lock-, 15(5)745--770, 22(4)673--700, 33(1)4--4,
40(4)15--15
-
free, loop-, 36(4)11--11
-
Free, Occur-Check-, 16(3)687--726
-
free, pointer-, 16(3)305--327
-
free, quantifier-, 41(2)12--12
-
free, recursion-, 36(4)14--14
-
free, rollback-, 15(5)771--794
-
Free, Wait-, 13(1)124--149
-
free, wait-, 13(1)124--149, 15(5)745--770
-
FreeBSD, 36(4)14--14, 42(3)15--15
-
freedom, 12(4)643--669, 18(1)30--72, 31(3)9--9, 35(4)12--12, 40(3)12--12
-
freedom, deadlock-, 20(2)436--482, 32(5)16--16, 40(4)17--17
-
freedom, lock-, 32(5)16--16
-
freedomash, deadlock-, 32(5)16--16
-
freeing, 40(3)10--10
-
freely, 21(2)324--369
-
freeness, 18(5)564--614
-
frequency, 16(4)1319--1360, 18(4)355--400, 21(4)703--746, 22(3)490--505,
28(5)908--941, 30(5)28--28
-
frequent, 18(4)355--400, 29(1)3--3, 38(2)7--7, 39(4)15--15, 41(3)18--18
-
frequently, 14(4)490--520, 18(3)254--267, 18(4)355--400, 28(1)70--105,
28(1)106--133, 28(5)908--941, 30(6)32--32, 32(3)9--9, 34(3)13--13,
38(2)7--7
-
Fresh, 43(3)11--11
-
freshman, 16(3)577--604
-
Freudenberger, Stefan, 16(4)1156--1214
-
Freudenberger, Stefan M., 5(1)26--45
-
Freudenberger:1983:ESO, 5(1)26--45
-
Freudenberger:1994:ASC, 16(4)1156--1214
-
Freund, Stephen N., 21(6)1196--1250, 28(2)207--255, 30(4)20--20
-
Freund, Stephen N., see Abadi, Martin,
see Flanagan, Cormac
-
Freund:1999:TSO, 21(6)1196--1250
-
Fricker, Christine, 17(4)561--575
-
Fricker:1995:ICI, 17(4)561--575
-
Friedman, Daniel P., 9(4)582--598
-
Friedman, Daniel P., see Haynes, Christopher T.
-
friendly, 21(4)790--812
-
Frisch, Alain, 32(1)2--2
-
Frisch, Alain, see Hosoya, Haruo
-
Frohn, Florian, 42(3)13--13
-
Frohn:2020:ILR, 42(3)13--13
-
from-scratch, 32(1)3--3
-
front, 16(5)1648--1659, 19(1)153--187
-
front-end, 38(1)1--1
-
frontiers, 17(3)487--506, 24(5)455--490
-
Frost, Christopher, 31(2)7--7
-
Frost, Christopher, see Millstein, Todd
-
frustratingly, 34(1)4--4
-
FSAlias, 23(2)105--186
-
FT, 36(4)12--12
-
FT-where, 36(4)12--12
-
ftp, 18(5)528--563, 18(6)752--779
-
ftp.kyutech.ac.jp, 18(6)752--779
-
Fu, Cong, 20(6)1195--1222
-
Fu, Cong, see Yang, Tao
-
Fu, Hongfei, 40(2)7--7, 41(4)20--20
-
Fu, Hongfei, see Chatterjee, Krishnendu
-
Fu, Ming, 36(1)3--3
-
Fu, Ming, see Liang, Hongjin
-
Fuchs, David R., 7(1)62--79
-
Fuchs:1985:OPF, 7(1)62--79
-
FUD, 17(1)85--122
-
Fuhrer, Robert M., 33(3)9--9
-
Fuhrer, Robert M., see Tip, Frank
-
Fuhs, Carsten, 38(4)13--13
-
Fuhs, Carsten, see Brockschmidt, Marc
-
Fujitsu, 33(3)10--10
-
fulfill, 30(6)33--33, 40(4)16--16, 41(3)16--16
-
fulfilling, 28(4)747--793, 37(3)9--9
-
full, 4(3)402--454, 13(2)269--290, 16(3)605--606, 16(3)1051--1077,
18(2)139--174, 18(5)528--563, 18(6)752--779, 19(4)617--638,
19(5)685--725, 19(6)899--915, 21(2)240--285, 27(6)1097--1146,
28(1)1--69, 31(2)6--6, 33(6)21--21, 34(1)3--3, 34(1)4--4, 34(2)7--7,
34(4)15--15, 36(4)14--14, 37(2)6--6, 37(2)7--7, 37(4)12--12,
38(1)3--3, 38(2)6--6, 39(3)10--10, 39(3)11--11, 41(2)12--12,
41(4)22--22, 43(1)1--1
-
full-fledged, 33(6)19--19
-
full-scale, 30(6)32--32
-
full-screen, 8(4)547--576
-
fully, 10(2)248--266, 13(4)577--625, 14(1)107--125, 16(3)954--985,
17(2)293--330, 20(3)546--585, 21(3)527--568, 22(3)490--505,
22(3)506--539, 27(6)1147--1215, 32(5)16--16, 34(3)11--11, 36(1)3--3,
36(3)10--10, 37(2)6--6, 39(1)4--4, 39(2)8--8, 40(4)14--14,
40(4)15--15, 40(4)16--16, 41(2)11--11, 41(3)17--17, 41(3)19--19,
42(1)3--3, 42(2)8--8, 43(1)1--1, 43(2)7--7, 44(3)19--19, 45(3)16--16
-
function, -, 27(3)426--440
-
function-based, 4(1)44--82
-
functional, non-, 11(4)598--632, 21(1)46--89
-
Functional, Para-, 6(2)159--174
-
functional-style, 31(2)7--7
-
functionality, 27(6)1049--1096, 34(3)11--11, 36(1)2--2, 37(4)12--12,
45(3)17--17
-
functions-to, 39(2)9--9
-
functors, 14(3)339--395
-
fundamental, 15(4)575--631, 15(4)659--680, 19(1)1--6, 19(3)462--491,
20(2)344--387, 20(6)1171--1194, 22(1)87--128, 30(4)20--20,
30(6)34--34, 31(1)2--2, 31(3)9--9, 31(6)22--22, 34(2)8--8,
35(3)10--10, 38(2)5--5, 39(1)3--3, 43(2)5--5, 44(2)8--8, 44(2)11--11,
44(3)17--17, 44(4)25--25
-
fundamentally, 34(1)5--5, 38(2)7--7, 40(2)8--8
-
furnishes, 32(2)5--5
-
Furr, Michael, 30(4)18--18
-
Furr:2008:CTS, 30(4)18--18
-
further, 8(4)419--490, 10(2)248--266, 13(1)150--178, 13(2)181--210,
13(2)269--290, 15(2)357--365, 16(4)1279--1318, 17(4)672--689,
17(5)691--703, 20(2)274--301, 22(4)638--672, 30(4)19--19,
32(4)11--11, 32(5)17--17, 33(6)21--21, 34(1)6--6, 35(1)3--3,
39(2)8--8, 40(1)3--3, 40(3)10--10, 41(1)1--1, 41(1)3--3, 41(3)15--15,
43(3)10--10
-
furthered, 4(4)733--757
-
furthermore, 11(4)633--649, 14(2)265--297, 16(3)607--648,
16(4)1248--1278, 16(4)1319--1360, 16(5)1411--1430, 17(2)366--393,
17(4)672--689, 21(2)189--239, 21(2)286--323, 21(5)1028--1075,
22(2)224--264, 27(6)1344--1395, 28(5)848--907, 30(1)4--4,
30(6)33--33, 32(3)9--9, 34(1)2--2, 34(3)14--14, 36(3)10--10,
38(4)16--16, 39(3)11--11, 40(3)9--9, 43(1)3--3
-
fusing, 14(1)28--53
-
fusion, 4(4)650--667, 9(3)319--349, 18(4)424--453, 19(3)444--461,
42(3)12--12
-
fusion-based, 22(3)431--470
-
future, 7(3)478--489, 8(4)577--608, 17(2)233--263, 19(1)153--187,
21(2)240--285, 31(5)19--19, 41(1)2--2, 44(4)22--22
-
fuzz, 43(1)3--3
-
fuzziness, 23(1)1--29