Index file section F for toplas.bib

Last update: Thu Apr 17 02:04:02 MDT 2025

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, 46(4)12--12
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
Felicissimo, Thiago, 47(1)2--2
Felicissimo:2025:GBT, 47(1)2--2
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, 46(4)12--12, 47(1)3--3
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
Flash, 46(4)12--12
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
Free-Language, Context-, 46(2)7--7
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, 47(1)3--3
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