Index file section C for complngs.bib

Last update: Thu Jun 20 02:00:37 MDT 2019

Return to index directory

C

C, 5(2)52--z, 7(2)69--87, 7(3)161--170, 13(2)51--64, 14(1)1--9, 14(3)137--152, 16(1)5--18, 16(1)39--63, 16(1)81--95, 17(2)147--154, 18(4)217--239, 19(1)41--50, 19(2)119--134, 19(2)135--155, 20(1)53--68, 20(2)117--126, 21(3)147--163
C++, 14(3)137--152, 20(2)117--126, 28(3)237--272, 31(2)71--101, 38(4)300--319, 45(z)105--131, 50(z)53--81
C\#, 36(1)60--95
C, bytecode-to-, 34(4)170--183
C-Flavours, 15(4)225--249
C0220, 22(4)215--223
C1160, 23(1)1--24
C4210, 22(1)1--13, 22(2)95--113, 22(2)115--142, 22(2)143--163, 23(2)161--178
C4210L, 22(2)51--77, 22(4)225--235, 23(1)1--24, 23(1)25--42, 23(2)61--85
C4220, 22(1)27--38
C4240, 22(1)27--38, 22(4)215--223, 22(4)225--235, 23(2)61--85, 23(2)161--178, 23(2)179--206
C4240P, 22(2)165--179
C5440, 22(2)181--192
C5640, 23(2)87--120
C6110, 22(4)215--223
C6110B, 22(4)193--203, 23(1)43--58
C6110F, 22(1)1--13, 23(1)1--24
C6110J, 22(1)15--26, 22(2)79--93, 22(4)237--258, 23(1)25--42
C6110L, 22(2)51--77, 22(2)79--93, 22(2)95--113, 22(2)115--142, 22(2)143--163, 22(2)181--192, 22(4)237--258, 23(1)25--42, 23(2)61--85, 23(2)87--120, 23(2)121--160, 23(2)161--178
C6110P, 22(1)1--13, 22(1)15--26, 22(2)79--93, 22(2)95--113, 22(2)115--142, 22(2)143--163, 22(2)165--179, 22(2)181--192, 22(4)193--203, 22(4)205--214, 22(4)237--258, 22(4)259--278, 23(1)1--24, 23(1)43--58, 23(2)87--120
C6110V, 23(1)1--24
C6120, 22(2)115--142, 22(2)165--179
C6130, 22(1)39--47, 22(2)95--113, 23(1)43--58
C6130B, 22(2)181--192
C6140D, 22(1)1--13, 22(1)15--26, 22(2)79--93, 22(2)95--113, 22(2)115--142, 22(2)165--179, 22(4)193--203, 22(4)205--214, 22(4)215--223, 22(4)237--258, 22(4)259--278, 23(1)1--24, 23(1)25--42, 23(2)61--85, 23(2)87--120, 23(2)121--160, 23(2)161--178
C6150C, 22(4)225--235, 23(2)121--160
C6150G, 22(4)215--223, 23(1)43--58
C6150J, 22(2)51--77
C6150N, 22(2)181--192, 22(4)205--214, 22(4)237--258, 22(4)259--278, 23(1)1--24, 23(1)43--58
C6170K, 22(2)95--113, 23(1)25--42
C6180G, 22(2)181--192
C7410F, 23(2)87--120
C7420, 23(2)87--120
Cabot, Jordi, 46(z)66--90, 49(z)36--61, 54(z)472--473
Cabot, Jordi, see Amaral, Vasco, see Martínez, Salvador, see Planas, Elena
Cabral, Bruno, 37(1)43--61
Cabral:2011:TMA, 37(1)43--61
cached, 50(z)20--30
Cactus, 24(3)155--178
Cadavid, Juan José, 41(z)42--65
Cadavid:2015:AMP, 41(z)42--65
Cadoli, Marco, 26(2)165--195
Cadoli:2000:NSE, 26(2)165--195
Cahill, Tony, 38(4)300--319
Cahill, Tony, see English, Michael
calculation, 18(2)137--151
calculator, 7(1)25--40
calculus, 1(4)287--301, 1(4)303--320, 10(1)63--73, 12(3)197--207, 13(1)31--47, 19(4)261--276, 22(2)165--179, 28(1)29--60, 33(3)82--110, 39(3)109--120
Calculus, LAMBDA-, 11(1)1--13
Calculus, Lambda-, 11(1)1--13, 15(1)1--26
calculus, lambda-, 1(4)287--301, 1(4)303--320, 11(1)1--13, 12(3)197--207, 13(1)31--47, 15(1)1--26
calculus, Relational-, 17(3)185--197
calculus, relational-, 17(3)185--197
Calendar, 32(2)157--183
call, 1(4)303--320, 2(4)117--134, 15(2)95--108, 16(1)5--18, 16(3)209--233, 33(1)32--32, 33(1)33--34, 52(z)65--91
call-by-need, 11(1)1--13
call-tracking, 28(1)129--154
call-with-current-continuation, 15(2)109--125
call/cc, 15(2)109--125
Campo, Marcelo, 31(1)17--33, 33(1)11--31, 36(3)288--315
Campo, Marcelo, see Amandi, Analía, see Mateos, Cristian
Campos, Alvaro E., 29(1)1--13
Campos:2003:DRC, 29(1)1--13
candidates, 44(z)355--365, 45(z)355--365
Canedo, Arquimedes, 34(4)184--194
Canedo:2008:NCG, 34(4)184--194
Canonical, 13(3)125--141
capability, 2(1)27--43, 14(1)1--9, 15(1)55--64, 17(4)213--239, 35(3)293--305
Capelli, Steven, 46(z)140--166
Capelli:2016:FED, 46(z)140--166
CAPS, 18(2)77--103
capture, 1(1)73--82
card, 40(2)53--72
Cardoso, João M. P., 53(z)1--26, see Pinto, Pedro
Carini, Paul, 19(1)41--50
Carini, Paul, see Ching, Wai-Mee
Carla, 21(3)165--189
Carr, III, W., 3(1)53--64
Carr, III, W., see Pao, Tsyh-Wen
Carreton, Andoni Lombide, 40(3)112--136
Carreton, Andoni Lombide, see Van Cutsem, Tom
Carro, Manuel, 22(2)115--142, 22(2)143--163
Carro, Manuel, see Hermenegildo, Manuel V., see Pontelli, Enrico
Carvalho, Claudio Sergio, Da Ros de, 17(1)67--74
Carvalho, Sergio E. R., 3(3)157--162
Carvalho, Tiago, 53(z)1--26
Carvalho, Tiago, see Pinto, Pedro
Carvalho:1978:PGS, 3(3)157--162
Casado, Enrique, Fernández-, 38(1)108--121
Casanova, Marco A., 13(3)149--170
Casanova:1988:SPP, 13(3)149--170
CASE, 16(1)39--63, 18(2)77--103
case, 11(1)15--28, 13(1)23--29, 14(1)53--60, 16(1)39--63, 18(4)241--250, 20(3)193--212, 32(2)140--156, 45(z)1--15, 49(z)101--118, 53(z)73--89, 54(z)297--315, 54(z)528--543
case, worst-, 16(1)65--79, 40(3)155--170
CASL, 34(4)195--211
Cassou, Damien, 35(1)2--20
Cassou:2009:TWD, 35(1)2--20
Castagna, Giuseppe, 28(1)61--99
Castagna, Giuseppe, see Bugliesi, Michele
Castanedo, Raúl Izquierdo, 36(2)123--141, see Lanvin, Daniel Fernández
category, 3(4)241--263
Cater, Steven C., 9(3)133--148
Cater:1984:CLE, 9(3)133--148
cause-effect, 22(1)1--13
Cazzola, Walter, 40(1)2--18, 43(z)1--40, 45(z)16--34, 51(z)71--89, 54(z)139--155
Cazzola, Walter, see Combemale, Benoit, see Vacchi, Edoardo
Cazzola:2014:JBR, 40(1)2--18
Cazzola:2016:LCM, 45(z)16--34
Cazzola:2018:DML, 51(z)71--89
CCS, 35(4)365--394
{CDL, RT}-, 15(3)177--192
CDL, RT-, 15(3)177--192, 20(1)1--23
Celentano, Augusto, 5(2)103--114, 6(2)95--107, 6(3)115--130
Celentano:1980:SPD, 5(2)103--114
Celentano:1981:ITP, 6(3)115--130
Celentano:1981:LPT, 6(2)95--107
Celikovi{\'c}, Milan, 44(z)299--318, 45(z)299--318, see Dimitrieski, Vladimir
cells, 20(1)53--68
cellular, 24(3)125--153
CELP, 12(1)1--7
centralized, 16(3)197--207
centric, object-, 35(1)63--79
Cetina, Carlos, 48(z)20--38
Cetina, Carlos, see Font, Jaime
Cg, 7(2)69--87
Chadha, Sanchit, 48(z)3--19
Chadha:2017:FDC, 48(z)3--19
chain, 3(3)163--179, 15(3)163--176
chaining, 19(3)169--184, 35(1)31--47
Chaitin, Gregory J., 6(1)47--57
Chaitin:1981:RAC, 6(1)47--57
Chakravarty, Manuel M. T., 23(2)121--160
Chakravarty:1997:TUI, 23(2)121--160
Challenger, Moharram, 44(z)319--341, 45(z)319--341
Challenger, Moharram, see Marand, Elaheh Azadi
challenges, 38(1)1--15
Chan, Hiu Ning (Angela), 35(3)293--305
Chan, Jien-Tsai, 28(2)203--235, 28(3)273--288
Chan, Jien-Tsai, see Yang, Wuu
Chan:2002:AGF, 28(2)203--235
Chan:2009:GOC, 35(3)293--305
Chandra, A. K., 1(3)219--232
Chandra, Ashok K., 6(1)47--57
Chandra, Ashok K., see Chaitin, Gregory J.
Chandra:1975:PPF, 1(3)219--232
Chang, Byeong-Mo, 44(z)283--298, 45(z)283--298
Chang, Byeong-Mo, see Choi, Kwanghoon
Chang, J. Morris, 38(1)98--107
Chang, Morris, 28(3)237--272, 31(1)35--48
Chang, Morris, see Hasan, Yusuf, see Lee, Woo Hyong
Chang, Yu Ming, 6(3)155--163
Chang, Yu Ming, see Tsay, Jong Chuang
Chang:2012:CRC, 38(1)98--107
change, 47(z)211--231
change-aware, 54(z)427--450
changing, 10(2)147--164, 27(4)163--202
channel, 13(2)95--105, 15(2)109--125
character, 5(2)52--z, 6(3)155--163, 7(1)25--40, 12(2)123--143, 14(1)53--60, 17(3)169--184, 20(1)43--51, 22(1)27--38
characterization, 8(2)69--76, 23(2)161--178
Charousset, Dominik, 45(z)105--131
Charousset:2016:RAP, 45(z)105--131
charting, 3(1)1--11
Chau, K. W., 33(1)1--10
Chau, K. W., see Li, Hui-Xian
Chausserie-Laprée, Beno{\^{\i}}t, 54(z)358--385, see Oubelli, Lynda Ait
Chavarriaga, Enrique, 49(z)133--151
Chavarriaga:2017:ABX, 49(z)133--151
Cheatham, Michelle, 34(1)1--17
Cheatham, Michelle, see Cleereman, Kevin
Chebba, Asmaa, 54(z)183--198
Chebba:2018:AAR, 54(z)183--198
checker, 18(4)241--250, 19(4)213--233
checking, 11(3)123--142, 12(2)69--94, 15(1)1--26, 17(2)147--154, 19(1)19--40, 20(1)25--42, 21(3)129--146, 22(4)215--223, 30(3)99--137, 30(3)139--169, 31(2)71--101, 38(1)61--72, 40(2)73--97, 44(z)72--88, 45(z)53--79, 45(z)191--203, 47(z)1--1, 47(z)19--43, 47(z)170--188
checking, model-, 35(2)143--172
checking, self-, 23(1)43--58
checking, type-, 13(2)95--105, 18(4)241--250, 19(1)19--40, 22(4)215--223, 34(1)1--17
checkpoints, 15(3)177--192
checks, 17(2)147--154
Chen, Jen-yen, 17(3)199--211
Chen, Jim X., 34(1)18--24
Chen, Jim X., see Wang, Shuangbao
Chen, Jiunn-Yeu, 43(z)96--115
Chen, Wei-Mei, 38(1)98--107
Chen, Wei-Mei, see Chang, J. Morris
Chen:1992:MMD, 17(3)199--211
Chen:2015:AVB, 43(z)96--115
Cheng, Chun-Tian, 33(1)1--10
Cheng, Chun-Tian, see Li, Hui-Xian
Cheng, Chun-tian, 35(4)406--421
Cheng, Chun-tian, see Li, Zhi-jie
Cheng, Ho-Yuan, 38(1)98--107
Cheng, Ho-Yuan, see Chang, J. Morris
Chezzi, C., 9(1)25--37
Chezzi, C., see Bossi, Annalisa
Chhabra, Jitender Kumar, 47(z)153--169, 51(z)1--21
Chhabra, Jitender Kumar, see Amarjeet
Chiarabini, L., 37(4)178--192
Chiarabini, L., see Bergenti, F.
Childers, Bruce, 34(4)151--152
Childers:2008:P, 34(4)151--152
children, 21(3)191--200
Chinese, 6(3)155--163
Ching, Wai-Mee, 19(1)41--50
Ching:1993:PBS, 19(1)41--50
chips, 19(3)169--184, 20(3)151--175
Chis, Andrei, 44(z)89--113
Chis:2015:PDS, 44(z)89--113
Chitchyan, Ruzanna, 51(z)71--89
Chitchyan, Ruzanna, see Cazzola, Walter
Chitil, Olaf, 52(z)92--110
Chitil, Olaf, see Faddegon, Maarten
Choe, Guija, 35(4)422--434
Choe:2009:QGR, 35(4)422--434
Choen, A. Toni, 4(4)209--226
Choen:1978:SFM, 4(4)209--226
Choi, Kwanghoon, 44(z)283--298, 45(z)283--298
Choi:2015:LAC, 44(z)283--298
Choi:2016:LAC, 45(z)283--298
choice, 1(2)161--194, 1(3)197--218
Chomsky, 20(1)43--51
Choosing, 7(3)161--170
Chorvat, Trevor, 18(4)251--271
Chorvat, Trevor, see Bailes, Paul A.
Chou, S. M., 4(2)83--92
Chou:1979:ITN, 4(2)83--92
Chowdhary, D. M., 10(3)165--178
Chowdhary, D. M., see Patnaik, L. M.
CHR-Based, 53(z)121--142
chromosomes, 13(3)125--141
Chromosomes, Materials-, 13(3)125--141
Chung, M., 24(4)245--270
Chung:1998:NMI, 24(4)245--270
Church, 13(1)31--47
CIaaS, 54(z)95--118
Ciampolini, A., 22(4)237--258
Ciampolini, Anna, 27(4)137--161
Ciampolini:1996:DLO, 22(4)237--258
Ciampolini:2001:LLC, 27(4)137--161
Ciancarini, Paolo, 17(4)213--239, 22(2)95--113, 26(2)125--163
Ciancarini:1992:PPL, 17(4)213--239
Ciancarini:1996:RCL, 22(2)95--113
Ciancarini:2000:DCL, 26(2)125--163
Cignoni, Giovanni A., 22(2)79--93
Cignoni, Giovanni A., see Ambriola, Vicenzo
circular, 44(z)3--23
CISC, 21(2)101--112
Cities, 5(2)52--z
Citrin, Wayne, 21(3)165--189
Citrin:1995:CRL, 21(3)165--189
Clarisó, Robert, 49(z)216--230, see Zolotas, Athanasios
Clark, David, 28(1)3--28
Clark:2002:IFA, 28(1)3--28
Clarke, Dave, 42(z)22--45
Clarke, Dave, see Patrignani, Marco
Clarke, Gwen, 19(4)247--259
Clarke:1993:EHP, 19(4)247--259
CL_ARRAY, 50(z)53--81
class, 9(2)107--131, 11(3)143--153, 14(2)99--108, 16(2)167--178, 16(2)179--195, 20(1)53--68, 21(2)81--100, 31(3)107--126, 35(2)100--142, 46(z)1--19, 47(z)211--231
class, First-, 14(3)153--163, 20(1)53--68
class, first-, 15(3)141--152, 16(2)179--195, 18(1)57--75, 20(1)53--68
class-attributes, 9(2)107--131
Classboxes, 31(3)107--126
classical, 15(1)27--39, 23(2)161--178
classification, 8(3)113--124, 30(1)63--77, 35(3)306--321
clause, 12(1)1--7, 12(1)9--20, 22(2)51--77, 22(4)237--258, 47(z)2--18
Cleereman, Kevin, 34(1)1--17
Cleereman:2008:MIC, 34(1)1--17
Clematis, Andrea, 18(3)153--168
Clematis:1993:SCO, 18(3)153--168
client-server, 18(3)153--168
client-side, 49(z)133--151
Clientash, 25(2)116--117
clique, 19(2)135--155
cll, 23(2)87--120
clock, 22(2)165--179
clone, 44(z)355--365, 45(z)355--365
cloning, 19(2)105--117
closed, 3(2)95--113, 14(3)181--191
closer, 11(1)29--37
closure, 12(1)47--66, 15(2)65--82, 17(4)251--267
cloud, 54(z)406--426
cluster, 16(1)5--18
clustering, 51(z)1--21
co-allocation, 33(1)1--10
Co-evolving, 32(2)140--156
COBOL, 2(4)171--178, 3(1)1--11
Cobol, 3(1)1--11
Cocco, N., 7(2)89--102, 10(3)189--209
Cocco:1982:MEH, 7(2)89--102
Cocco:1985:ATS, 10(3)189--209
Cociorva, Daniel, 37(2)63--75
Cociorva, Daniel, see Lam, Chi-Chung
Cockburn, Alistair, 21(3)165--189
Cockburn, Alistair, see Citrin, Wayne
Cocke, 3(2)127--133
Cocke, John, 6(1)47--57
Cocke, John, see Chaitin, Gregory J.
Cocke-Younger-Kasami, 3(2)127--133, 17(1)61--66, 20(1)43--51
Cockshott, Paul, 32(1)2--41
Cockshott:2006:OPP, 32(1)2--41
code, P-, 9(3)149--159
code-generation, 18(4)217--239
coded, hand-, 6(1)47--57
coding, 1(1)29--43, 16(3)197--207, 54(z)119--138
Coen-Porisini, Alberto, 18(3)197--216
Coen-Porisini:1993:ARS, 18(3)197--216
coexpression, 14(3)153--163
Coffin, Michael, 14(4)255--262
Coffin:1989:SAM, 14(4)255--262
Cohen, A. T., 3(4)209--226
Cohen:1978:SFM, 3(4)209--226
coherent, 20(3)135--150
COLD, 54(z)139--155
Coleman, Don M., 14(1)1--9
Coleman:1989:PIC, 14(1)1--9
collaboration, 38(1)108--121
collection, 19(2)79--89, 20(4)239--252
collections, 13(3)125--141, 16(3)209--233
Collet, Philippe, 54(z)139--155
Collet, Philippe, see Combemale, Benoit
collocations, 9(2)89--96
Colnaric, Matjaz, 35(3)277--292
Colnaric, Matjaz, see Gumzej, Roman
Colombet, Quentin, 39(1)25--47
Colombet, Quentin, see Brandner, Florian
Colombetti, Marco, 9(1)1--23
Colombetti:1984:SCD, 9(1)1--23
colony, 51(z)1--21, 54(z)119--138
coloring, 6(1)47--57, 19(2)135--155, 21(2)101--112
colouring, 6(1)47--57, 19(2)135--155, 21(2)101--112
COM, 25(2)114--115, 25(2)115--116
Combemale, Benoit, 41(z)42--65, 44(z)1--2, 49(z)176--195, 54(z)139--155
Combemale, Benoit, see Cadavid, Juan José, see Degueule, Thomas
Combemale, Benoît, 46(z)206--235, see Méndez-Acuña, David
Combemale:2015:SII, 44(z)1--2
Combemale:2018:COL, 54(z)139--155
combination, 3(1)31--35
combinator, 8(1)27--45, 10(3)211--224, 19(3)205--211
combinatorial, 10(3)211--224, 23(1)1--24
combinatory, 10(3)211--224
combining, 21(2)101--112, 44(0)143--165
command, 1(1)3--16, 6(2)79--94, 7(1)25--40, 9(3)193--202, 11(3)123--142, 18(4)251--271, 22(2)181--192
comment, 14(1)53--60
common, 2(4)179--186, 20(1)1--23, 22(2)181--192, 35(4)341--364
communicating, 11(3)155--160, 12(1)27--37, 13(1)31--47, 45(z)132--160
communication, 1(1)3--16, 1(2)151--160, 11(3)155--160, 12(1)27--37, 13(1)31--47, 15(3)163--176, 16(1)5--18, 16(1)39--63, 16(3)197--207, 16(3)209--233, 17(4)213--239, 21(3)165--189, 22(4)259--278, 23(1)1--24, 23(2)87--120, 28(1)29--60
communications, 3(3)193--201, 21(3)165--189, 23(2)87--120
communications-oriented, 21(3)165--189
compact, 29(3)45--73
COMPARE, 17(2)147--154
comparing, 44(z)24--47
comparison, 1(3)219--232, 2(4)171--178, 9(2)71--87, 17(3)185--197, 19(4)261--276, 35(2)173--195
compatibility, 10(2)127--146, 20(3)151--175
competition, 1(2)151--160
compilation, 3(2)75--94, 19(1)41--50, 19(2)65--78, 19(2)135--155, 20(1)43--51, 20(3)177--192, 22(2)165--179, 23(2)121--160, 33(2)35--59, 51(z)22--47
compile, 3(3)163--179, 5(3)155--161, 17(4)251--267, 54(z)427--450
compile-time, 17(1)67--74, 20(1)25--42
compiled, 18(4)217--239, 20(1)25--42
Compiler-Architecture, 33(1)32--32
compiler-compilers, 14(1)25--33
compilers, compiler-, 14(1)25--33
compiling, 3(4)241--263, 12(1)47--66, 17(4)251--267, 44(z)251--282, 45(z)251--282
complete, 4(3)171--185, 21(2)67--79, 21(2)113--127
complete, NP-, 10(3)211--224, 19(3)169--184, 21(2)113--127
completely, 52(z)1--20
completeness, 16(3)259--280, 17(1)75--82, 19(2)79--89, 23(2)61--85, 23(2)161--178
completeness, np-, 10(3)211--224
complex, 4(2)99--129, 9(1)25--37, 10(1)23--36, 21(2)101--112
complexity, 3(3)163--179, 7(2)61--67, 7(3)103--124, 7(3)147--160, 9(3)133--148, 9(3)203--208, 10(3)211--224, 13(1)23--29, 13(3)109--123, 14(1)11--23, 14(2)125--136, 15(1)27--39, 15(2)83--94, 17(4)251--267, 17(4)269--282, 19(2)135--155, 19(3)169--184, 20(1)43--51, 20(1)53--68, 20(2)89--100, 20(2)101--116, 20(2)127--134, 20(3)177--192, 20(4)239--252, 20(4)267--277, 21(1)17--37, 21(1)49--65, 21(2)101--112, 21(2)113--127, 24(1)33--53
compliant, 36(3)288--315
Complication, 14(1)11--23
component, 1(2)121--138, 7(2)89--102, 13(1)13--22, 14(2)93--98, 21(1)39--48, 22(2)115--142, 22(2)181--192, 32(1)56--82, 39(3)67--94, 45(z)16--34
component-based, 21(1)39--48, 36(1)16--33, 38(1)29--43
component-level, 44(z)283--298, 45(z)283--298
component-oriented, 34(2)130--149
composable, 18(2)105--123
composed, 7(2)53--59
composing, 42(z)46--59, 54(z)386--405
composition, 18(2)105--123, 25(4)211--242, 30(1)49--61, 31(3)143--164, 32(1)56--82, 35(4)395--405, 37(1)2--23, 44(z)199--217, 45(z)199--217, 53(z)1--26
compositional, 15(3)177--192, 25(2)55--87
Compositionality, 20(1)1--23
comprehensibility, 20(2)69--87
comprehensible, 44(z)355--365, 45(z)355--365
compression, 15(3)127--140
Computability, Theory-, 15(1)27--39
computation, 1(2)121--138, 3(3)163--179, 4(1)17--27, 9(3)133--148, 10(2)147--164, 11(3)143--153, 12(1)1--7, 12(2)109--121, 15(3)141--152, 16(2)179--195, 16(3)197--207, 19(1)1--17, 20(1)1--23, 20(1)25--42, 20(4)253--265, 22(2)95--113, 23(2)161--178, 28(2)181--201, 33(3)82--110, 34(4)184--194, 35(3)217--240, 40(1)19--35
computational, 1(1)17--28, 2(1)27--43, 7(3)147--160, 10(1)43--61, 10(3)211--224, 11(1)39--51, 13(1)13--22, 13(3)109--123, 14(1)11--23, 14(1)53--60, 14(2)125--136, 14(4)225--237, 15(1)1--26, 15(1)27--39, 15(2)83--94, 15(4)251--265, 16(2)113--127, 16(2)147--165, 17(4)251--267, 17(4)269--282, 18(4)251--271, 19(2)65--78, 19(2)79--89, 19(2)119--134, 19(2)135--155, 19(3)157--168, 19(3)169--184, 20(1)1--23, 20(1)43--51, 20(1)53--68, 20(2)89--100, 20(2)101--116, 20(2)127--134, 20(3)151--175, 20(3)177--192, 20(4)213--238, 20(4)239--252, 20(4)253--265, 20(4)267--277, 21(1)17--37, 21(1)49--65, 21(2)67--79, 21(2)101--112, 21(2)113--127, 22(2)51--77, 22(2)115--142, 22(4)225--235, 23(1)1--24, 23(1)25--42, 23(2)61--85, 23(2)87--120, 23(2)121--160, 24(1)33--53, 33(1)1--10, 35(4)406--421, 39(4)163--181, 54(z)95--118
Computational, Metatheory-, 15(1)27--39
computationally, 12(1)1--7
computer, human-, 21(1)1--16
Computer, Scheduling-, 16(1)65--79
computer-based, 13(3)125--141
computer-guided, 17(3)199--211
computerised, 14(4)239--254, 15(1)41--54
Computers--Debugging, 16(3)197--207
computing, 2(3)93--111, 3(3)193--201, 10(3)179--187, 13(3)125--141, 14(1)1--9, 15(4)251--265, 16(3)197--207, 17(3)169--184, 18(3)153--168, 19(3)169--184, 20(4)267--277, 21(1)49--65, 21(2)101--112, 21(3)147--163, 22(2)95--113, 22(4)215--223, 23(2)87--120, 33(1)33--34, 39(4)121--122, 40(1)1--1, 42(z)1, 45(z)163
ConC, 16(1)5--18
concatenate, 19(1)1--17
concatenation, 9(2)107--131
concept, 17(1)19--37, 20(4)253--265, 21(2)67--79, 23(2)121--160, 31(3)183--197, 44(z)299--318, 45(z)299--318, 48(z)1--2
conceptual, 4(3)139--154, 16(1)19--37, 32(2)109--124, 43(z)139--155
Concern-oriented, 54(z)139--155
concerns, 46(z)44--65
concordances, 9(2)89--96
concrete, 3(1)13--30, 18(4)241--250, 20(4)213--238, 23(2)121--160
CONCUR, 5(3)163--189
Concur, 5(3)163--189
concurrency, 7(1)21--23, 8(1)15--25, 8(2)61--68, 9(2)97--106, 12(1)27--37, 13(1)31--47, 14(4)255--262, 15(2)95--108, 17(2)83--100, 19(1)51--62, 19(3)185--203, 22(1)15--26, 22(2)79--93, 28(4)307--325, 38(3)242--277
concurrent, 2(3)75--91, 5(3)163--189, 8(2)61--68, 9(3)183--192, 14(1)1--9, 14(4)255--262, 14(4)263--281, 15(3)153--162, 15(3)163--176, 16(1)5--18, 17(4)213--239, 17(4)269--282, 18(3)153--168, 18(3)185--196, 19(1)51--62, 19(3)185--203, 20(4)253--265, 21(3)147--163, 22(1)15--26, 22(4)193--203, 22(4)237--258, 22(4)259--278, 23(1)1--24, 23(1)43--58, 23(2)87--120, 24(4)245--270, 25(3)119--144, 35(3)293--305, 44(z)319--341, 45(z)319--341, 47(z)170--188
concurrent-write, 29(1)1--13
condition, 2(3)75--91, 5(2)77--101, 14(3)205--224, 18(2)77--103, 20(3)151--175, 22(2)51--77, 36(1)96--121, 54(z)512--527
conditionals, 19(2)135--155
conditions, post-, 22(4)193--203
Conference, 44(z)1--2, 47(z)1--1, 48(z)1--2
configurable, 54(z)427--450
configuration, 18(2)77--103, 22(2)181--192, 32(1)56--82, 54(z)451--471
conflict, 13(2)65--74, 14(1)25--33, 19(2)135--155
confluent, 23(2)61--85
conformance, 15(1)1--26
conformant, 17(1)67--74
connected, 20(1)43--51, 20(4)267--277
connection, 21(1)39--48
connectives, 23(2)161--178, 44(z)238--250, 45(z)238--250
connectors, 37(1)2--23
conquer, 22(1)39--47
conservation, 1(1)73--82
Considered, 10(2)75--89
consistency, 44(z)72--88
constant, 1(4)277--286, 4(3)131--137, 14(2)125--136, 20(3)151--175
constrained, 18(4)241--250, 49(z)82--100
constraint, 11(2)65--83, 14(2)63--82, 16(1)19--37, 16(1)65--79, 18(2)77--103, 18(3)169--183, 20(1)1--23, 22(1)15--26, 25(3)119--144, 49(z)216--230
constraint-driven, 18(3)169--183
construct, 1(4)287--301, 7(1)11--20, 9(3)193--202, 12(1)47--66, 14(3)153--163, 16(1)5--18, 16(3)259--280, 18(2)77--103, 18(2)105--123, 20(4)213--238, 20(4)253--265, 21(1)17--37, 26(2)67--104, 38(4)300--319
construction, 7(2)53--59, 16(2)167--178, 20(2)89--100, 20(3)151--175
constructor-based, 23(2)61--85
Constructors, 7(2)53--59
consumer, producer-, 18(1)31--55
consuming, input-, 26(1)1--25
consumption, 22(2)115--142, 37(4)168--177
container, 16(2)179--195, 50(z)53--81
content, 23(2)179--206, 28(4)z--99999999, 31(1)z--99999999, 31(3)z--99999999, 32(4)z--z, 47(z)104--129
context, 2(1)9--19, 11(2)85--104, 16(1)97--107, 16(2)167--178, 17(1)61--66, 19(4)247--259, 20(1)43--51, 20(2)89--100, 20(2)101--116, 20(4)239--252, 21(1)1--16, 22(1)27--38, 48(z)39--67, 54(z)20--38
Context, Theory-, 13(3)125--141
context-, 18(4)251--271, 20(4)239--252
context-aware, 38(3)199--213
Context-Free, 6(2)95--107, 14(2)99--108
context-free, 1(2)105--119, 2(1)9--19, 6(2)95--107, 13(3)125--141, 14(2)99--108, 14(4)225--237, 14(4)239--254, 16(2)167--178, 17(1)61--66, 18(4)251--271, 20(1)43--51, 20(4)239--252, 21(1)1--16, 54(z)1--19
context-sensitive, 18(4)241--250, 20(2)101--116, 39(4)123--141
contextual, 54(z)156--182
contiguous, 21(2)113--127
contiguous, non-, 47(z)104--129
continuation, 3(4)241--263, 11(3)143--153, 12(1)1--7, 12(3)197--207, 14(2)109--123, 15(2)109--125, 20(1)53--68
continuation, call-with-current-, 15(2)109--125
continuation-, 17(1)19--37
continuation-based, 17(1)19--37
continuous, 5(3)163--189
contract, 8(1)15--25, 48(z)68--88
contraction, 8(1)15--25
contractual, 54(z)71--94
control, 1(1)3--16, 3(3)163--179, 4(3)155--169, 5(3)141--153, 6(3)131--138, 7(2)89--102, 8(1)1--14, 8(1)15--25, 8(2)61--68, 9(1)1--23, 9(3)133--148, 9(3)183--192, 10(2)75--89, 10(3)179--187, 11(3)143--153, 12(1)39--46, 13(3)109--123, 14(1)1--9, 14(3)153--163, 14(4)255--262, 15(2)83--94, 15(2)109--125, 15(3)141--152, 16(1)39--63, 16(2)147--165, 16(3)197--207, 17(4)269--282, 18(4)217--239, 19(1)51--62, 20(1)53--68, 20(2)117--126, 21(1)17--37, 22(1)15--26, 22(4)259--278, 23(2)87--120, 24(4)229--244, 39(3)67--94, 39(3)109--120, 45(z)80--104, 45(z)161--162, 47(z)44--61
control, sequence-, 12(1)39--46
controlled, 7(1)1--10
controller, 6(3)155--163, 20(1)1--23, 21(1)1--16
controlling, 19(4)235--245, 31(3)107--126
conventional, 17(4)251--267, 23(1)43--58
conventions, 23(1)43--58
conversation, 3(3)145--155, 18(3)153--168, 21(3)147--163
conversion, 17(1)67--74
convex, 47(z)2--18
Cook, Robert P., 6(3)131--138
Cook, William R., 44(z)24--47
Cook, William R., see Erdweg, Sebastian
Cook:1981:ADP, 6(3)131--138
Cooke, Daniel E., 24(1)1--32
Cooke:1998:SPD, 24(1)1--32
COOLs, 21(3)147--163
Coon, Lawrence A., 8(1)15--25
Coon:1983:CCI, 8(1)15--25
Cooper, Keith D., 19(2)105--117
Cooper:1993:MPC, 19(2)105--117
cooperating, 1(2)151--160
cooperation, 1(2)151--160
coordinating, 27(4)137--161
coordination, 17(4)213--239, 22(2)95--113, 26(2)125--163, 36(2)142--157, 37(1)2--23
copy, 1(2)161--194, 1(3)197--218, 39(1)25--47
copyright, 3(4)265--266
Córdoba-Sánchez, Irene, 45(z)164--190
Cordoba-Sanchez:2016:ADS, 45(z)164--190
Cordy, James R., 13(2)65--74, 14(2)93--98, 16(1)97--107, 19(2)63--64
Cordy, James R., see Barnard, David T.
Cordy:1991:TRP, 16(1)97--107
Cordy:1993:ISI, 19(2)63--64
Core, 38(3)214--241
corecursion, 39(4)142--162
Cormack, Gordon V., 12(2)95--108, 20(2)117--126
Cormack, Gordon V., see Shen, Jun, see Strothotte, Thomas W.
corner, left-, 18(1)1--15
Cornu, Thierry, 24(3)125--153
Cornu, Thierry, see Vialle, Stéphane
corollaries, 1(2)161--194
coroutine, 2(4)117--134, 3(3)181--192, 8(1)15--25, 9(2)107--131, 11(3)143--153, 12(3)145--162, 15(4)225--249
correct, 10(1)23--36, 19(1)51--62
correction, 2(3)93--111, 5(3)131--139, 20(2)69--87, 20(4)239--252, 23(1)43--58
correctness, 1(4)287--301, 1(4)303--320, 2(4)149--170, 3(2)65--74, 3(2)135--142, 5(1)1--28, 7(2)89--102, 10(1)23--36, 10(2)147--164, 14(3)205--224, 16(3)259--280, 18(4)273--282, 21(2)67--79
correctors, 2(4)179--186
correspondence, 14(3)181--191
Cortesi, Agostino, 28(1)1--2, 28(1)101--127, 30(3)207--230, 36(4)352--377, 37(1)24--42, 38(2)123--157, 43(z)41--68
Cortesi, Agostino, see Braghin, Chiara, see Brusò, Mayla, \see{Halder, Raju
Cortesi:2002:CLS, 28(1)1--2
Cortesi:2011:WNO, 37(1)24--42
Cortesi:2015:ADT, 43(z)41--68
Cosentino, Valerio, 49(z)36--61
Cosentino, Valerio, see Martínez, Salvador
Cosmo, Roberto, Di, 33(3)82--110
COSPOL, 11(3)155--160
cost, 12(3)145--162, 15(2)109--125, 15(3)127--140, 22(1)1--13, 22(4)259--278, 33(3)79--81
Cost-driven, 36(1)34--59
Costa, Cristiano, 38(3)199--213
Costa, Cristiano, see Barbosa, Jorge
Costa, Igor Rafael de Assis, 40(2)37--52
Costa:2014:JTV, 40(2)37--52
Costagliola, Gennaro, 54(z)20--38
Costagliola:2018:ULC, 54(z)20--38
Costantini, Giulia, 43(z)41--68
Costantini, Giulia, see Cortesi, Agostino
Costanza, Pascal, 35(1)31--47
Costanza, Pascal, see Herzeel, Charlotte
Costing, 33(3)134--167
count, 19(4)235--245
Countdown, 25(2)113--113
counters, 1(3)219--232
counting, 38(1)98--107
countries, 21(3)191--200
coupled, 13(1)31--47, 23(2)87--120, 36(2)142--157
coupling, 14(3)205--224, 38(4)300--319
course, 22(4)215--223
covariant, 34(1)1--17
Coven, H. Justin, 18(1)57--75
Coven:1993:AAP, 18(1)57--75
cover, 28(4)z--z, 29(1)z--z, 29(3)z--z, 29(4)z--z, 30(1)z--z, 31(1)z--z, 31(2)z--z, 31(3)z--z
Crawford, John H., 5(1)29--36
Crawford, Richard H., 21(1)17--37
Crawford:1980:NAC, 5(1)29--36
Crawford:1995:SID, 21(1)17--37
CRCW, 20(4)253--265
created, 14(3)153--163
Creating, 14(1)11--23, 34(2)109--129
creation, 20(4)253--265
Crespi-Reghizzi, Stefano, 26(2)105--123
Crespi-Reghizzi:2000:ADP, 26(2)105--123
critical, 8(2)51--60
critical, safety-, 44(z)251--282, 45(z)251--282
critique, 13(2)95--105
cross, and-, 54(z)544--585
cross-platform, 48(z)3--19
Crow, W. A., 22(4)259--278
Crow, W. A., see McNamee, C. M.
Crowley, Charles, 4(2)71--82
Crowley:1979:PDP, 4(2)71--82
CRT, 9(1)39--49
CSP, 9(3)193--202
CSP-S, 9(3)193--202
Cunha, P. R. F., 8(3)95--111
Cunha:1983:MOP, 8(3)95--111
current-continuation, call-with-, 15(2)109--125
cursor, 8(2)77--92
custom, 36(3)268--287
Customizing, 36(4)345--351, 49(z)101--118
Cutsem, Tom, Van, 35(1)80--98, 40(3)112--136, 45(z)132--160
cutting, leaves-, 20(4)267--277
cybernetics, 4(2)99--129
cycle, 14(2)83--92, 16(1)39--63
cycle, life-, 8(3)139--159
Cyclic, 38(1)98--107
cyclomatic, 7(3)147--160, 9(3)133--148
CYK, 17(1)61--66