Index file section C for toplas.bib

Last update: Thu Jun 20 02:03:14 MDT 2024               

Return to index directory

C

• C, 4(1)21--36, 5(3)405--421, 16(3)305--327, 16(3)577--604, 17(2)197--216, 18(6)659--682, 19(1)188--222, 20(3)483--545, 21(2)324--369, 22(4)673--700, 23(2)105--186, 28(3)429--475, 29(5)29--29, 30(1)4--4, 30(4)18--18, 30(4)22--22, 32(1)1--1, 33(1)3--3, 35(2)6--6, 36(1)4--4, 36(2)7--7, 36(3)8--8, 36(4)13--13, 36(4)14--14, 37(2)7--7, 38(2)6--6, 38(3)10--10, 39(3)11--11, 39(4)14--14, 40(1)1--1, 40(2)8--8, 40(4)14--14, 41(2)13--13, 42(3)15--15
• C++, 15(3)494--534, 17(2)264--292, 19(1)153--187, 27(6)1270--1343, 28(3)517--575, 30(5)28--28, 36(2)7--7, 38(3)10--10, 42(3)15--15, 44(4)22--22
• C\#, 26(5)769--804, 28(3)476--516, 28(3)517--575, 31(1)1--1, 36(2)6--6, 41(3)16--16, 42(3)15--15
• c, 22(1)162--186, 34(1)5--5, 39(2)9--9
• C, OCaml-to-, 30(4)18--18
• C-based, 37(2)5--5
• C-like, 27(6)1049--1096, 28(3)429--475, 44(2)12--12
• C-style, 28(3)429--475
• c.0, 11(1)1--32, 12(4)501--536, 14(3)299--338, 16(3)370--386, 19(2)292--333, 19(3)492--524
• C.1.0, 21(4)703--746
• C.1.1, 15(4)632--658, 21(5)1028--1075
• C.1.2, 7(4)501--538, 9(4)599--617, 10(2)313--337, 10(4)579--601, 11(1)57--66, 14(1)28--53, 15(3)400--462, 15(4)659--680, 17(1)123--156, 18(6)659--682, 20(4)869--916, 20(6)1195--1222, 22(5)773--815
• C.1.3, 9(4)599--617, 9(4)618--645
• C.2.0, 11(2)284--329, 16(3)986--1009
• C.2.1, 7(1)80--112, 12(4)537--565
• C.2.2, 8(1)154--182, 11(2)284--329, 11(2)330--344, 12(2)303--339, 14(3)417--461, 15(1)36--72, 16(2)259--303
• C.2.3, 7(2)270--298
• C.2.4, 7(1)80--112, 9(2)235--256, 10(1)51--86, 10(2)282--312, 10(4)513--554, 11(1)90--114, 11(2)249--283, 12(4)537--565, 13(4)558--576, 15(1)1--35, 15(3)563--573, 15(4)706--734, 15(4)735--742, 16(3)986--1009, 17(1)157--179, 17(3)535--559, 18(5)615--647, 20(1)51--115
• C.2.5, 11(2)330--344
• C.3, 19(3)525--555
• C.4, 10(2)313--337, 12(2)303--339, 16(4)1319--1360, 16(5)1399--1410, 17(4)561--575, 17(5)691--703, 19(1)188--222, 21(4)703--746
• C11, 39(4)14--14
• C++11, 38(3)10--10, 38(4)16--16
• C2, 41(3)16--16
• cache, 7(1)62--79, 13(2)269--290, 14(2)265--297, 15(1)182--205, 16(6)1768--1810, 17(4)561--575, 18(4)424--453, 18(6)659--682, 19(5)804--851, 20(3)546--585, 21(4)703--746, 21(5)977--1027, 22(3)490--505, 26(2)263--300, 29(2)12--12, 31(6)20--20, 32(4)13--13, 38(3)11--11
• cache, hardware-, 14(2)265--297
• cache-and-prune, 20(3)546--585
• cache-simulation, 14(2)265--297
• cached, 20(3)546--585
• caching, 7(1)62--79, 8(1)88--108, 15(1)182--205, 18(1)16--29, 20(3)546--585
• calculated, 30(4)23--23
• calculating, 28(3)389--428
• calculation, 21(4)747--789, 28(4)747--793, 39(4)17--17, 42(2)9--9
• Calculational, 28(4)747--793
• calculi, 17(3)431--447, 21(5)914--947, 22(6)1037--1080, 31(4)13--13, 32(4)12--12, 33(1)5--5, 34(2)8--8, 39(1)3--3, 41(2)8--8, 41(4)22--22, 46(1)3--3
• calculus, -, 25(5)549--577
• calculus, lambda-, 15(4)575--631, 18(6)730--751
• Calculus, Pi-, 21(5)914--947
• calculus, Pi-, 44(3)15--15
• calculus, pi-, 21(5)914--947, 24(5)566--591
• calculus, wp-, 21(3)417--429
• Calder, Brad, 19(1)188--222
• Calder:1997:EBS, 19(1)188--222
• calibrate, 43(2)6--6
• calibrated, 43(2)6--6
• call, 2(4)564--579, 4(4)527--551, 4(4)585--600, 5(3)265--299, 7(4)680--685, 9(2)257--276, 14(4)471--489, 16(2)175--204, 16(3)607--648, 16(3)687--726, 16(3)1010--1023, 17(1)157--179, 17(2)233--263, 18(4)355--400, 18(4)477--518, 18(6)752--779, 19(1)48--86, 19(1)188--222, 19(4)568--585, 19(6)1085--1087, 20(3)635--678, 20(4)845--868, 21(4)848--894, 22(1)129--161, 22(1)162--186, 22(5)932--972, 23(1)30--72, 23(2)105--186, 23(6)685--746, 27(6)1147--1215, 29(6)38--38, 30(1)4--4, 30(4)18--18, 30(4)19--19, 31(3)10--10, 32(1)3--3, 32(2)5--5, 34(1)2--2, 34(1)6--6, 34(3)12--12, 35(1)2--2, 35(3)9--9, 35(3)11--11, 35(4)13--13, 36(2)5--5, 36(3)9--9, 37(4)13--13, 40(2)6--6, 40(2)8--8, 40(3)12--12, 41(1)3--3, 42(1)3--3, 43(3)10--10
• Call, Tail-, 19(4)568--585
• call, tail-, 19(4)568--585, 21(5)914--947
• call-by-name, 17(1)47--62, 20(2)344--387, 31(4)13--13, 33(1)5--5, 41(4)22--22
• call-by-need, 20(2)344--387
• Call-by-Value, 43(4)17--17
• call-by-value, 4(4)527--551, 17(1)47--62, 19(6)916--941, 20(1)166--207, 20(2)344--387, 27(5)857--881, 31(4)13--13, 33(1)5--5, 41(2)8--8, 41(4)22--22, 42(1)4--4, 43(4)17--17
• call-site, 31(3)10--10, 40(3)13--13
• call-sites, 31(3)10--10
• callback, 34(1)6--6
• called, 4(2)149--178, 4(2)179--195, 4(4)585--600, 4(4)650--667, 4(4)687--710, 7(4)501--538, 8(4)419--490, 8(4)524--546, 9(2)277--295, 9(3)319--349, 9(4)491--542, 13(1)52--98, 13(1)150--178, 14(1)28--53, 14(2)127--144, 14(2)201--264, 14(2)265--297, 16(1)151--174, 16(2)175--204, 16(3)328--369, 16(4)1215--1247, 16(4)1279--1318, 16(5)1472--1511, 16(5)1648--1659, 16(6)1737--1767, 17(1)63--84, 17(2)293--330, 17(4)635--671, 18(1)30--72, 18(4)401--423, 18(6)730--751, 18(6)752--779, 19(6)853--898, 19(6)1031--1052, 20(1)166--207, 20(5)1014--1066, 21(5)895--913, 21(5)1028--1075, 22(1)87--128, 22(4)673--700, 22(4)701--771, 28(1)70--105, 28(2)290--330, 28(3)476--516, 28(5)795--847, 28(5)848--907, 28(5)942--965, 30(3)17--17, 30(4)23--23, 31(1)4--4, 31(4)16--16, 32(2)4--4, 32(3)8--8, 32(3)9--9, 32(4)15--15, 32(6)23--23, 34(1)2--2, 34(1)3--3, 34(1)4--4, 35(1)2--2, 35(1)4--4, 36(2)5--5, 36(2)7--7, 36(4)12--12, 37(3)9--9, 38(1)1--1, 38(2)4--4, 39(2)7--7, 39(2)8--8, 39(4)15--15, 39(4)18--18, 41(1)2--2, 41(2)11--11, 41(3)16--16, 43(1)1--1, 45(3)18--18, 46(2)7--7
• called, language-, 22(5)861--931
• called, so-, 17(2)264--292, 17(3)431--447, 17(3)487--506, 19(5)685--725, 20(3)679--706, 22(1)162--186, 33(4)14--14, 38(2)7--7
• called., 32(2)5--5
• callee, 40(3)12--12, 42(1)3--3
• callee-save, 22(1)129--161
• caller, 40(3)12--12, 42(1)3--3
• calling, 16(2)175--204
• calling-context-sensitive, 23(2)105--186
• Caltech, 16(3)577--604
• Calzavara, Stefano, 37(4)11--11
• Calzavara, Stefano, see Bugliesi, Michele
• came, 38(2)5--5
• Cameron, Robert D., 6(1)20--54, 11(2)194--211
• Cameron:1984:GBD, 6(1)20--54
• Cameron:1989:EHL, 11(2)194--211
• CAML, 22(2)340--377
• campaigns, 43(2)8--8
• camped, 4(3)382--401
• cancellation, 37(2)5--5
• Candea, George, 37(3)8--8
• Candea, George, see Kasikci, Baris
• candidate, 7(2)183--213, 16(1)3--34, 19(3)525--555, 20(4)869--916, 20(6)1297--1322, 22(3)431--470, 30(3)17--17, 31(5)17--17
• Canesche, Michael, 45(2)13--13
• Canesche, Michael, see Soares, Luigi
• cannot, 4(3)382--401, 4(4)668--677, 13(1)124--149, 13(1)150--178, 13(2)237--268, 15(4)659--680, 16(4)1081--1096, 16(4)1248--1278, 16(5)1411--1430, 16(5)1572--1612, 18(1)30--72, 20(2)302--343, 20(6)1223--1250, 21(3)527--568, 21(5)914--947, 29(5)29--29, 33(4)13--13, 33(5)15--15, 34(1)2--2, 34(2)7--7, 34(2)9--9, 35(3)11--11, 36(1)3--3, 38(2)5--5, 39(2)9--9, 40(3)9--9, 41(2)10--10
• canonical, 7(1)159--175, 13(1)150--178, 43(3)9--9
• capabilities, co-, 28(2)290--330
• capability, 4(4)585--600, 7(2)183--213, 8(4)524--546, 10(2)204--214, 16(3)305--327, 22(4)701--771, 28(2)290--330, 28(4)696--714, 30(5)27--27, 30(6)32--32, 34(1)6--6, 39(4)17--17, 41(1)2--2, 42(1)1--53
• capability, co-, 28(2)290--330
• capable, 16(4)1361--1398, 18(4)477--518, 20(1)1--50, 27(6)1147--1215, 31(3)9--9, 35(2)6--6, 37(3)10--10, 41(4)20--20
• capacity, 20(6)1195--1222, 28(5)942--965
• capitalizes, 20(4)869--916
• capture, 4(4)615--649, 11(4)633--649, 13(2)269--290, 16(3)843--871, 16(6)1811--1841, 17(3)431--447, 18(4)477--518, 21(5)1028--1075, 22(1)162--186, 22(3)490--505, 28(2)207--255, 28(3)429--475, 30(4)23--23, 30(5)25--25, 30(5)29--29, 32(4)11--11, 32(4)13--13, 32(5)19--19, 32(6)24--24, 34(4)17--17, 37(3)10--10, 38(2)4--4, 38(2)7--7, 39(4)15--15, 41(2)10--10, 41(2)12--12, 41(2)13--13, 41(3)17--17, 43(1)3--3, 43(2)7--7, 45(2)7--7
• captured, 9(4)491--542, 13(2)269--290, 17(4)561--575, 22(1)162--186, 43(2)7--7
• capturing, 16(4)1361--1398, 18(4)477--518, 34(2)7--7, 37(4)11--11, 45(4)21--21
• car, 22(1)162--186
• Caragea, George C., 36(3)10--10
• Caragea, George C., see Tzannes, Alexandros
• Carbone, Marco, 34(2)8--8
• Carbone:2012:SCC, 34(2)8--8
• car(c);, 22(1)162--186
• Carchiolo, Vincenza, 11(2)284--329
• Carchiolo:1989:ELT, 11(2)284--329
• card, smart-, 22(3)471--489
• Cardelli, 17(4)576--599, 18(5)519--527, 44(4)24--24
• Cardelli, Luca, 13(2)237--268, 15(4)575--631, 18(4)401--423, 26(5)769--804
• Cardelli, Luca, see Abadi, Martín, see Amadio, Roberto M., \see{Benton, Nick
• cardinal, 20(5)1067--1109, 40(3)13--13
• care, 4(2)179--195, 20(6)1131--1170, 40(3)10--10, 41(1)2--2
• care, Don't-, 4(2)179--195
• care, don't-, 4(2)179--195
• careful, 6(4)527--545, 11(4)598--632, 22(2)378--415
• carefully, 16(6)1675--1683, 38(3)9--9, 41(3)19--19, 43(2)6--6, 45(4)22--22
• Carey, Michael J., 15(3)494--534
• Carey, Michael J., see Richardson, Joel E.
• Carini, Paul, 21(4)848--894
• Carini, Paul, see Hind, Michael
• Carle, 18(1)16--29
• Carle, Alan, 17(2)394--429, 18(1)16--29
• Carle:1995:MBI, 17(2)394--429
• Carle:1996:OCP, 18(1)16--29
• Carli, Lorenzo, De, 37(1)2--2
• Carlisle, Martin C., 17(2)233--263
• Carlisle, Martin C., see Rogers, Anne
• Carlisle, W. H., 17(3)448--460
• Carlisle:1995:TCC, 17(3)448--460
• Carlo, 16(3)798--842, 37(2)5--5
• Carlsson, Mats, 23(4)472--602, 41(3)17--17
• Carlsson, Mats, see Gupta, Gopal, see Lozano, Roberto Castañeda
• Carlsson, Richard, 28(4)715--746
• Carlsson:2006:MAC, 28(4)715--746
• Caromel, Denis, 18(6)711--729
• Caromel, Denis, see Attali, Isabelle
• Carr, S., 16(6)1768--1810
• Carr, Steve, 18(4)424--453
• Carr, Steve, see McKinley, Kathryn S.
• Carr:1994:IRM, 16(6)1768--1810
• Carré, Bernard A., 7(1)37--61, see Bergeretti, Jean-François
• carried, 14(4)574--588, 19(4)568--585, 22(2)340--377, 28(4)619--695, 30(6)32--32, 31(1)4--4, 32(6)22--22, 40(3)13--13
• carry, 41(1)5--5
• carrying, 31(5)18--18, 41(3)19--19
• Carrying, Proof-, 27(6)1049--1096, 32(3)7--7, 39(2)7--7
• carrying, Proof-, 31(5)18--18
• carrying, proof-, 23(5)657--683, 32(3)7--7
• Carson, Scott D., 9(1)25--53
• Carson:1987:GSP, 9(1)25--53
• Cartwright, Robert, 19(1)87--152
• Cartwright, Robert, see Wright, Andrew K.
• Casanova, Marco R., 2(3)386--414
• Casanova:1980:FSR, 2(3)386--414
• cascading, 41(2)12--12
• CASE, 16(1)102--150, 16(3)843--871
• Case, Worst-, 32(4)13--13, 41(4)20--20
• case, worst-, 16(3)775--797, 17(2)197--216, 17(2)228--232, 17(2)331--365, 17(3)487--506, 18(1)30--72, 20(1)116--165, 20(3)635--678, 21(2)175--188, 23(2)105--186, 31(6)21--21, 32(4)13--13, 33(6)21--21, 34(3)13--13, 34(3)14--14, 40(1)3--3, 40(3)9--9, 41(4)20--20, 42(3)13--13, 44(3)14--14
• Casey, Kevin, 29(6)37--37
• Casey:2007:OIB, 29(6)37--37
• Cash, 38(3)10--10
• Castagna, 38(1)3--3
• Castagna, Giuseppe, 17(3)431--447, 26(1)57--124, 31(5)19--19, 32(1)2--2
• Castagna, Giuseppe, see Bugliesi, Michele, see Hosoya, Haruo
• Castagna:1995:CCC, 17(3)431--447
• Castagna:2009:TCW, 31(5)19--19
• Casting, 30(6)33--33
• casts, 29(2)13--13, 39(1)3--3, 40(4)16--16
• cat, 43(2)8--8
• catastrophic, 37(2)5--5, 41(3)15--15
• catch, 21(3)502--526
• catching, 28(1)70--105
• categorical, 43(1)4--4
• categorization, 38(2)5--5
• categorize, 15(4)659--680
• categorized, 4(3)323--344, 32(4)11--11, 37(1)4--4
• category, 8(1)109--139, 34(3)12--12
• cater, 40(2)6--6
• Cats, 36(2)7--7, 43(2)8--8
• Cattell, R. G. G., 2(2)173--190
• Cattell:1980:ADC, 2(2)173--190
• caught, 31(3)9--9
• causal, 16(3)986--1009, 20(1)208--258, 41(4)21--21, 44(2)8--8
• causality, 16(3)986--1009
• causally, 44(2)8--8
• Causation, 41(4)21--21
• cause, 16(3)387--427, 16(5)1449--1466, 16(5)1648--1659, 17(3)431--447, 20(2)259--273, 20(2)436--482, 20(3)635--678, 21(4)703--746, 28(1)106--133, 28(5)942--965, 32(4)15--15, 32(5)17--17, 34(3)13--13, 37(3)8--8, 39(4)18--18, 40(1)1--1, 40(3)12--12, 41(1)4--4, 44(1)3--3
• caused, 16(2)175--204, 19(3)413--426, 19(4)617--638, 20(5)917--979, 20(6)1195--1222, 30(3)17--17
• causing, 7(4)501--538, 41(1)2--2
• cautious, 16(3)1010--1023
• C/C++, 37(1)3--3, 38(3)10--10, 43(1)3--3
• CCP, 19(5)685--725, 23(3)304--395
• ccs, 31(5)19--19
• CCured, 27(3)477--526
• cde, 19(3)462--491
• cdequiv, 19(3)462--491
• CDG, 19(3)462--491
• CDL, WS-, 34(2)8--8
• CDL2, 9(4)473--490
• cdrconsx,y, 22(1)162--186
• CDs, 44(1)2--2
• CDSChecker, 38(3)10--10
• CE, 30(3)17--17
• CECIL, 30(5)28--28
• Cecil, 20(1)116--165
• CEDAR, 8(4)419--490
• cedar, 8(4)419--490
• Cedar/Mesa, 21(1)11--45
• Cejtin, Henry, 17(5)704--739
• Cejtin:1995:HOD, 17(5)704--739
• CEK, 31(4)13--13
• cell, 10(4)555--578, 16(2)205--258, 21(3)430--501, 30(5)27--27
• center, 6(3)380--401
• Centered, Communication-, 34(2)8--8
• centered, User-, 21(6)1077--1136
• central, 8(4)491--523, 14(2)147--172, 20(5)980--1013, 22(4)701--771, 31(3)12--12, 32(3)9--9, 35(1)2--2, 35(3)9--9, 39(3)10--10, 41(1)2--2, 41(3)17--17, 44(1)4--4, 44(3)18--18
• centralized, 6(2)175--191, 13(1)99--123, 21(3)569--626
• centric, control-, 34(1)4--4
• centric, Data-, 34(1)4--4
• centric, data-, 34(1)4--4
• centric, language-, 37(1)3--3
• centric, pointer-, 22(3)490--505
• centric, process-, 28(4)715--746
• certain, 4(4)615--649, 10(2)189--203, 16(6)1842--1874, 17(4)576--599, 18(1)30--72, 18(2)175--234, 19(4)568--585, 19(5)639--684, 20(1)1--50, 20(2)259--273, 20(2)436--482, 20(6)1297--1322, 21(1)1--10, 21(4)790--812, 22(1)162--186, 22(2)187--223, 22(2)416--430, 23(2)105--186, 27(6)1270--1343, 28(5)795--847, 30(2)8--8, 32(1)3--3, 32(5)16--16, 33(4)12--12, 34(2)9--9, 36(4)14--14, 38(3)12--12, 39(4)14--14, 40(1)2--2, 40(3)10--10, 42(3)15--15, 43(1)1--1
• certificate, 31(5)18--18, 33(4)13--13, 39(2)7--7, 41(1)2--2
• certification, 44(3)17--17
• certified, 21(3)527--568, 22(4)701--771, 27(1)1--45
• Certifying, 31(5)18--18
• CertiPriv, 35(3)9--9
• Cesarini, Francesco, 39(4)17--17
• Cesarini, Francesco, see Trinder, Phil
• CFA, 22(1)162--186, 39(2)7--7
• CFA, subset-based-0-, 20(6)1251--1264
• CFG, 17(2)293--330, 17(4)672--689, 31(5)17--17
• CFLOBDDs, 46(2)7--7
• Cha, Sungdeok, 41(2)13--13
• Cha, Sungdeok, see Jeon, Minseok
• CHAD, 44(3)20--20
• chafing, 28(4)747--793
• chain, 6(4)632--646, 16(2)175--204, 17(1)85--122, 18(3)268--299, 19(5)804--851, 30(6)32--32, 31(1)3--3, 42(3)14--14
• Chaining, 2(3)274--289
• chains-the, 40(1)4--4
• Chaitin, 16(3)428--455, 18(3)300--324
• Chaitin-style, 16(3)428--455, 22(3)431--470
• Chakrabarti, Dhruva R., 34(2)9--9
• Chakrabarti, Dhruva R., see Joisha, Pramod G.
• Chakraborty, Supratik, 33(5)17--17
• Chakraborty, Supratik, see Gulavani, Bhargav S.
• challenge, 16(4)1361--1398, 20(4)869--916, 21(2)240--285, 21(2)286--323, 22(3)431--470, 24(3)193--216, 27(6)1097--1146, 30(3)17--17, 32(1)3--3, 32(4)14--14, 33(1)5--5, 38(2)4--4, 39(2)7--7, 39(2)8--8, 41(2)13--13, 41(3)14--14, 42(3)12--12, 42(3)15--15, 43(1)2--2, 43(4)16--16, 44(1)1--1
• challenging, 27(6)1147--1215, 32(4)12--12, 32(5)17--17, 33(1)5--5, 34(1)2--2, 35(1)4--4, 35(4)13--13, 36(1)2--2, 36(2)6--6, 39(3)11--11, 41(1)1--1, 41(1)6--6, 42(1)3--3, 45(2)10--10, 45(3)16--16
• Chambers, 20(6)1251--1264
• Chambers, Craig, 17(6)805--843, 22(5)932--972, 23(6)685--746, 26(5)836--889, 28(3)517--575
• Chambers, Craig, see Clifton, Curtis, see Grant, Brian, \see{Grove, David, see Millstein, Todd
• Chambers:1995:TMM, 17(6)805--843
• Chan, Sun, 21(3)627--676
• Chan, Sun, see Kennedy, Robert
• Chander, Ajay, 29(5)28--28
• Chander:2007:ERB, 29(5)28--28
• Chandy, 17(1)157--179
• Chandy, K. M., 4(1)37--43, 4(4)678--686, 6(4)632--646, 8(3)326--343
• Chandy, K. M., see Misra, Jayadev
• Chandy:1984:DPP, 6(4)632--646
• Chandy:1986:ESR, 8(3)326--343
• Chang, Bor-Yuh Evan, 46(1)4--4
• Chang, Bor-Yuh Evan, see Stein, Benno
• Chang, C. H., 7(1)159--175
• Chang, C. H., see Park, Joseph C. H.
• Chang, Chung-Kou, 8(1)154--182
• Chang, Chung-Kou, see Gouda, Mohamed G.
• change, 4(4)563--584, 7(1)62--79, 13(1)1--20, 13(2)211--236, 14(2)173--200, 16(3)387--427, 16(3)727--774, 16(3)775--797, 16(5)1648--1659, 16(6)1699--1718, 16(6)1842--1874, 16(6)1875--1903, 17(1)123--156, 17(1)157--179, 17(2)394--429, 18(1)16--29, 18(5)615--647, 19(6)1053--1084, 20(5)980--1013, 21(4)703--746, 22(2)187--223, 22(2)224--264, 27(6)1147--1215, 29(2)13--13, 30(3)12--12, 31(3)9--9, 31(6)20--20, 32(1)3--3, 32(3)9--9, 32(4)14--14, 32(6)24--24, 34(2)9--9, 36(4)12--12, 36(4)13--13, 37(1)3--3, 37(1)4--4, 37(2)5--5, 37(3)8--8, 39(4)17--17, 40(1)2--2
• change, Size-, 30(3)16--16, 31(3)10--10
• change, size-, 27(6)1147--1215, 31(3)10--10
• change-merging, 16(6)1875--1903
• change-propagation, 32(1)3--3
• changed, 13(1)1--20, 17(2)264--292, 21(3)430--501, 27(6)1049--1096
• changes, size-, 31(3)10--10
• changing, 16(3)524--576, 16(3)954--985, 17(1)63--84, 17(2)264--292, 22(5)932--972, 29(6)30--30
• changing, state-, 31(4)16--16
• channel, 14(3)417--461, 20(2)436--482, 21(5)914--947, 27(6)1344--1395, 30(5)27--27, 38(2)4--4, 40(3)12--12, 40(4)17--17
• channel, Side-, 45(2)13--13
• channel, side-, 43(3)12--12
• Chaos, 39(4)17--17
• chaotic, 22(4)638--672
• Chapel, 35(1)3--3
• chapter, 18(6)730--751
• character, 7(1)62--79, 14(4)471--489, 41(2)12--12
• characteristic, 14(1)54--106, 16(1)3--34, 17(3)431--447, 18(4)424--453, 19(6)853--898, 20(1)208--258, 20(3)635--678, 21(2)189--239, 21(2)240--285, 28(4)715--746, 30(5)25--25, 34(1)5--5, 41(1)4--4
• characterization, 15(1)133--181, 18(1)16--29, 19(5)751--803, 21(2)370--416, 28(1)175--205, 28(2)256--289, 34(1)3--3, 41(1)3--3
• characterize, 16(5)1472--1511, 17(2)331--365, 17(3)431--447, 17(3)535--559, 19(5)639--684, 19(5)685--725, 20(5)1067--1109, 21(2)370--416, 21(3)627--676, 30(5)25--25, 36(1)1--1, 41(1)3--3, 45(1)4--4
• characterized, 4(2)258--282, 9(4)491--542, 14(1)107--125, 14(4)521--573, 20(5)1067--1109, 30(6)33--33
• characterizing, 18(3)325--353, 34(4)17--17
• Charguéraud, Arthur, 45(1)5--5
• Chargueraud:2023:OSH, 45(1)5--5
• Chariots, 19(3)462--491
• Charlesworth, Arthur, 9(3)350--366, 24(5)554--565
• Charlesworth:1987:MR, 9(3)350--366
• Charlesworth:2002:UAC, 24(5)554--565
• Charlie, 16(1)35--101
• Charlier, 16(1)35--101
• Charlier, Baudouin, Le, 16(1)35--101
• Charron-Bost, Bernadette, 17(1)157--179
• Charron-Bost:1995:LTP, 17(1)157--179
• chart, 32(4)13--13
• Chatterjee, Krishnendu, 40(2)7--7, 40(3)9--9, 41(4)20--20, 41(4)23--23
• Chatterjee, Siddhartha, 15(3)400--462, 17(1)123--156
• Chatterjee:1993:CND, 15(3)400--462
• Chatterjee:1995:OEA, 17(1)123--156
• Chatterjee:2018:AAP, 40(3)9--9
• Chatterjee:2018:AAQ, 40(2)7--7
• Chatterjee:2019:FAD, 41(4)23--23
• Chatterjee:2019:NPW, 41(4)20--20
• Chaudhuri, Swarat, 33(5)15--15, 46(2)7--7
• Chaudhuri, Swarat, see Alur, Rajeev, see Sistla, Meghana Aparna
• CHC-based, 43(4)15--15
• CHCs, 43(4)15--15
• cheap, 39(2)7--7
• cheaper, 18(2)139--174, 20(4)845--868
• cheapest, 18(2)139--174
• Chechina, Natalia, 39(4)17--17
• Chechina, Natalia, see Trinder, Phil
• check, 10(2)189--203, 13(2)237--268, 15(5)876--895, 16(5)1449--1466, 17(2)217--227, 18(3)254--267, 19(1)87--152, 20(1)166--207, 20(3)635--678, 21(1)11--45, 21(6)1196--1250, 22(2)265--295, 22(4)638--672, 29(5)28--28, 29(6)33--33, 30(5)29--29, 32(2)6--6, 32(4)15--15, 36(3)9--9, 36(4)12--12, 37(1)4--4, 39(2)7--7, 39(4)15--15, 40(1)1--1, 40(4)16--16, 41(1)5--5, 41(2)9--9, 43(1)2--2
• check, model-, 33(5)15--15
• check, null-dereference-, 41(3)16--16
• check, occur-, 16(3)687--726
• Check-Free, Occur-, 16(3)687--726
• checkable, 39(2)7--7
• checked, 12(4)643--669, 19(3)492--524, 20(2)302--343, 20(6)1251--1264, 21(3)527--568, 22(4)701--771, 30(5)25--25, 32(2)6--6, 34(1)2--2, 38(4)14--14, 41(1)1--1, 41(1)2--2, 43(1)3--3, 44(1)5--5
• checked, machine-, 28(4)619--695, 35(3)9--9, 35(4)12--12, 37(2)7--7, 40(2)6--6
• checked, model-, 31(6)23--23
• checker, 7(1)37--61, 7(1)137--158, 17(1)157--179, 19(1)87--152, 21(4)747--789, 28(2)207--255, 30(4)20--20, 30(5)29--29, 32(2)4--4, 32(4)14--14, 36(4)12--12, 37(3)9--9, 39(2)7--7, 39(2)9--9, 40(4)16--16, 43(1)3--3, 45(3)19--19
• checking, 7(2)183--213, 8(4)524--546, 8(4)577--608, 13(2)237--268, 15(1)36--72, 16(3)843--871, 16(5)1512--1542, 17(2)264--292, 17(3)448--460, 18(3)254--267, 19(2)386--412, 19(4)617--638, 20(2)302--343, 21(3)502--526, 21(4)747--789, 21(6)1196--1250, 22(1)87--128, 23(3)273--303, 24(1)51--64, 26(4)702--734, 27(3)527--570, 28(2)207--255, 30(4)18--18, 30(4)20--20, 30(4)21--21, 30(5)25--25, 30(5)27--27, 30(5)29--29, 32(2)6--6, 32(5)16--16, 32(6)21--21, 33(3)9--9, 33(5)15--15, 34(3)11--11, 36(1)1--1, 36(2)7--7, 36(4)12--12, 37(3)9--9, 38(3)10--10, 39(2)7--7, 39(4)18--18, 40(4)15--15, 40(4)16--16, 41(2)9--9, 42(3)14--14, 43(1)3--3, 44(1)1--1, 45(2)8--8, 45(3)19--19
• Checking, Model-, 19(4)617--638
• checking, Model-, 21(4)747--789
• checking, model-, 20(2)302--343, 21(4)747--789, 30(5)25--25, 31(6)23--23, 33(5)15--15, 36(2)5--5, 37(3)9--9
• checking, type-, 17(3)448--460, 20(4)707--723, 35(1)2--2, 37(4)11--11
• Checkpoint/restart, 8(1)50--87
• Chen, Hong-Yi, 40(1)1--1
• Chen, Sheng, 36(1)1--1
• Chen, Yifeng, 26(2)221--262
• Chen, Yixuan, 44(2)12--12
• Chen, Yixuan, see Lorch, Jacob R.
• Chen:2004:LGS, 26(2)221--262
• Chen:2014:ETI, 36(1)1--1
• Chen:2018:BPP, 40(1)1--1
• Cheney, 30(4)24--24
• Cheney, James, 30(5)26--26
• Cheney:2008:NLP, 30(5)26--26
• Chiari, Michele, 45(3)19--19
• Chiari:2023:MCO, 45(3)19--19
• Childers, Bruce R., 32(4)15--15
• Childers, Bruce R., see Huang, Yuqiang
• children, 9(2)235--256
• Chin, Wei-Ngan, 17(2)217--227
• Chin:1995:ROA, 17(2)217--227
• chip, 16(6)1768--1810
• Chirica, Laurian M., 8(2)185--214
• Chirica:1986:TCI, 8(2)185--214
• Chitil, Olaf, 27(1)163--184
• Chitil:2005:PPL, 27(1)163--184
• Chiu, Meng-Chieh, 41(1)3--3
• Chiu, Meng-Chieh, see Jacek, Nicholas
• Chlipala, Adam, 45(1)5--5
• Chlipala, Adam, see Charguéraud, Arthur
• Chocola, 42(4)17--17
• Choe, K. M., 7(1)159--175
• Choe, K. M., see Park, Joseph C. H.
• Choe, Kwang-Moo, 23(4)451--471
• Choe, Kwang-Moo, see Kim, Ik-Soon
• Choi, Jong-Deok, 13(4)491--530, 16(4)1097--1113, 21(4)848--894, 25(6)876--910
• Choi, Jong-Deok, see Hind, Michael
• Choi:1991:TDP, 13(4)491--530
• Choi:1994:SSP, 16(4)1097--1113
• Choi:2003:SAS, 25(6)876--910
• choice, 10(2)189--203, 14(2)127--144, 16(3)924--938, 17(1)123--156, 17(4)635--671, 18(3)325--353, 19(3)413--426, 20(2)344--387, 20(4)869--916, 20(6)1171--1194, 22(1)1--44, 22(5)773--815, 29(2)13--13, 30(3)12--12, 31(3)9--9, 36(2)7--7, 36(4)14--14, 38(2)5--5, 40(1)4--4, 41(1)3--3, 41(3)18--18, 41(4)21--21, 42(1)4--4, 42(3)12--12, 43(3)10--10
• choice, committed-, 16(1)3--34
• choice, performance-by-, 43(3)10--10
• Chong, Nathan, 37(3)10--10
• Chong, Nathan, see Betts, Adam
• Chong, Stephen, 45(1)2--2
• Chong, Stephen, see Hu, Jingmei
• choose, 22(4)638--672, 39(2)6--6
• choosing, 16(3)524--576, 31(1)2--2
• chopping, 32(6)23--23
• Choral, 46(1)1--1
• choreographic, 46(1)1--1
• choreographies, 46(1)1--1
• chosen, 14(4)574--588, 17(2)197--216, 39(4)18--18, 43(2)8--8
• Choudhary, A., 21(6)1251--1297
• Choudhary, A., see Kandemir, M.
• Chow, Fred, 21(3)627--676
• Chow, Fred, see Kennedy, Robert
• Chow, Fred C., 12(4)501--536
• Chow:1990:PBC, 12(4)501--536
• Choy, Manhoi, 17(3)535--559
• Choy:1995:EFT, 17(3)535--559
• CHR, 31(2)8--8
• Christensen, Aske Simon, 25(6)814--875
• Christensen, Niels H., 26(1)191--220
• Christensen:2003:EJH, 25(6)814--875
• Christensen:2004:OPE, 26(1)191--220
• Christodorescu, 30(5)25--25
• Christodorescu, Mihai, 30(5)25--25
• Christodorescu, Mihai, see Preda, Mila Dalla
• CHRs, 27(6)1216--1269
• chunking, loop-, 35(1)3--3
• Ciancaglini, Mariangiola, Dezani-, 24(2)153--191
• Ciancarini, Paolo, 13(1)99--123
• Ciancarini, Paolo, see Brogi, Antonio
• CIC, 44(2)7--7
• Cifuentes, Cristina, 25(2)210--224
• Cifuentes, Cristina, see Ramsey, Norman
• Cilk, 35(1)3--3, 35(3)10--10
• Ciobâca, Stefan, 43(4)14--14, see Abate, Carmine
• CIRCAL, 7(2)270--298
• circuit, 5(3)405--421, 16(5)1512--1542, 19(6)1085--1087, 22(1)162--186, 45(3)16--16, 45(3)18--18
• CIRCUITS, 7(2)270--298, 8(3)344--387
• circular, 4(4)758--762, 8(4)577--608, 11(4)633--649, 12(3)429--462, 20(1)1--50, 40(4)17--17, 41(1)5--5
• circular, meta-, 38(1)2--2
• circularity, 16(5)1543--1571, 17(2)228--232, 18(1)73--108, 26(1)186--190
• circulation, 31(6)22--22
• circumstance, 19(3)413--426, 34(4)17--17
• CISC, 19(3)492--524
• cited, 41(4)21--21
• city, 4(3)382--401
• CL, 22(4)701--771
• claim, 32(4)14--14, 33(5)16--16, 38(4)15--15, 41(4)21--21, 43(1)3--3, 44(4)25--25
• claimed, 19(6)1085--1087, 21(2)175--188, 32(3)9--9, 39(2)9--9, 41(4)21--21, 43(1)3--3, 44(4)25--25
• Clara, 34(2)7--7
• clarification, 8(1)140--141, 16(6)1699--1718, 34(3)12--12, 35(4)12--12
• clarify, 14(4)589--616, 17(2)228--232, 22(2)296--339, 23(1)73--103, 27(6)1344--1395, 28(2)207--255
• clarifying, 43(1)4--4
• clarity, 28(4)619--695
• Clark, Douglas W., 1(2)266--286
• Clark, Douglas W., see Bobrow, Daniel G.
• Clark, Keith, 8(1)1--49
• Clark:1986:PPP, 8(1)1--49
• Clarke, 20(1)51--115
• Clarke, Charles L. A., 19(3)413--426
• Clarke, Dave, 37(2)6--6
• Clarke, Dave, see Patrignani, Marco
• Clarke, E. M., 8(2)244--263, 19(5)726--750
• Clarke, Edmund M., 16(5)1512--1542
• Clarke, Jr., Edmund Melson, 2(3)338--358
• Clarke, Lori A., 12(4)670--699, 13(1)179--179
• Clarke, Lori A., see Wileden, Jack C.
• Clarke:1980:SRI, 2(3)338--358
• Clarke:1986:AVF, 8(2)244--263
• Clarke:1994:MCA, 16(5)1512--1542
• Clarke:1997:URE, 19(3)413--426
• Clarke:1997:VPN, 19(5)726--750
• clashes, 21(4)813--847
• Class, First-, 14(4)471--489, 16(6)1719--1736, 35(3)11--11
• class, First-, 26(4)609--651, 35(3)11--11
• class, first-, 14(4)471--489, 16(5)1411--1430, 18(3)254--267, 22(5)861--931, 28(3)429--475, 34(3)12--12, 35(1)2--2, 35(3)11--11
• classic, 38(1)1--1, 41(2)10--10
• classical, 13(1)124--149, 14(2)201--264, 16(2)259--303, 16(3)775--797, 16(5)1472--1511, 18(1)73--108, 18(6)649--658, 18(6)659--682, 19(3)427--443, 20(5)1014--1066, 21(2)175--188, 21(3)627--676, 23(1)1--29, 28(4)747--793, 30(4)23--23, 31(4)16--16, 31(5)19--19, 33(6)19--19, 34(2)9--9, 34(4)17--17, 37(4)12--12, 40(4)17--17, 41(2)8--8, 41(4)20--20, 42(4)16--16, 43(2)6--6, 44(3)16--16
• classified, 22(2)187--223, 37(3)8--8
• classify, 20(2)344--387, 22(1)87--128, 34(1)6--6, 37(3)8--8
• classifying, 17(1)85--122, 46(2)5--5
• Claus, 32(4)14--14
• clause, 14(4)589--616, 16(1)3--34, 18(5)528--563, 18(6)752--779, 43(4)15--15
• Clausen, Lars Ræder, 22(3)471--489
• Clausen:2000:JBC, 22(3)471--489
• clauses., 16(4)1081--1096
• clean, 4(2)226--238, 14(2)201--264, 20(3)546--585, 20(5)1067--1109, 21(5)914--947, 30(2)8--8, 35(1)2--2
• clean-up, 30(2)8--8
• cleaner, 19(3)413--426
• cleanly, 43(1)4--4
• clear, 16(6)1811--1841, 37(3)8--8, 43(4)15--15
• clearance, 39(3)10--10
• clearer, 21(1)90--137
• clearly, 21(3)569--626
• Cleaveland, Rance, 15(1)36--72
• Cleaveland:1993:CWS, 15(1)36--72
• Clements, John, 26(6)1029--1052
• Clements:2004:TRM, 26(6)1029--1052
• Clemm, Geoffrey, 12(1)1--25
• Clemm:1990:MEI, 12(1)1--25
• Cliché-Based, 16(1)102--150
• Click, Cliff, 17(2)181--196, 38(4)15--15
• Click, Cliff, see Blackburn, Stephen M.
• Click:1995:CAC, 17(2)181--196
• client, 10(2)204--214, 16(3)986--1009, 22(6)1037--1080, 28(2)290--330, 30(4)19--19, 30(6)30--30, 31(3)11--11, 31(5)19--19, 32(3)8--8, 34(2)10--10, 38(2)4--4, 40(2)6--6, 45(3)17--17
• client, Contract-, 45(3)17--17
• client-server, 17(5)704--739, 34(2)10--10
• client-side, 28(2)207--255
• Clifton, Curtis, 28(3)517--575
• Clifton:2006:MDR, 28(3)517--575
• clinical, 40(3)10--10
• clinicians, 40(3)10--10
• clique, 16(3)370--386
• CLL, 40(4)17--17
• clock, 4(2)125--148, 29(6)33--33
• close, 9(2)164--197, 16(3)387--427, 19(6)1031--1052, 21(2)370--416, 21(5)948--976, 22(4)638--672, 34(3)14--14, 36(3)10--10, 41(4)20--20
• closed, 19(5)639--684, 20(5)1067--1109, 34(3)14--14, 34(4)15--15, 40(3)9--9, 40(3)11--11, 41(2)11--11
• closed-form, 39(2)8--8
• closely, 10(2)204--214, 16(3)387--427, 16(3)1010--1023, 16(4)1081--1096, 18(6)649--658, 19(4)586--616, 19(5)639--684, 22(3)490--505, 30(6)33--33, 31(4)16--16
• closer, 27(6)1147--1215
• Closest, 41(4)20--20
• closing, 21(3)627--676
• closure, 4(3)362--381, 16(5)1543--1571, 17(1)47--62, 17(5)704--739, 18(1)1--15, 19(1)48--86, 20(4)845--868, 21(3)527--568, 22(1)129--161, 32(3)7--7, 34(3)12--12, 40(3)9--9, 40(3)11--11
• closure-allocation, 22(1)129--161
• closure-based, transitive-, 34(3)11--11
• Cloud, 41(3)15--15
• CLP, 14(3)339--395, 17(4)635--671, 18(5)564--614, 20(6)1223--1250, 22(2)296--339, 22(5)861--931, 23(1)1--29, 27(2)236--263
• CLP\cal, 20(6)1223--1250
• CLPSET, 22(5)861--931
• CLP(SET)--is, 22(5)861--931
• CLU, 18(1)1--15, 21(1)11--45
• Club, 16(4)1248--1278
• clues, 20(1)166--207
• cluster, 22(3)490--505, 32(1)1--1, 35(2)7--7, 39(4)16--16, 39(4)17--17
• cluster-aware, 32(3)9--9
• clustering, 11(1)115--146, 39(4)16--16
• CM, 21(4)790--812, 21(4)813--847
• CM-5, 17(2)233--263
• CMEs, 21(4)703--746
• CNS, 19(6)1031--1052
• CO, 31(3)9--9
• co-capabilities, 28(2)290--330
• co-capability, 28(2)290--330
• co-induction, 41(1)5--5
• co-refactoring, 40(1)2--2
• coalesced, 18(3)300--324, 32(4)11--11
• coalescence, 32(4)11--11
• coalescence-based, 32(4)11--11
• coalescing, 18(3)300--324, 21(6)1251--1297, 26(4)735--765, 27(3)571--582, 32(4)11--11, 32(4)15--15
• Coalgebraic, 44(3)18--18
• Coalgebras, 44(3)18--18
• coarse, 28(2)331--388
• coarse-grained, 8(4)524--546, 34(1)3--3, 38(3)12--12, 41(3)19--19
• coarsened, 36(3)10--10
• coarsening, 36(3)10--10
• coarsening, forall-, 35(1)3--3
• coarsens, 36(3)10--10
• coarser, 17(4)600--634
• Coblenz, Michael, 42(3)14--14
• Coblenz:2020:OTA, 42(3)14--14
• Cocco, N., 12(2)253--302
• Cocco, N., see Bossi, A.
• code, dead-, 18(3)268--299
• Code, Machine-, 19(3)492--524, 35(1)4--4
• code, machine-, 35(1)4--4
• code, pseudo-, 30(6)33--33, 31(6)22--22
• code, source-, 21(4)703--746, 30(3)12--12, 32(6)23--23
• code, unreachable-, 17(2)181--196
• code-generation, 16(1)3--34
• code-generator, 17(3)461--486, 22(6)973--1001
• code-generator-generator, 7(4)560--599
• code-improving, 19(6)1053--1084
• code-placement, 21(5)977--1027
• code-scheduling, 17(5)740--776, 19(6)853--898
• code., 30(2)8--8, 30(4)22--22, 31(5)18--18
• codebase, 40(4)14--14
• codec, 29(1)3--3
• coded, hand-, 17(5)691--703
• Coder, TF-, 44(2)10--10
• CodeSurfer/x86, 32(6)23--23
• CODING, 13(3)295--314
• coding, 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, 16(6)1768--1810, 17(2)394--429, 18(1)16--29, 20(2)274--301, 22(2)378--415, 30(4)18--18, 31(3)9--9, 33(4)12--12, 37(1)3--3, 38(3)10--10
• Codish, Michael, 16(3)649--686, 17(1)28--44, 21(5)948--976, 29(2)10--10
• Codish, Michael, see Bruynooghe, Maurice
• Codish:1994:SAC, 16(3)649--686
• Codish:1995:IAI, 17(1)28--44
• Codish:1999:SGD, 21(5)948--976
• coefficient, 34(4)16--16
• coercion, 15(4)575--631, 18(6)730--751, 31(5)19--19
• coexist, 18(3)325--353, 19(1)48--86
• Coffin, Michael, 10(1)51--86
• Coffin, Michael, see Andrews, Gregory R.
• cognition, 40(3)10--10
• cognizant, 36(2)6--6
• Cogumbreiro, Tiago, 41(1)1--1
• Cogumbreiro:2019:DDV, 41(1)1--1
• Cohen, 7(4)680--685, 30(6)33--33
• Cohen, Albert, 37(4)12--12, 38(3)11--11, 38(3)12--12
• Cohen, Albert, see Bhaskaracharya, Somashekaracharya G., see Bondhugula, Uday, see Grosser, Tobias
• Cohen, Jacques, 5(4)532--553, 9(2)125--163, 14(1)54--106
• Cohen, Jacques, see Hickey, Timothy J.
• Cohen, Nachshon, 39(1)2--2
• Cohen, Norman H., 5(3)265--299, 7(4)680--685, 13(4)626--629
• Cohen:1983:CCA, 5(4)532--553
• Cohen:1983:ERR, 5(3)265--299
• Cohen:1985:NCE, 7(4)680--685
• Cohen:1987:PCU, 9(2)125--163
• Cohen:1991:TCT, 10(2)204--214, 13(4)626--629, 13(4)630--630
• Cohen:2017:LPC, 39(1)2--2
• coherence, 18(6)659--682, 31(3)12--12, 31(5)19--19, 42(1)2--2
• coherent, 16(4)1114--1116, 43(1)3--3
• cohesive, 16(3)456--492
• coincide, 16(4)1081--1096, 28(2)290--330, 33(1)5--5, 40(1)4--4, 42(1)4--4
• coincidence, 18(3)268--299
• coinduction, 31(4)15--15, 41(1)5--5
• coinductive, 31(4)15--15, 41(1)5--5
• collaborating, 45(3)17--17
• collaboration, 37(3)9--9, 46(1)2--2
• Collange, Sylvain, 35(4)13--13
• Collange, Sylvain, see Sampaio, Diogo
• collapsing, 14(2)173--200
• Collberg, Christian S., 29(6)35--35
• Collberg:2007:DGB, 29(6)35--35
• Colleagues, 19(3)492--524
• collect, 20(4)845--868, 21(5)1028--1075, 28(3)476--516, 29(1)2--2, 39(4)15--15, 41(1)3--3, 41(3)19--19, 43(4)14--14
• collected, 17(2)264--292, 18(4)424--453, 39(4)18--18, 41(3)19--19
• collected-not, 38(3)9--9
• collecting, 13(2)269--290, 21(3)430--501, 27(6)1097--1146, 28(3)476--516, 28(5)908--941, 38(3)9--9
• collection, 2(4)544--563, 4(4)650--667, 5(4)532--553, 6(3)333--344, 7(1)159--175, 7(4)501--538, 8(4)524--546, 13(1)150--178, 15(1)1--35, 16(2)205--258, 17(1)63--84, 18(4)424--453, 18(5)615--647, 20(4)724--767, 20(6)1131--1170, 21(3)430--501, 22(4)701--771, 22(5)773--815, 24(6)593--624, 27(6)1097--1146, 28(3)476--516, 28(4)715--746, 28(5)908--941, 29(4)20--20, 30(4)18--18, 30(6)32--32, 31(3)12--12, 34(1)5--5, 35(1)3--3, 35(2)7--7, 38(3)9--9, 40(4)15--15, 41(1)3--3, 42(1)4--4, 43(1)3--3
• collection, garbage-, 14(1)1--27
• collections, 9(3)297--318, 16(3)649--686, 16(5)1572--1612, 28(3)476--516, 30(2)8--8, 41(1)3--3
• collective, 44(4)26--26
• collector, 7(4)501--538, 15(1)1--35, 18(5)615--647, 27(6)1097--1146, 27(6)1344--1395, 28(1)1--69, 28(5)908--941, 29(1)2--2, 30(4)24--24, 36(1)3--3, 36(2)6--6, 40(4)15--15, 41(1)3--3, 44(4)22--22
• collision, 14(4)574--588
• Colony, 39(4)17--17
• colorability, 16(3)370--386, 18(3)300--324
• colored, 16(3)370--386
• coloring, 6(4)546--572, 12(4)501--536, 16(3)370--386, 16(3)428--455, 18(3)300--324, 21(5)895--913, 30(5)28--28, 30(6)33--33
• coloring, Graph-, 18(3)300--324
• Colussi, L., 6(1)55--67
• Colussi:1984:RES, 6(1)55--67
• COM, 31(3)12--12
• combating, 19(4)617--638
• combination, 9(2)198--234, 14(1)107--125, 15(1)36--72, 16(3)1010--1023, 16(4)1248--1278, 17(2)181--196, 18(5)564--614, 20(1)208--258, 20(2)302--343, 20(4)707--723, 20(6)1223--1250, 21(5)948--976, 21(6)1251--1297, 22(2)224--264, 27(6)1216--1269, 29(1)2--2, 29(2)10--10, 30(3)17--17, 30(6)33--33, 31(6)21--21, 35(1)5--5, 37(3)8--8, 39(1)3--3, 41(2)13--13
• combinator, 4(3)496--517, 6(2)159--174, 10(4)602--626, 11(3)482--482, 12(1)123--134, 13(1)21--51, 14(2)265--297, 19(6)899--915, 29(3)17--17, 34(4)17--17
• combinator-graph, 14(2)265--297
• combinatorial, 12(4)643--669, 20(6)1223--1250, 38(3)12--12, 41(3)17--17, 42(3)12--12
• Combinatorics, 14(2)265--297, 18(4)477--518
• combinatory, 19(6)899--915, 44(3)20--20
• combine, 4(3)362--381, 9(4)473--490, 17(2)181--196, 17(3)487--506, 20(4)768--844, 20(6)1265--1296, 21(1)46--89, 21(2)286--323, 22(6)973--1001, 28(4)715--746, 29(1)2--2, 29(1)3--3, 31(1)2--2, 32(1)3--3, 32(5)16--16, 32(5)18--18, 36(4)12--12, 39(2)7--7, 40(1)1--1, 40(1)3--3, 40(2)8--8, 40(3)12--12, 42(4)17--17
• combined, 16(3)370--386, 17(1)28--44, 17(2)181--196, 18(4)355--400, 19(6)853--898, 20(5)980--1013, 21(6)1196--1250, 22(1)162--186, 22(2)296--339, 22(4)701--771, 29(1)2--2, 30(3)17--17, 40(3)10--10, 44(4)25--25
• combining, 4(3)362--381, 16(6)1875--1903, 17(1)28--44, 17(2)181--196, 18(5)564--614, 19(3)492--524, 22(1)1--44, 30(6)32--32, 36(2)5--5, 39(4)14--14, 45(4)22--22
• come, 14(3)299--338, 15(4)706--734, 23(1)30--72, 33(5)16--16, 39(1)5--5, 41(1)4--4, 43(1)1--1, 44(2)10--10
• come, first-, 16(3)939--953
• Come-First-Served, First-, 13(4)558--576
• Comer, Douglas, 2(1)129--133
• Comer:1980:NMS, 2(1)129--133
• coming, 22(5)816--860, 27(6)1147--1215, 42(3)14--14
• command, 7(2)183--213, 9(2)277--295, 16(3)924--938, 16(3)954--985, 16(6)1699--1718, 31(4)16--16, 31(6)22--22, 40(1)4--4, 40(3)11--11, 41(3)18--18
• command-line-enabled, 32(4)15--15
• command/programming, 7(2)183--213
• command/programming/debugging, 7(2)183--213
• commence, 9(2)198--234
• commensurate, 10(2)189--203
• comment, 1(2)218--225, 6(3)432--439, 8(3)406--407, 11(4)666--668, 16(3)605--606, 31(1)1--1
• commerce, e-, 37(4)11--11
• commercial, 14(1)1--27, 22(4)638--672, 32(4)14--14, 37(3)10--10, 39(1)2--2, 41(3)18--18
• commercially, 14(2)265--297, 21(2)286--323, 34(4)17--17
• commit, 34(4)17--17
• commitment, 40(3)11--11
• committed-choice, 16(1)3--34
• committee, 4(2)239--257, 9(4)491--542
• commodity, 37(1)4--4
• common, 4(3)382--401, 9(3)367--389, 11(4)598--632, 13(1)52--98, 14(2)127--144, 14(4)490--520, 16(3)577--604, 16(3)649--686, 16(5)1467--1471, 16(5)1572--1612, 16(5)1613--1647, 16(6)1768--1810, 16(6)1811--1841, 17(2)293--330, 18(1)16--29, 20(2)344--387, 20(6)1131--1170, 21(1)1--10, 21(2)324--369, 21(3)569--626, 21(3)627--676, 22(3)471--489, 27(6)1216--1269, 28(2)207--255, 30(1)4--4, 30(3)12--12, 30(5)25--25, 31(2)7--7, 33(5)15--15, 34(3)14--14, 34(4)16--16, 35(3)10--10, 35(4)13--13, 37(1)3--3, 38(2)7--7, 38(4)16--16, 39(1)4--4, 39(2)8--8, 40(3)13--13, 42(3)14--14, 42(3)15--15
• commonly, 16(4)1319--1360, 19(5)639--684, 28(1)70--105, 30(4)20--20, 30(4)22--22, 34(3)12--12, 37(1)1--1, 38(2)7--7
• commonplace, 32(1)1--1
• communal, 28(4)715--746
• communicate, 5(2)223--235, 9(3)297--318, 15(5)745--770, 15(5)771--794, 16(2)259--303, 20(6)1131--1170, 30(4)18--18
• communicated, 4(4)527--551, 21(6)1251--1297
• communicating, 1(2)218--225, 2(2)234--238, 2(3)359--385, 4(1)37--43, 4(3)382--401, 4(4)527--551, 5(3)500--501, 5(4)620--640, 6(1)68--93, 6(2)175--191, 6(4)647--662, 7(1)62--79, 8(1)154--182, 13(3)399--442, 13(4)633--633, 15(1)36--72, 16(3)649--686, 21(5)914--947, 30(5)27--27, 32(4)14--14, 44(3)18--18, 44(4)26--26
• communication, 3(3)224--250, 4(4)678--686, 5(1)1--25, 5(2)223--235, 6(2)159--174, 6(2)215--238, 7(1)80--112, 7(2)270--298, 7(4)622--636, 11(3)404--417, 12(1)102--122, 13(1)99--123, 13(4)558--576, 14(3)417--461, 16(3)577--604, 16(3)954--985, 17(1)1--15, 17(1)123--156, 17(5)704--739, 18(4)454--476, 19(5)804--851, 20(2)436--482, 20(3)635--678, 20(6)1195--1222, 21(1)1--10, 21(6)1077--1136, 21(6)1251--1297, 22(4)673--700, 22(5)816--860, 28(4)715--746, 30(5)27--27, 31(6)22--22, 32(3)9--9, 32(4)12--12, 32(5)16--16, 34(1)5--5, 34(2)8--8, 34(4)17--17, 36(4)14--14, 37(1)3--3, 39(4)15--15, 40(3)10--10, 40(4)17--17, 41(2)9--9, 43(1)2--2, 44(3)18--18, 44(3)19--19
• COMMUNICATION, COMPUTER-, 7(1)80--112, 7(2)270--298, 8(1)154--182, 9(2)235--256, 10(1)51--86, 10(2)282--312, 10(4)513--554, 11(1)90--114, 11(2)249--283, 11(2)284--329, 11(2)330--344, 12(2)303--339, 12(4)537--565, 13(4)558--576, 14(3)417--461, 15(1)1--35, 15(1)36--72, 15(3)563--573, 15(4)706--734, 15(4)735--742, 16(2)259--303, 16(3)986--1009, 17(1)157--179, 17(3)535--559, 18(5)615--647, 20(1)51--115
• Communication-Centered, 34(2)8--8
• COMMUNICATIONS, 8(1)142--153, 8(1)154--182, 16(6)1661--1674
• communications, 4(3)382--401, 4(4)527--551, 6(2)215--238, 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, 15(1)36--72, 16(3)954--985, 32(5)16--16, 34(2)10--10
• community, 27(6)1147--1215, 36(2)5--5, 38(4)15--15
• commutative, 34(3)11--11
• commutative, non-, 39(2)9--9
• commutativity, 19(3)427--443, 19(6)942--991, 22(6)1002--1036, 24(5)554--565, 39(2)9--9
• commutativity, semi-, 22(6)1002--1036
• commute, 19(6)942--991
• compact, 1(2)266--286, 4(3)345--361, 4(4)650--667, 12(1)61--83, 20(5)980--1013, 36(1)4--4, 37(4)12--12
• Compactification, 9(4)543--566
• compacting, 5(4)532--553, 40(4)15--15
• compaction, 1(1)115--120, 4(4)650--667, 9(2)257--276, 13(3)295--314, 22(2)378--415, 27(5)882--945, 28(5)848--907, 33(3)10--10, 34(3)13--13, 39(1)2--2
• compactness, 16(3)607--648, 22(2)224--264
• comparable, 3(2)126--143, 6(4)505--526, 16(3)775--797, 18(6)752--779, 28(1)1--69, 31(2)6--6, 34(1)3--3, 40(1)1--1
• comparative, 12(4)670--699, 13(1)179--179, 23(2)105--186, 43(2)5--5, 45(1)4--4
• comparatively, 21(2)189--239
• compare, 14(2)265--297, 16(4)1156--1214, 16(4)1319--1360, 16(5)1449--1466, 17(1)28--44, 18(1)1--15, 18(6)659--682, 19(1)188--222, 20(2)344--387, 21(3)627--676, 21(5)977--1027, 22(3)431--470, 22(5)861--931, 23(2)105--186, 33(5)16--16, 34(1)3--3, 35(1)5--5, 36(2)7--7, 39(3)11--11, 40(2)5--5, 41(2)12--12
• compare-and-swap, 28(1)1--69, 40(3)12--12
• compared, 4(1)21--36, 6(4)546--572, 13(1)150--178, 16(1)35--101, 16(5)1431--1448, 17(4)635--671, 17(5)740--776, 19(1)188--222, 19(6)992--1030, 20(1)166--207, 20(3)586--634, 20(6)1265--1296, 21(1)138--173, 27(6)1097--1146, 28(3)476--516, 28(4)577--618, 28(5)908--941, 30(3)17--17, 30(4)23--23, 30(6)33--33, 31(2)8--8, 32(1)3--3, 32(4)13--13, 34(3)14--14, 36(3)10--10, 37(1)3--3, 37(1)4--4, 39(4)18--18, 41(1)2--2, 41(3)18--18, 41(4)23--23, 42(3)14--14
• comparing, 16(4)1248--1278, 27(3)571--582, 30(1)4--4, 39(2)8--8, 41(3)15--15
• comparison, 4(2)258--282, 5(4)532--553, 7(1)159--175, 8(4)419--490, 11(4)491--516, 17(5)691--703, 20(1)116--165, 20(2)344--387, 27(6)1270--1343, 28(1)134--174, 33(6)21--21, 37(2)5--5, 37(3)8--8, 38(4)13--13, 39(2)7--7, 39(4)15--15, 41(3)18--18, 41(4)21--21
• compartment, 38(3)9--9
• compartmentalized, 38(3)9--9
• compassion, 40(3)10--10
• compatibility, 16(6)1699--1718, 22(3)471--489, 31(5)19--19, 38(3)8--8, 40(4)17--17
• compatible, 4(2)179--195, 10(2)204--214, 16(6)1875--1903, 29(2)13--13, 31(5)19--19, 40(4)17--17
• compatible, backward-, 31(2)7--7
• compatible, plug-, 46(2)7--7
• CompCert, 36(1)4--4, 37(2)7--7
• compensation, 16(4)1156--1214, 30(2)8--8, 33(3)10--10
• competes, 30(5)28--28, 43(1)3--3
• competing, 30(6)34--34
• competitive, 18(1)30--72, 20(6)1223--1250, 22(4)673--700
• compilable, 35(1)2--2, 42(3)15--15
• compilation-oriented, 16(4)1361--1398
• compile, 3(2)126--143, 9(3)367--389, 13(2)181--210, 13(2)237--268, 14(2)147--172, 16(1)3--34, 16(2)205--258, 16(6)1699--1718, 21(5)895--913, 22(4)701--771, 22(5)932--972, 29(6)33--33, 30(6)30--30, 34(2)7--7
• compile, cross-, 16(6)1699--1718
• Compile-Time, 3(1)11--23, 9(3)367--389
• compile-time, 13(2)211--236, 13(2)269--290, 19(6)853--898, 21(3)430--501, 21(3)627--676, 22(1)129--161, 22(4)673--700, 28(5)848--907, 30(3)17--17, 30(6)31--31, 32(4)15--15, 33(3)10--10, 44(3)17--17
• compiled, 8(4)491--523, 8(4)547--576, 13(2)181--210, 14(4)574--588, 16(1)3--34, 16(3)577--604, 16(5)1648--1659, 16(6)1699--1718, 21(1)90--137, 21(6)1196--1250, 27(6)1049--1096, 28(1)134--174, 30(6)30--30, 31(5)18--18, 33(4)13--13, 33(5)15--15, 35(1)2--2, 43(1)1--1, 43(4)14--14
• compiler, compiler-, 4(4)615--649
• compiler-assisted, 28(5)942--965
• compiler-based, 19(3)525--555
• compiler-compiler, 4(4)615--649
• compiler-designated, 38(4)16--16
• Compiler-Driven, 38(2)5--5
• compiler-driven, 38(2)5--5
• compiler-generated, 21(2)286--323
• compiler-injected, 36(2)6--6
• Compiler-Level, 45(2)10--10
• compiler., 16(6)1768--1810, 32(3)7--7
• compiler/architect, 37(1)2--2
• compilers, cross-, 6(4)505--526
• compilers-in, 34(1)3--3
• compilers., 16(5)1613--1647
• compiling, 2(2)203--224, 5(4)554--595, 8(4)491--523, 9(2)125--163, 15(3)400--462, 16(5)1613--1647, 17(1)1--15, 17(2)233--263, 18(6)659--682, 22(5)773--815, 22(5)816--860, 24(4)334--368, 29(1)2--2, 32(3)7--7
• complement, 19(1)7--47, 37(4)12--12, 38(1)3--3
• complementary, 16(3)428--455, 16(6)1661--1674, 28(2)256--289, 30(5)29--29, 35(1)2--2, 39(4)17--17, 40(3)10--10
• complementation, 19(1)7--47
• complemented, 17(2)264--292
• complete, 4(1)44--82, 4(2)149--178, 7(4)501--538, 13(1)124--149, 15(4)632--658, 15(5)745--770, 16(3)775--797, 16(3)872--923, 16(5)1411--1430, 16(6)1875--1903, 17(1)1--15, 17(1)16--27, 17(2)366--393, 17(2)394--429, 17(4)635--671, 18(4)424--453, 19(4)586--616, 19(5)639--684, 19(5)685--725, 19(6)916--941, 19(6)942--991, 19(6)1031--1052, 20(3)483--545, 20(4)768--844, 21(2)189--239, 21(2)370--416, 22(5)932--972, 29(5)29--29, 30(5)25--25, 31(5)19--19, 33(6)19--19, 34(1)3--3, 34(1)6--6, 35(1)2--2, 36(1)1--1, 36(4)14--14, 37(4)11--11, 37(4)12--12, 39(1)4--4, 40(3)9--9, 40(4)15--15, 41(1)1--1, 41(2)11--11, 41(3)17--17, 41(4)20--20, 41(4)21--21, 42(1)3--3, 43(4)17--17
• complete, 2EXPTIME-, 37(3)9--9
• complete, expspace-, 34(1)6--6
• complete, EXSPACE-, 22(1)87--128
• complete, NEXPTIME-, 32(1)2--2
• complete, NP-, 6(4)527--545, 17(4)600--634, 18(3)235--253, 18(5)528--563, 20(4)869--916, 21(4)790--812, 36(3)9--9, 39(4)15--15
• complete, PSPACE-, 22(1)87--128, 36(3)9--9, 37(3)9--9
• completed, 15(4)632--658
• completely, 4(3)362--381, 14(2)147--172, 16(3)1010--1023, 19(3)525--555, 20(6)1297--1322, 22(3)490--505, 30(6)34--34, 31(5)17--17, 32(3)9--9, 33(5)17--17, 34(2)7--7, 37(3)10--10
• completeness, 14(3)396--416, 15(1)208--208, 15(4)575--631, 15(4)632--658, 16(5)1613--1647, 17(1)16--27, 17(4)600--634, 20(4)707--723, 26(1)186--190, 30(5)25--25, 38(3)12--12, 39(1)4--4, 41(1)1--1, 43(4)15--15, 43(4)17--17
• completeness, NP-, 21(4)790--812
• completion, 15(4)632--658, 20(5)1067--1109, 23(1)73--103, 23(2)243--272, 31(5)19--19, 32(4)15--15, 34(1)6--6
• complex, 4(4)563--584, 4(4)650--667, 5(2)127--163, 7(2)183--213, 9(2)198--234, 11(4)491--516, 14(2)147--172, 16(3)607--648, 16(4)1361--1398, 16(6)1661--1674, 17(3)461--486, 18(1)16--29, 18(4)454--476, 19(1)7--47, 20(5)1067--1109, 20(6)1223--1250, 21(5)895--913, 22(2)296--339, 22(4)701--771, 22(5)932--972, 27(6)1270--1343, 30(4)23--23, 30(6)32--32, 31(5)18--18, 33(1)4--4, 33(4)14--14, 34(4)17--17, 35(2)8--8, 35(4)14--14, 37(2)6--6, 37(4)12--12, 38(2)4--4, 38(3)12--12, 38(4)16--16, 40(2)8--8, 41(1)5--5, 41(1)6--6, 41(2)9--9, 41(3)15--15, 41(3)18--18, 43(1)2--2, 43(1)3--3
• COMPLEXITY, 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, 17(6)805--843, 18(5)528--563, 20(2)259--273, 20(6)1265--1296
• complexity, 3(2)126--143, 4(2)258--282, 7(4)501--538, 8(1)109--139, 10(2)248--266, 13(2)211--236, 14(3)339--395, 15(4)632--658, 15(5)826--875, 16(1)35--101, 16(3)1051--1077, 16(5)1472--1511, 16(5)1512--1542, 17(2)228--232, 17(2)331--365, 17(3)535--559, 17(4)600--634, 17(4)635--671, 18(3)268--299, 18(5)528--563, 19(1)1--6, 20(1)1--50, 20(1)116--165, 20(2)274--301, 20(2)344--387, 20(3)586--634, 20(3)635--678, 21(1)90--137, 21(1)138--173, 21(3)417--429, 21(3)502--526, 21(4)790--812, 21(4)813--847, 22(1)87--128, 22(5)816--860, 27(6)1270--1343, 28(1)175--205, 30(3)13--13, 30(4)23--23, 31(2)8--8, 31(4)16--16, 31(6)21--21, 32(4)14--14, 32(4)15--15, 32(6)21--21, 33(6)21--21, 34(3)12--12, 35(1)5--5, 35(3)10--10, 35(3)11--11, 36(1)1--1, 36(3)9--9, 38(4)13--13, 39(2)7--7, 40(2)7--7, 42(3)13--13, 43(1)2--2, 43(4)17--17, 44(3)14--14, 44(3)15--15, 44(3)17--17
• complexity, safe-for-space-, 22(1)129--161
• complexity, time-, 10(2)248--266
• compliance, 40(1)2--2
• compliant, 39(4)14--14
• compliant, Java-, 22(2)265--295
• complicated, 16(4)1156--1214, 17(3)461--486, 18(4)477--518, 19(4)568--585, 20(6)1265--1296, 40(4)15--15
• complications, 16(3)687--726
• comply, 31(1)1--1
• component, 4(3)382--401, 4(4)615--649, 5(3)405--421, 8(4)419--490, 8(4)491--523, 8(4)547--576, 9(2)198--234, 9(3)297--318, 15(1)73--132, 16(1)151--174, 16(2)259--303, 16(3)843--871, 16(5)1411--1430, 16(6)1811--1841, 17(1)85--122, 17(3)507--534, 17(5)777--803, 18(4)454--476, 18(4)477--518, 19(2)292--333, 19(5)639--684, 19(6)853--898, 19(6)1053--1084, 19(6)1085--1087, 21(2)370--416, 21(6)1137--1195, 22(4)583--637, 28(1)134--174, 29(1)3--3, 30(4)18--18, 30(6)32--32, 31(3)11--11, 31(4)13--13, 32(3)7--7, 33(1)3--3, 33(4)12--12, 33(4)14--14, 33(5)17--17, 34(3)14--14, 35(1)2--2, 35(1)4--4, 35(3)9--9, 35(3)11--11, 37(4)12--12, 40(3)9--9, 40(4)15--15, 41(3)16--16, 42(3)15--15, 43(1)2--2, 43(2)6--6
• component-base, 20(2)274--301
• component-based, 20(2)274--301
• componential, 21(2)370--416
• comportment, 19(1)7--47
• composable, 28(2)331--388, 35(1)2--2, 36(1)2--2, 42(4)17--17
• compose, 20(1)51--115, 30(6)32--32, 32(5)19--19, 36(1)3--3, 40(2)8--8
• composed, 13(1)99--123, 17(2)394--429, 18(4)454--476, 19(6)942--991, 20(1)51--115, 20(2)274--301, 28(2)331--388, 33(4)14--14, 34(3)14--14, 34(4)15--15, 40(4)17--17, 45(3)15--15, 46(2)6--6
• composing, 13(1)150--178, 15(1)73--132, 16(5)1543--1571, 16(6)1719--1736, 32(5)19--19
• composite, 9(2)198--234, 14(4)574--588, 16(2)259--303, 35(1)3--3
• composition, 13(1)52--98, 16(3)577--604, 16(3)843--871, 16(6)1661--1674, 17(3)507--534, 18(1)16--29, 18(4)454--476, 19(1)7--47, 20(2)344--387, 21(2)324--369, 23(5)626--656, 31(3)12--12, 32(2)5--5, 32(5)19--19, 33(4)14--14, 34(3)14--14, 34(4)15--15, 34(4)17--17, 35(1)2--2, 36(1)3--3, 38(1)1--1, 38(3)12--12, 39(2)9--9, 40(2)8--8, 40(4)17--17, 41(2)9--9
• composition, self-, 42(1)3--3
• compositional, 16(2)259--303, 16(3)843--871, 18(4)454--476, 19(5)685--725, 20(5)917--979, 32(2)5--5, 32(3)7--7, 33(4)14--14, 33(5)17--17, 36(1)3--3, 38(1)2--2, 40(4)17--17, 43(1)2--2, 43(2)6--6, 43(3)9--9, 43(4)16--16, 44(3)18--18, 46(1)4--4
• compositionality, 16(2)259--303, 18(4)454--476
• compositionally, 36(2)6--6, 43(1)2--2, 43(4)16--16, 45(1)1--1
• compound, 18(4)424--453, 33(5)17--17
• comprehension, 32(1)1--1
• comprehensive, 5(2)127--163, 13(1)52--98, 28(1)134--174, 30(6)32--32, 32(4)11--11, 38(4)14--14, 40(3)13--13, 43(2)5--5, 43(2)8--8
• compressed, 6(4)546--572, 20(1)116--165, 29(1)3--3, 46(2)7--7
• compression, 6(4)546--572, 13(3)295--314, 20(6)1265--1296, 22(2)378--415, 22(3)471--489, 29(1)3--3
• compressors, 29(1)3--3
• comprise, 42(4)18--18, 44(4)25--25, 44(4)26--26
• comprising, 33(1)3--3
• compromise, 28(4)619--695
• compromising, 21(1)138--173, 38(4)16--16
• computability, 11(4)633--649, 16(5)1467--1471, 19(1)1--6, 22(1)162--186, 22(2)416--430, 28(1)175--205
• computable, 4(3)402--454, 16(3)328--369, 22(5)861--931, 38(1)1--1
• COMPUTATION, 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
• computational, 15(4)659--680, 16(6)1768--1810, 17(2)331--365, 17(2)366--393, 19(2)386--412, 19(6)916--941, 21(3)627--676, 21(6)1077--1136, 28(1)175--205, 30(6)32--32, 31(2)8--8, 32(1)3--3, 32(3)9--9, 32(6)21--21, 35(4)13--13, 37(4)12--12, 38(1)2--2, 41(3)15--15, 45(4)22--22
• computationally, 9(3)319--349, 13(1)124--149, 17(2)331--365, 20(4)869--916
• compute, 4(4)615--649, 6(4)527--545, 8(4)491--523, 15(1)133--181, 16(4)1097--1113, 16(5)1431--1448, 16(5)1467--1471, 17(1)47--62, 17(2)264--292, 17(4)561--575, 18(4)424--453, 19(6)853--898, 20(1)166--207, 20(1)208--258, 20(3)586--634, 20(4)869--916, 21(1)1--10, 21(4)703--746, 22(4)638--672, 22(5)816--860, 27(6)1147--1215, 30(1)4--4, 30(4)19--19, 31(3)10--10, 32(3)9--9, 34(4)16--16, 35(1)5--5, 36(1)1--1, 40(2)7--7, 40(3)13--13, 41(1)3--3
• computed, 11(4)633--649, 13(1)150--178, 16(2)175--204, 17(2)394--429, 22(2)416--430, 27(6)1147--1215, 28(2)256--289, 31(5)17--17, 32(3)8--8, 33(5)17--17, 38(4)13--13, 39(2)8--8, 40(3)9--9
• computed, pre-, 41(3)16--16
• computed, run-time-, 22(5)932--972
• COMPUTER, 10(2)215--247, 12(2)143--177
• computer, human-, 21(6)1077--1136
• COMPUTER-AIDED, 7(2)334--347
• Computer-aided, 16(1)102--150, 16(3)843--871
• Computer-Assisted, 14(1)54--106
• COMPUTER-COMMUNICATION, 7(1)80--112, 7(2)270--298, 8(1)154--182, 9(2)235--256, 10(1)51--86, 10(2)282--312, 10(4)513--554, 11(1)90--114, 11(2)249--283, 11(2)284--329, 11(2)330--344, 12(2)303--339, 12(4)537--565, 13(4)558--576, 14(3)417--461, 15(1)1--35, 15(1)36--72, 15(3)563--573, 15(4)706--734, 15(4)735--742, 16(2)259--303, 16(3)986--1009, 17(1)157--179, 17(3)535--559, 18(5)615--647, 20(1)51--115
• COMPUTERS, 19(3)525--555
• COMPUTING, 16(1)102--150, 16(3)986--1009
• con, 21(2)189--239
• concatenation, 14(4)471--489
• conceived, 5(2)236--264, 45(2)13--13
• concensus, 13(1)124--149
• concentrated, 17(2)233--263
• concentration, 40(2)7--7
• concept, 4(1)83--112, 4(4)585--600, 4(4)668--677, 4(4)678--686, 4(4)687--710, 7(2)183--213, 8(3)292--325, 9(4)491--542, 10(2)204--214, 15(4)706--734, 16(1)3--34, 17(1)1--15, 17(2)293--330, 17(2)366--393, 17(3)431--447, 18(4)454--476, 19(3)492--524, 19(4)568--585, 20(1)208--258, 20(3)483--545, 22(2)296--339, 22(3)540--582, 22(5)816--860, 29(1)6--6, 30(6)31--31, 31(2)6--6, 32(4)14--14, 33(6)20--20, 36(4)12--12, 39(2)7--7, 39(4)14--14, 43(1)3--3, 44(3)14--14, 44(4)22--22
• conceptual, 5(3)405--421, 14(1)54--106, 21(3)627--676
• conceptually, 16(3)649--686, 39(4)17--17
• concern, 9(3)408--440, 14(2)201--264, 16(3)456--492, 16(3)577--604, 18(1)30--72, 18(2)175--234, 20(1)1--50, 20(2)274--301, 21(5)895--913, 32(6)24--24, 41(2)12--12, 43(3)9--9
• concerned, 13(1)21--51, 22(2)416--430, 40(2)7--7
• concerning, 4(2)196--225, 7(1)62--79, 13(1)21--51, 17(5)777--803, 21(2)370--416, 31(3)9--9, 33(5)16--16, 35(2)7--7, 41(2)12--12
• concert, 7(4)501--538, 15(1)73--132, 21(4)703--746
• concise, 4(4)563--584, 10(2)204--214, 22(2)224--264, 34(3)12--12, 36(2)7--7
• concisely, 14(4)471--489
• conclude, 14(4)574--588, 18(4)454--476, 19(1)153--187, 20(2)274--301, 22(2)265--295, 32(3)8--8
• Concluding, 31(6)20--20
• conclusion, 4(2)226--238, 10(2)248--266, 11(4)633--649, 14(2)265--297, 14(4)574--588, 16(4)1097--1113, 16(6)1675--1683, 17(1)16--27, 28(4)747--793, 41(4)21--21
• concrete, 3(3)293--317, 6(4)632--646, 9(3)297--318, 17(2)181--196, 28(4)747--793, 30(3)12--12, 30(5)25--25, 31(1)5--5, 31(5)19--19, 35(1)4--4, 36(4)11--11, 37(1)3--3, 39(2)7--7, 46(1)3--3
• concretely, 27(6)1049--1096
• concurrency, 4(1)44--82, 7(2)244--269, 7(2)270--298, 7(2)348--357, 7(3)404--425, 7(4)622--636, 8(2)244--263, 9(1)25--53, 9(2)235--256, 9(3)350--366, 9(4)618--645, 10(1)156--177, 10(3)374--402, 10(3)420--455, 10(4)579--601, 11(1)90--114, 11(2)249--283, 11(4)562--584, 12(2)178--202, 12(2)203--223, 12(3)396--428, 13(1)124--149, 15(1)36--72, 15(1)182--205, 15(3)563--573, 15(5)771--794, 16(6)1719--1736, 17(3)535--559, 18(3)268--299, 19(2)292--333, 19(6)899--915, 20(3)483--545, 21(2)240--285, 21(4)747--789, 21(5)914--947, 22(3)506--539, 26(5)769--804, 27(6)1270--1343, 30(5)27--27, 31(1)1--1, 31(5)19--19, 32(4)14--14, 32(5)16--16, 32(5)18--18, 33(1)2--2, 34(1)4--4, 35(1)3--3, 35(3)10--10, 37(3)8--8, 40(3)12--12, 41(1)1--1, 42(4)17--17, 43(2)8--8, 43(3)10--10, 44(1)1--1, 44(4)22--22
• Concurrency-related, 34(1)4--4
• concurrency.Jade, 20(3)483--545
• Concurrent-by-Default, 36(1)2--2
• concurrent-by-default, 36(1)2--2
• Concurrent-Program, 16(3)577--604
• concurrent-programming, 16(3)577--604
• concurrent-transformation, 16(3)577--604
• concurrently, 16(4)1248--1278, 18(4)454--476, 23(1)73--103, 34(1)4--4
• condensation, 20(5)917--979
• condensing, 20(5)1067--1109
• Condit, Jeremy, 27(3)477--526
• Condit, Jeremy, see Necula, George C.
• condition, 4(2)179--195, 4(2)226--238, 4(4)711--732, 8(4)547--576, 9(4)491--542, 11(4)633--649, 12(3)463--492, 12(4)643--669, 13(1)150--178, 15(1)182--205, 16(2)259--303, 16(3)687--726, 16(6)1875--1903, 17(1)63--84, 18(2)175--234, 18(3)325--353, 19(3)427--443, 19(5)804--851, 19(6)1053--1084, 20(3)635--678, 21(6)1137--1195, 22(1)162--186, 22(2)296--339, 27(6)1216--1269, 27(6)1270--1343, 28(2)207--255, 28(2)256--289, 28(5)942--965, 31(1)1--1, 31(2)7--7, 31(4)14--14, 31(5)18--18, 33(1)4--4, 33(4)14--14, 34(1)2--2, 35(4)13--13, 36(1)3--3, 36(3)10--10, 38(2)4--4, 38(2)7--7, 38(3)12--12, 39(1)3--3, 40(1)2--2, 40(2)6--6, 41(3)16--16, 42(1)4--4, 44(4)25--25
• condition, ill-, 18(3)325--353
• condition, pre-post-, 15(5)876--895
• conditional, 4(2)125--148, 4(4)563--584, 4(4)711--732, 13(2)181--210, 14(2)147--172, 14(3)417--461, 16(4)1248--1278, 17(1)16--27, 18(1)73--108, 19(3)492--524, 19(5)639--684, 20(3)635--678, 21(5)1028--1075, 21(6)1077--1136, 21(6)1251--1297, 25(4)401--451, 29(5)29--29, 30(4)18--18, 35(2)6--6, 36(1)1--1, 40(1)4--4, 40(3)9--9, 41(3)16--16, 44(1)4--4, 44(4)25--25
• conditional, type-, 33(4)12--12
• conditioning, 40(1)4--4, 42(2)6--6, 42(2)9--9
• conditioning-in, 40(1)4--4
• conditions, post-, 8(2)185--214, 9(1)1--24, 10(3)403--419, 12(3)463--492, 15(5)876--895, 16(6)1811--1841, 19(1)48--86, 19(3)427--443, 21(4)747--789
• conditions, pre/post-, 33(5)15--15
• condsw, 19(3)462--491
• conduct, 22(3)540--582, 36(3)9--9, 38(4)15--15, 41(4)21--21
• conducted, 14(2)265--297, 17(5)691--703, 28(1)134--174, 28(4)715--746, 39(4)17--17
• Conference, 14(2)145--146
• confidence, 32(2)4--4, 32(4)14--14
• confidential, 45(1)3--3
• confidentiality, 35(3)9--9, 39(3)10--10, 45(1)3--3
• configurable, 39(2)7--7
• configuration, 21(1)1--10, 21(5)977--1027, 23(1)73--103, 29(1)2--2, 30(6)30--30, 32(2)5--5, 36(4)14--14
• configuring, 30(6)30--30
• confined, 29(6)32--32
• confines, 34(2)9--9
• confirm, 36(2)7--7, 41(3)17--17, 43(2)8--8
• confirmed, 43(1)3--3, 43(4)15--15
• conflict, 4(3)323--344, 6(4)632--646, 17(3)431--447, 17(4)561--575, 21(4)703--746, 21(5)977--1027, 33(1)2--2, 38(4)16--16, 43(3)10--10
• conflicting, 4(3)382--401
• confluence, 20(2)436--482, 21(5)914--947, 30(5)27--27, 32(5)16--16
• confluent, 14(4)589--616, 19(5)685--725
• conform, 28(3)389--428
• conformance, 32(2)4--4, 34(1)2--2
• confound, 4(3)382--401
• confuse, 4(3)382--401
• congruence, 28(2)290--330, 32(4)12--12, 33(1)5--5, 41(4)22--22, 42(1)4--4
• congruent, 16(4)1279--1318, 34(4)17--17
• conjecture, 8(2)264--271, 14(4)574--588, 39(1)3--3, 42(1)2--2
• conjectures-it, 39(1)3--3
• Conjoining, 17(3)507--534
• conjunct, 33(5)17--17
• conjunction, 4(2)179--195, 13(2)181--210, 17(3)507--534, 22(5)861--931, 31(3)11--11, 34(1)2--2, 38(3)12--12
• connect, 9(3)319--349, 35(4)12--12, 38(2)4--4
• connected, 4(4)615--649, 17(1)85--122, 18(6)649--658, 19(6)1085--1087, 20(6)1131--1170, 30(6)32--32, 31(3)10--10, 37(2)7--7, 40(1)3--3, 40(4)17--17, 46(1)2--2
• connecting, 31(3)12--12
• connection, 5(2)127--163, 18(3)325--353, 18(5)519--527, 19(6)916--941, 21(2)370--416, 21(5)948--976, 22(1)162--186, 40(2)6--6
• Connectionism, 19(1)188--222
• connective, 31(3)11--11
• Connor, R. C. H., 13(3)342--371
• Connor, R. C. H., see Morrison, R.
• conquer, divide-and-, 4(4)733--757, 19(3)444--461, 32(3)9--9, 41(4)20--20, 46(2)8--8
• Conquer-like, Divide-and-, 46(2)8--8
• Cons, 11(4)598--632
• consa,b, 22(1)162--186
• conscious, resource-, 37(4)11--11
• consecutive, 20(6)1171--1194, 31(6)20--20
• Consel, 17(1)47--62
• Consel, Charles, 15(3)463--493, 16(5)1431--1448, 22(3)471--489, 25(4)452--499, 30(4)22--22
• Consel, Charles, see Ashley, J. Michael, see Bhatia, Sapan, see Clausen, Lars Ræder, see Schultz, Ulrik P.
• Consel:1993:PPE, 15(3)463--493
• consensus, 20(6)1171--1194
• consequence, 18(2)175--234, 18(3)268--299, 19(5)639--684, 31(5)17--17, 37(3)8--8, 38(1)2--2, 40(3)13--13
• consequently, 15(1)1--35, 17(2)366--393, 18(1)73--108, 20(2)302--343
• conservative, 13(2)181--210, 14(4)589--616, 18(3)300--324, 27(3)571--582, 28(3)517--575, 28(5)908--941
• conservatively, 17(2)264--292, 20(1)1--50, 21(4)747--789, 30(4)23--23, 33(4)12--12, 38(2)5--5, 40(1)4--4
• conserves, 28(1)134--174
• consider, 4(4)668--677, 5(2)236--264, 13(2)237--268, 14(3)396--416, 14(4)574--588, 15(5)771--794, 16(2)175--204, 16(3)456--492, 16(3)649--686, 16(3)924--938, 16(4)1097--1113, 16(4)1215--1247, 17(1)28--44, 17(2)331--365, 17(2)366--393, 17(3)507--534, 18(3)254--267, 18(3)268--299, 19(1)48--86, 19(3)525--555, 20(2)344--387, 21(2)175--188, 21(2)240--285, 21(3)502--526, 21(6)1251--1297, 22(1)87--128, 28(3)429--475, 29(5)29--29, 32(4)11--11, 32(4)13--13, 32(4)14--14, 33(1)5--5, 36(1)1--1, 36(1)3--3, 36(2)6--6, 36(4)11--11, 36(4)14--14, 38(1)3--3, 38(3)12--12, 40(1)4--4, 40(2)7--7, 40(3)9--9, 41(1)3--3, 41(1)5--5, 41(4)23--23, 43(1)4--4, 46(1)4--4
• considerable, 28(5)942--965, 41(1)3--3, 41(3)19--19
• considerably, 4(4)585--600, 14(3)299--338, 14(4)589--616, 21(3)527--568, 21(5)895--913, 21(6)1137--1195, 30(4)23--23, 32(3)9--9, 34(3)14--14, 43(3)10--10
• consideration, 14(1)1--27, 14(2)127--144, 20(6)1223--1250, 34(4)15--15
• considered, 4(2)179--195, 6(2)159--174, 8(4)524--546, 13(2)181--210, 17(4)561--575, 18(2)139--174, 20(4)869--916, 20(6)1223--1250, 21(1)46--89, 22(2)378--415, 22(5)861--931, 26(1)47--56, 28(1)1--69, 29(2)13--13, 31(6)21--21, 31(6)22--22, 34(1)2--2, 34(3)12--12, 39(1)4--4, 41(4)22--22, 42(1)4--4
• considering, 9(4)491--542, 30(3)17--17, 35(1)5--5, 37(1)1--1
• consist, 8(4)547--576, 9(2)125--163, 9(4)473--490, 13(2)211--236, 14(1)54--106, 15(4)632--658, 15(5)771--794, 15(5)876--895, 16(3)649--686, 16(4)1361--1398, 17(2)264--292, 18(5)519--527, 19(5)639--684, 20(3)546--585, 20(4)724--767, 20(6)1297--1322, 22(1)87--128, 23(2)105--186, 27(6)1049--1096, 28(3)389--428, 30(1)4--4, 30(6)34--34, 32(4)13--13, 40(2)8--8, 45(3)17--17
• consistency, 4(3)382--401, 10(2)189--203, 13(2)237--268, 15(1)182--205, 17(2)264--292, 19(3)492--524, 20(6)1131--1170, 21(3)677--701, 21(6)1196--1250, 22(6)1002--1036, 32(3)9--9, 34(1)4--4, 36(2)7--7, 38(4)16--16, 39(2)6--6, 41(2)8--8, 43(2)8--8, 43(3)10--10, 44(2)8--8, 45(1)6--6
• consistent, 8(4)524--546, 14(4)521--573, 14(4)589--616, 17(2)264--292, 30(5)26--26, 42(1)2--2, 44(1)1--1, 44(2)8--8
• consistently, 29(1)2--2, 32(3)9--9, 32(5)17--17, 34(1)4--4, 39(4)18--18
• consisting, 14(3)339--395, 18(4)424--453, 20(1)51--115, 28(1)70--105, 28(2)331--388, 30(6)33--33, 35(3)11--11
• conspiring, 40(4)16--16
• Constable, Robert L., 1(1)98--114, 6(1)94--117, 7(1)113--136
• Constable, Robert L., see Bates, Joseph L.
• Constable:1979:HAF, 1(1)98--114
• Constable:1984:TTP, 6(1)94--117
• constant, 6(4)527--545, 6(4)546--572, 10(2)189--203, 13(2)181--210, 13(2)269--290, 13(4)626--629, 13(4)630--630, 14(2)147--172, 14(4)471--489, 17(1)123--156, 17(2)181--196, 17(3)535--559, 19(1)1--6, 19(5)639--684, 19(6)992--1030, 20(1)116--165, 20(6)1265--1296, 20(6)1297--1322, 21(2)240--285, 23(1)73--103, 28(5)848--907, 31(2)8--8, 31(3)10--10, 31(4)13--13, 31(6)21--21, 33(3)11--11, 34(3)14--14, 35(1)5--5, 38(2)7--7, 40(3)9--9, 41(4)23--23
• constant-time, 15(4)659--680, 30(6)33--33
• constituent, 31(3)12--12
• constitute, 4(4)585--600, 16(2)205--258, 18(6)659--682, 21(1)90--137, 22(6)1037--1080, 33(3)9--9, 34(1)6--6
• constrain, 16(3)456--492, 40(4)16--16
• constrained, 10(2)189--203, 10(3)374--402, 18(5)519--527, 43(4)15--15
• Constrained, Neighborhood-, 11(4)562--584
• Constrained, Time-, 16(6)1661--1674
• constrained, time-, 23(1)73--103
• constraining, 18(2)175--234
• constraint, linear-, 34(4)16--16
• Constraint-Based, 20(3)635--678, 40(1)2--2
• constraint-based, 18(1)30--72, 21(2)370--416, 21(6)1137--1195, 29(1)1--1, 35(4)14--14, 40(1)2--2
• constraint-logic, 40(1)2--2
• Constraint-Oriented, 3(4)353--387
• constraint-oriented, 16(6)1661--1674
• constraint-solver, 14(3)339--395
• Constraint-Solving, 37(1)2--2
• constraint-solving, 17(4)635--671, 37(1)2--2, 37(1)3--3
• constraint., 31(1)2--2
• construct., 13(2)237--268
• constructed, 14(4)490--520, 16(2)205--258, 16(3)370--386, 16(3)1024--1050, 16(3)1051--1077, 16(4)1215--1247, 17(1)28--44, 19(3)462--491, 20(2)302--343, 21(2)175--188, 22(3)540--582, 23(1)73--103, 31(3)10--10, 39(2)7--7
• constructing, 4(4)527--551, 13(1)124--149, 15(4)632--658, 15(5)745--770, 16(3)986--1009, 16(4)1215--1247, 16(4)1248--1278, 17(2)197--216, 18(5)528--563, 19(6)899--915, 21(3)677--701, 21(4)848--894, 22(6)973--1001, 34(3)11--11, 39(2)7--7, 39(4)17--17, 40(4)15--15, 43(2)6--6
• construction, 3(2)168--206, 5(1)1--25, 9(2)125--163, 9(3)367--389, 9(4)543--566, 13(1)150--178, 14(3)417--461, 14(4)490--520, 16(1)3--34, 16(3)1024--1050, 16(4)1361--1398, 17(1)28--44, 17(2)197--216, 17(5)691--703, 18(4)401--423, 18(5)528--563, 19(3)444--461, 19(3)492--524, 19(4)557--567, 19(4)586--616, 20(1)51--115, 20(4)869--916, 20(5)1067--1109, 22(6)973--1001, 23(6)685--746, 25(6)814--875, 30(4)19--19, 31(3)10--10, 34(1)6--6, 35(2)6--6, 39(2)7--7, 40(3)13--13, 42(1)3--3, 44(2)7--7
• constructive, 4(2)283--294, 9(4)646--685, 22(5)773--815
• constructively, 14(4)521--573
• constructors, 19(3)492--524, 22(1)162--186, 28(3)429--475, 32(3)7--7
• consulted, 4(2)179--195
• consume, 22(5)816--860, 32(1)1--1
• consumer, 9(3)408--440, 38(3)10--10, 39(2)7--7
• consumer, producer-, 22(5)816--860
• consumer-side, 39(2)7--7
• consuming, 16(3)727--774, 32(1)1--1, 37(3)8--8
• consuming, time-, 21(5)895--913, 34(1)6--6
• consumption, 22(5)816--860, 34(3)14--14, 38(4)13--13
• consx,y, 22(1)162--186
• contain, 4(4)711--732, 9(3)367--389, 10(2)204--214, 16(4)1248--1278, 17(1)47--62, 17(2)293--330, 18(3)254--267, 19(6)1053--1084, 19(6)1085--1087, 20(6)1251--1264, 21(6)1196--1250, 22(3)540--582, 27(6)1049--1096, 28(2)290--330, 30(5)28--28, 32(5)19--19, 34(1)1--1, 37(2)6--6, 45(1)3--3
• contained, 8(4)524--546, 20(6)1171--1194, 28(1)134--174, 34(1)1--1, 35(3)11--11
• container, 28(5)795--847
• Containerless, 44(4)21--21
• containing, 8(4)491--523, 16(1)35--101, 16(3)843--871, 19(5)751--803, 20(3)635--678, 30(3)12--12, 32(5)19--19, 35(2)7--7, 39(4)18--18, 42(2)6--6, 45(2)9--9
• containment, 41(3)15--15
• contemporary, 30(5)28--28
• contender, 22(2)265--295
• content, 32(4)13--13, 32(5)19--19, 43(2)7--7
• context, 2(1)18--41, 7(4)501--538, 8(4)419--490, 8(4)547--576, 11(4)598--632, 13(1)150--178, 13(2)269--290, 14(1)107--125, 14(4)471--489, 15(3)535--562, 16(2)175--204, 17(1)1--15, 17(2)197--216, 17(2)331--365, 17(3)431--447, 17(4)600--634, 18(2)139--174, 18(3)325--353, 18(6)730--751, 20(1)208--258, 20(6)1195--1222, 21(2)189--239, 22(1)162--186, 22(2)296--339, 22(3)540--582, 22(5)861--931, 27(6)1344--1395, 28(3)389--428, 28(4)715--746, 30(5)29--29, 30(6)34--34, 31(3)9--9, 31(3)12--12, 31(5)18--18, 32(2)6--6, 32(6)21--21, 32(6)23--23, 33(1)3--3, 33(1)5--5, 36(2)6--6, 37(1)3--3, 38(1)3--3, 38(3)8--8, 39(2)9--9, 40(3)12--12, 40(3)13--13, 42(2)8--8, 42(2)10--10, 43(1)1--1, 44(3)19--19, 44(4)22--22
• context'', ``in-, 17(1)63--84
• context-, 22(1)162--186, 41(3)16--16
• Context-Dependent, 5(3)449--477, 15(3)535--562
• Context-Free, 2(3)415--462, 41(2)9--9
• context-free, 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, 44(3)18--18, 45(3)14--14, 45(3)19--19
• Context-Free-Language, 46(2)7--7
• context-insensitive, 19(4)568--585, 20(4)707--723, 30(1)4--4, 40(4)14--14
• /context-insensitive, flow-, 23(2)105--186
• context-sensitive, 19(4)568--585, 20(4)707--723, 22(1)162--186, 22(2)416--430, 30(4)19--19, 32(2)5--5, 32(6)23--23, 40(1)1--1, 40(4)14--14, 41(2)13--13, 41(3)14--14, 41(3)18--18, 42(2)8--8, 45(4)20--20
• context-sensitive, calling-, 23(2)105--186
• /context-sensitive, flow-, 23(2)105--186
• context-sensitivity, 38(2)6--6, 40(4)14--14
• Context-Unbounded, 42(4)16--16
• contexts., 16(3)577--604
• contextual, 33(1)5--5, 41(4)22--22, 45(2)8--8
• contiguous, 30(5)28--28
• continuation, 4(3)496--517, 9(4)582--598, 13(1)21--51, 17(5)704--739, 19(1)87--152, 22(2)224--264, 31(2)6--6, 38(1)2--2, 41(2)8--8
• continuation, meta-, 38(1)2--2
• Continuation-Passing, 38(1)2--2
• continuation-passing, 18(6)730--751, 38(1)2--2
• continuation-passing-style, 41(2)8--8
• continuation+state-passing, 38(1)2--2
• continue, 28(1)134--174, 28(3)389--428, 34(1)1--1, 41(3)15--15, 42(3)12--12
• continuing, 17(3)431--447
• continuity, 4(4)668--677
• continuous, 25(4)500--548, 28(4)747--793, 31(5)17--17
• continuously, 27(6)1049--1096
• contract, 20(5)917--979, 31(3)12--12, 31(5)19--19, 32(2)6--6, 33(4)14--14, 33(5)16--16, 35(3)11--11, 39(1)3--3, 40(2)6--6, 42(3)14--14, 43(4)17--17, 45(3)17--17
• Contract-client, 45(3)17--17
• contrast, 13(1)1--20, 15(5)745--770, 16(3)775--797, 18(2)109--138, 20(1)1--50, 28(3)517--575, 32(5)18--18, 33(6)20--20, 35(3)10--10, 36(4)12--12, 39(2)9--9, 39(3)11--11, 41(3)15--15, 41(4)22--22, 42(3)13--13, 43(1)4--4
• contrasted, 16(3)605--606
• contrasting, 16(4)1156--1214
• contravariance, 17(3)431--447
• contravariant, 28(5)795--847
• contribute, 34(1)5--5, 34(3)12--12
• contributing, 41(1)2--2, 43(2)6--6
• contribution, 14(1)54--106, 21(3)527--568, 21(4)848--894, 22(2)378--415, 22(5)932--972, 27(6)1147--1215, 30(3)17--17, 38(4)13--13, 40(2)7--7, 40(3)9--9, 40(3)12--12, 40(4)15--15, 41(4)20--20, 41(4)23--23
• contributions., 32(2)5--5
• contributor, 40(4)14--14
• CONTROL, 9(2)257--276, 19(4)586--616
• control-based, 20(3)483--545
• control-centric, 34(1)4--4
• control-flow, 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
• controlflow, 40(3)9--9
• controlled, 6(4)573--602, 16(3)1024--1050, 16(6)1675--1683, 19(6)853--898, 19(6)1031--1052, 32(4)13--13
• controlled, Software-, 32(4)13--13
• controller, 9(2)198--234, 16(3)843--871
• controlling, 9(3)297--318, 18(1)1--15, 20(1)208--258, 28(5)908--941, 32(4)13--13
• Controlling, Stack-, 3(2)168--206
• convenience, 14(4)471--489, 20(5)980--1013, 28(4)747--793
• convenient, 4(1)83--112, 9(3)367--389, 9(4)491--542, 16(6)1811--1841, 30(4)19--19, 31(2)6--6, 33(3)9--9, 44(4)25--25
• conveniently, 4(4)687--710
• convention, 6(3)370--379, 14(2)127--144, 20(2)259--273
• conventional, 6(4)527--545, 8(4)491--523, 13(1)21--51, 13(2)269--290, 14(2)265--297, 15(5)745--770, 16(5)1431--1448, 19(1)87--152, 20(6)1223--1250, 21(3)527--568, 22(2)378--415, 22(4)673--700, 28(1)1--69, 28(5)942--965, 32(1)3--3, 32(4)14--14, 34(1)2--2, 34(4)15--15, 37(1)3--3, 40(2)6--6, 41(2)9--9, 44(4)25--25
• converge, 30(6)31--31, 31(6)22--22
• convergence, 7(1)1--9, 15(4)735--742, 17(5)777--803, 21(4)747--789
• conversion, 9(4)599--617, 10(2)189--203, 14(4)589--616, 19(1)48--86, 19(6)1085--1087, 21(3)527--568, 22(1)129--161, 32(3)7--7, 39(1)3--3, 40(2)8--8, 42(1)2--2
• conversion--which, 22(1)129--161
• convert, 9(4)491--542, 13(1)52--98, 13(2)211--236, 14(4)589--616, 16(3)577--604, 19(6)1085--1087, 34(2)7--7, 36(4)11--11, 37(4)12--12
• converted, 27(6)1270--1343, 31(4)14--14, 31(6)22--22, 40(3)11--11
• convex, 34(1)3--3
• Conway, Richard, 6(1)1--19
• Conway, Richard, see Archer, Jr., James E.
• Cooke, Daniel E., 30(2)9--9
• Cooke:2008:NTD, 30(2)9--9
• Cooper, Keith D., 8(4)491--523, 16(3)428--455, 17(2)181--196, 23(5)603--625
• Cooper, Keith D., see Briggs, Preston, see Click, Cliff
• Cooper:1986:IIA, 8(4)491--523
• Cooper:2001:OSR, 23(5)603--625
• cooperate, 4(1)44--82, 8(4)491--523
• Cooperating, 1(2)245--257, 5(2)164--189
• cooperation, 10(4)513--554, 12(4)643--669
• cooperative, 34(1)6--6
• coordinate, 19(4)617--638
• coordinating, 13(1)99--123, 16(3)954--985
• coordination, 5(2)164--189, 46(1)1--1
• cope, 20(5)917--979, 21(2)370--416, 21(4)813--847, 30(6)32--32, 35(3)11--11
• coping, 16(5)1543--1571, 30(4)22--22
• Copperman, Max, 15(2)357--365, 16(3)387--427
• Copperman:1993:TCF, 4(3)323--344, 15(2)357--365
• Copperman:1994:DOC, 16(3)387--427
• copy, 9(2)277--295, 16(4)1156--1214, 18(3)300--324, 18(6)659--682, 19(6)992--1030, 22(5)932--972, 36(2)5--5, 43(1)3--3
• copy-back, 14(2)265--297
• copying, 28(3)476--516, 28(4)715--746, 29(1)2--2, 30(4)24--24, 40(4)15--15
• copyright, 29(6)35--35
• Coq, 34(3)12--12, 35(3)9--9, 37(2)7--7, 39(3)11--11, 41(1)1--1, 42(1)2--2, 45(3)15--15, 45(3)18--18
• Corchuelo, Rafael, 24(6)698--710
• Corchuelo:2002:RSE, 24(6)698--710
• Cordy, J. R., 4(2)149--178
• Cordy, J. R., see Holt, Richard C.
• core, 16(3)577--604, 16(4)1361--1398, 17(1)47--62, 17(2)264--292, 19(4)586--616, 19(5)639--684, 23(3)396--450, 28(3)389--428, 28(4)619--695, 28(5)795--847, 32(3)9--9, 32(5)19--19, 32(6)24--24, 33(4)12--12, 35(1)2--2, 36(1)2--2, 38(3)8--8, 38(4)14--14, 39(1)5--5, 39(4)17--17, 40(3)12--12, 41(1)1--1, 41(3)19--19, 42(3)14--14, 43(1)3--3, 43(4)15--15, 44(4)23--23
• core, 16-, 35(1)3--3
• core, 32-, 35(1)3--3
• core, eight-, 36(1)2--2
• core, multi-, 45(2)11--11
• core-ML-to-sparc, 32(3)7--7
• Cores, Multi-, 45(2)11--11
• CoreThisJava, 38(3)8--8
• Coreutils, 42(3)15--15
• Cormack, Gordon V., 19(3)413--426
• Cormack, Gordon V., see Clarke, Charles L. A.
• Cornell, 11(4)598--632
• corollary, 18(2)175--234, 31(3)10--10
• Coroutine, 2(3)290--306
• coroutines, 3(3)263--292, 7(4)656--679, 16(4)1279--1318, 18(1)1--15, 31(2)6--6
• corpora, 45(2)12--12
• Corporaal, Henk, 19(6)1031--1052
• Corporaal, Henk, see Janssen, Johan
• corpus, 19(1)188--222
• correct, 4(2)226--238, 4(3)323--344, 4(4)601--614, 8(3)344--387, 9(2)164--197, 10(2)282--312, 12(4)643--669, 14(2)147--172, 15(5)876--895, 16(3)387--427, 16(3)607--648, 16(5)1613--1647, 16(5)1648--1659, 17(1)47--62, 17(1)63--84, 19(3)444--461, 19(3)525--555, 19(4)586--616, 19(5)685--725, 20(1)51--115, 20(1)208--258, 21(2)189--239, 21(6)1196--1250, 22(4)673--700, 27(6)1270--1343, 28(1)106--133, 28(2)256--289, 28(5)942--965, 29(2)13--13, 30(4)18--18, 30(5)26--26, 31(5)17--17, 32(3)8--8, 32(4)14--14, 34(1)6--6, 35(4)14--14, 36(1)1--1, 36(3)8--8, 37(1)1--1, 38(2)4--4, 38(2)5--5, 38(2)7--7, 39(4)14--14, 39(4)18--18, 40(1)2--2, 40(4)15--15, 44(3)20--20
• correct, type-, 21(3)527--568, 33(3)9--9
• correct-by-design, 32(4)14--14
• corrected, 28(5)942--965
• Correcting, 41(4)21--21
• correction, 15(1)206--208, 19(6)1085--1087, 28(4)577--618, 31(3)9--9
• correctly, 15(1)73--132, 16(4)1097--1113, 17(3)431--447, 18(5)615--647, 19(1)188--222, 30(2)8--8, 30(3)12--12, 30(6)30--30, 32(1)3--3, 35(2)8--8, 37(1)1--1, 37(3)8--8, 40(3)10--10
• correctly., 30(4)19--19
• correlated, 21(5)1028--1075
• correlated, locality-, 31(6)20--20
• correlation, 17(2)331--365, 21(5)1028--1075
• correspond, 4(3)323--344, 4(4)668--677, 15(4)659--680, 16(3)843--871, 16(3)924--938, 16(4)1248--1278, 17(1)85--122, 17(2)293--330, 19(4)568--585, 21(4)703--746, 33(3)9--9, 36(4)12--12, 38(2)7--7, 38(3)11--11, 39(2)9--9, 40(4)17--17
• correspondence, 3(1)112--112, 3(1)112--113, 4(1)120--122, 4(1)122--123, 5(1)122--122, 5(2)236--264, 5(3)499--499, 5(3)499--500, 5(3)500--501, 6(3)432--439, 7(1)176--181, 8(3)406--407, 10(1)178--188, 10(2)338--342, 10(3)503--504, 10(4)633--634, 10(4)635--640, 11(4)666--668, 12(1)135--138, 12(1)139--141, 13(4)626--629, 13(4)630--630, 13(4)631--632, 13(4)633--633, 15(1)206--208, 15(2)357--365, 16(6)1842--1874, 19(6)916--941, 28(5)795--847, 41(2)8--8
• corresponding, 9(4)491--542, 14(4)574--588, 14(4)589--616, 16(3)1010--1023, 16(4)1215--1247, 16(5)1512--1542, 16(5)1572--1612, 17(1)123--156, 18(1)73--108, 21(2)286--323, 21(5)948--976, 23(2)105--186, 28(1)70--105, 28(1)134--174, 28(2)290--330, 30(6)32--32, 31(3)12--12, 31(5)17--17, 36(1)1--1, 38(1)2--2, 38(2)7--7, 41(1)6--6, 41(2)9--9, 41(3)16--16, 44(1)3--3
• correspondingly, 36(1)1--1
• corrigenda, 12(4)670--699, 13(1)179--179
• corrigendum, 1(1)84--97, 2(1)42--55, 2(1)134--134, 2(2)137--152, 2(2)191--202, 2(3)463--463, 3(1)110--110, 3(1)111--111, 10(4)602--626, 11(3)482--482, 13(4)633--633, 14(3)396--416, 15(1)208--208, 17(1)180--180, 18(1)30--72, 18(3)354--354, 20(6)1265--1296, 27(3)383--387, 40(4)16--16, 40(4)18--18, 42(2)11--11
• corrupt, 32(5)17--17
• corrupted, 16(3)986--1009, 21(6)1196--1250
• corruption, 32(5)17--17, 43(1)1--1
• Cortes, Corinna, 26(2)301--338
• Cortes:2004:HLA, 26(2)301--338
• Cortesi, Agostino, 19(1)7--47
• Cortesi:1997:CAI, 19(1)7--47
• cost, 3(4)508--532, 6(2)159--174, 8(4)491--523, 11(4)491--516, 14(1)28--53, 14(4)490--520, 15(5)826--875, 16(3)428--455, 16(3)775--797, 16(4)1319--1360, 16(5)1449--1466, 17(1)123--156, 18(3)268--299, 18(4)424--453, 18(6)683--710, 19(6)992--1030, 20(1)166--207, 20(2)274--301, 20(4)869--916, 20(6)1223--1250, 20(6)1297--1322, 21(1)138--173, 21(2)189--239, 21(2)240--285, 21(3)502--526, 21(5)914--947, 21(5)977--1027, 22(2)296--339, 22(5)932--972, 22(6)973--1001, 23(1)30--72, 23(2)105--186, 27(4)631--661, 27(5)946--987, 27(6)1049--1096, 27(6)1270--1343, 29(1)2--2, 30(6)31--31, 31(3)9--9, 31(5)17--17, 32(4)11--11, 34(2)7--7, 34(3)13--13, 35(1)5--5, 35(4)14--14, 36(3)10--10, 37(1)1--1, 38(2)6--6, 38(3)12--12, 38(4)13--13, 40(4)14--14, 41(1)3--3, 41(1)4--4, 41(3)16--16, 43(1)1--1, 43(3)10--10, 44(3)17--17
• Cost, Least-, 3(3)318--347, 6(2)192--214
• cost, least-, 21(1)1--10
• cost, low-, 22(5)932--972
• cost, minimum-, 17(1)123--156
• cost-effective, 40(4)14--14
• cost-effectively, 38(2)6--6
• cost-optimal, 20(6)1297--1322
• cost-precision, 23(2)105--186
• cost., 17(1)123--156
• Costabile, M. F., 21(6)1077--1136
• Costabile, M. F., see Bottoni, P.
• costly, 9(2)125--163, 23(1)30--72, 34(3)13--13, 37(4)12--12, 39(1)2--2
• Cotton-Barratt, Conrad, 41(2)11--11
• Cotton-Barratt:2019:MVP, 41(2)11--11
• could, 4(4)650--667, 8(1)109--139, 13(1)52--98, 14(1)1--27, 17(3)487--506, 17(5)691--703, 18(1)30--72, 18(3)300--324, 18(5)615--647, 20(3)635--678, 22(5)816--860, 34(2)7--7, 37(3)8--8, 40(4)16--16, 44(4)22--22, 44(4)25--25, 46(1)4--4
• count, 1(1)115--120, 2(3)269--273, 16(4)1319--1360, 16(5)1399--1410, 22(1)162--186, 28(1)1--69, 33(5)15--15, 34(2)9--9
• counter, 16(3)986--1009, 16(4)1319--1360, 16(5)1399--1410, 34(4)16--16, 36(3)9--9
• counterexample, 15(5)771--794, 17(2)293--330, 19(6)1085--1087
• counterpart, 15(4)681--705, 17(1)157--179, 18(3)268--299, 20(5)1014--1066, 27(6)1270--1343, 34(2)8--8, 38(1)1--1, 39(2)9--9
• counterparts., 31(3)12--12
• counting, 16(5)1399--1410, 21(3)430--501
• counting, local-reference-, 15(1)1--35
• counting, Reference-, 28(1)1--69
• counting, reference-, 15(1)1--35, 28(1)1--69
• counting, weighted-reference-, 15(1)1--35
• counting/tracing, 16(4)1319--1360
• counts, reference-, 28(1)1--69
• couple, 21(2)370--416
• coupled, 4(4)563--584, 6(4)632--646, 12(2)303--339, 16(3)387--427
• coupling, 9(2)125--163, 27(6)1344--1395, 44(4)25--25
• coupling, lock-, 33(1)4--4
• Courcoubetis, C., 12(2)303--339
• Courcoubetis, C., see Aggarwal, S.
• course, 16(3)577--604, 21(2)370--416, 43(1)4--4
• Cousot, 16(3)607--648, 19(1)7--47, 20(5)1067--1109
• Cousot, Patrick, 44(1)3--3
• Cousot, Patrick, see Deng, Chaoqiang
• covariance, 17(3)431--447
• covariant, 17(3)431--447, 27(1)126--162, 28(5)795--847
• cover, 11(4)491--516, 29(6)35--35, 31(4)16--16, 34(2)10--10, 34(3)12--12, 35(1)3--3
• coverability, 36(4)14--14
• coverable, 36(4)14--14
• coverage, 34(1)3--3, 40(1)2--2
• covered, 9(2)125--163
• covering, 20(2)344--387
• CPA, 39(2)7--7
• CPS, 19(6)916--941, 21(3)527--568, 38(1)2--2
• CPU, 13(1)1--20, 16(3)843--871, 27(6)1097--1146, 41(3)19--19
• CPU2000, 30(3)17--17, 30(6)32--32
• CPU2006, 41(3)17--17
• CPUs, 35(4)13--13
• CPython, 42(3)15--15
• Crafa, Silvia, 26(1)57--124
• Crafa, Silvia, see Bugliesi, Michele
• crafted, hand-, 16(4)1215--1247, 32(6)24--24, 41(2)13--13
• Crary, Karl, 21(3)527--568, 22(4)701--771
• Crary, Karl, see Morrisett, Greg, see Walker, David
• crash, 32(5)17--17, 37(3)8--8
• Cray-1, 9(4)491--542
• Cray-T3E, 20(6)1195--1222
• create, 17(3)461--486, 22(1)162--186, 22(2)265--295, 32(2)4--4, 32(2)5--5, 34(3)13--13, 35(1)4--4, 35(1)5--5, 36(2)5--5, 37(1)2--2
• created, 4(4)650--667, 4(4)687--710, 16(3)727--774, 16(3)954--985, 21(3)430--501, 29(1)3--3, 30(6)31--31, 31(4)14--14, 35(1)4--4
• created., 16(2)205--258
• creating, 12(2)143--177, 16(1)151--174, 21(3)677--701, 35(1)4--4, 36(2)5--5
• creation, 15(4)659--680, 17(2)233--263, 21(6)1196--1250, 31(6)23--23, 34(2)10--10, 35(1)3--3
• creation-to, 41(3)15--15
• criteria, 12(4)643--669, 15(4)659--680, 21(3)627--676, 22(4)583--637, 27(3)571--582, 28(2)256--289, 40(3)13--13, 40(4)16--16, 42(1)2--2
• criterion, 16(5)1472--1511, 16(6)1811--1841, 27(6)1147--1215, 30(6)33--33, 36(2)5--5, 42(1)2--2, 43(1)1--1
• critical, 4(1)44--82, 15(5)745--770, 16(4)1156--1214, 19(3)525--555, 21(6)1196--1250, 27(6)1344--1395, 28(1)70--105, 28(5)848--907, 30(3)12--12, 30(4)18--18, 32(3)8--8, 32(4)13--13, 32(4)15--15, 36(3)8--8, 40(4)15--15, 41(3)15--15, 42(3)14--14, 44(1)3--3, 45(1)2--2
• critical, performance-, 37(1)3--3, 43(3)10--10
• critical, safety-, 16(5)1613--1647, 39(2)8--8
• critical, Security-, 45(1)3--3
• Critical, Time-, 15(4)632--658
• critical, Time-, 15(4)632--658
• critical, time-, 15(4)632--658, 19(3)525--555
• critically, 16(3)524--576, 18(5)528--563
• criticism, 4(2)283--294
• Critique, 3(4)484--507
• critiquing, 38(4)15--15
• cross-compile, 16(6)1699--1718
• cross-compilers, 6(4)505--526
• Cross-Interferences, 17(4)561--575
• cross-interferences, 17(4)561--575
• Cross-Language, 40(2)8--8, 40(4)18--18
• cross-language, 40(1)2--2
• cross-origin, 38(3)9--9
• cross-package, 37(2)6--6
• cross-references, 13(1)1--20
• cross-site, 39(3)10--10, 41(3)18--18
• Crowl, Lawrence A., 16(3)524--576
• Crowl:1994:PPC, 16(3)524--576
• crucial, 4(1)1--20, 7(1)159--175, 18(2)175--234, 18(6)752--779, 22(1)129--161, 30(5)25--25, 32(4)14--14, 33(4)14--14, 34(3)11--11, 34(4)17--17, 37(4)11--11, 38(3)11--11, 38(3)12--12, 40(4)14--14, 42(1)4--4, 43(4)16--16, 44(2)7--7, 45(2)8--8
• crypting, 4(3)382--401
• cryptographic, 16(3)986--1009, 30(6)30--30, 31(1)5--5, 34(4)17--17, 37(2)7--7, 37(4)11--11, 45(3)15--15
• Crystal, 9(2)235--256
• CS, 1(1)98--114
• CSim, 43(1)2--2
• CSim2, 43(1)2--2
• CSimpl, 43(1)2--2
• CSP, 2(2)234--238, 5(2)223--235, 6(2)281--296, 6(3)370--379, 8(3)388--405, 11(4)585--597, 15(4)681--705, 16(3)954--985, 16(6)1661--1674, 32(4)14--14
• csp, 6(1)68--93
• CSP-Like, 12(1)102--122
• CSP+T, 16(6)1661--1674
• CSS, 41(2)12--12
• CSS-graph, 41(2)12--12
• CSS-graphs, 41(2)12--12
• CSS-the, 41(2)12--12
• CSS3, 41(2)12--12
• CTL, 16(3)843--871, 22(1)87--128
• CTL*, 19(4)617--638, 22(1)87--128
• cubic, 35(1)5--5, 40(3)9--9
• CUDA, 35(4)13--13, 37(3)10--10
• Cui, Shimin, 30(1)2--2
• Cui, Shimin, see Zhao, Peng
• culmination, 19(5)639--684
• cultural, 38(4)15--15
• Cuny, Janice E., 9(4)599--617
• Cuny:1987:CDD, 9(4)599--617
• Curien, 31(4)13--13
• currency, 20(6)1111--1130, 44(3)14--14
• current, 7(4)501--538, 14(2)173--200, 16(2)205--258, 16(3)727--774, 16(3)1010--1023, 17(2)366--393, 19(3)413--426, 20(1)208--258, 20(2)274--301, 20(3)586--634, 20(5)917--979, 20(6)1111--1130, 21(1)90--137, 21(6)1077--1136, 21(6)1137--1195, 22(2)187--223, 22(5)773--815, 27(6)1147--1215, 28(5)942--965, 30(3)12--12, 30(5)25--25, 31(1)1--1, 31(1)2--2, 31(3)12--12, 37(1)4--4, 38(2)5--5, 40(4)16--16, 41(4)23--23, 43(4)15--15, 44(4)22--22
• currently, 4(4)650--667, 9(2)235--256, 9(4)491--542, 16(3)954--985, 16(4)1248--1278, 16(6)1675--1683, 20(4)869--916, 30(6)31--31, 35(4)13--13, 38(3)12--12
• Curry--Howard, 31(4)13--13, 41(2)8--8
• Curry-Style, 41(1)5--5
• Curry-style, 41(1)5--5
• cursors, 18(1)1--15
• curve, 14(1)54--106
• custom, 31(1)1--1, 38(2)4--4
• customer, 39(1)5--5, 41(3)18--18
• cut, 40(4)17--17
• cut-elimination, 31(5)19--19
• cutting, 28(1)70--105
• CV3, 6(1)94--117
• cybersecurity, 41(3)18--18
• cycle, 11(1)57--66, 12(1)123--134, 16(6)1768--1810, 17(5)740--776, 21(2)324--369, 28(5)908--941, 29(4)20--20, 30(6)33--33, 31(3)9--9
• cyclic, 10(1)156--177, 18(1)30--72, 20(1)1--50, 38(2)4--4
• cyclic, block-, 21(6)1251--1297
• cyclicity, 32(3)8--8, 35(4)14--14
• Cyclone, 28(3)429--475
• cylinder, 30(4)23--23
• Cytron, Ron, 13(4)451--490
• Cytron, Ron K., 17(3)487--506
• Cytron:1991:ECS, 13(4)451--490
• Cytron:1995:ECN, 17(3)487--506