Index file section C for toplas.bib
Last update: Thu Apr 11 02:12:53 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, 31(4)13--13
-
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
-
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
-
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
-
Chaudhuri, Swarat, see Alur, Rajeev
-
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
-
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
-
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
-
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
-
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
-
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-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