Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
C
-
C\#, 40(8)29--33, 41(1)283--294, 41(1)397--408, 41(6)252--262
-
c++, 35(2)25--28, 35(6)47--54, 35(9)118--129, 36(4)25--30, 36(4)48--55,
37(11)275--291, 38(5)168--181, 38(6)9--13, 38(6)50--59, 38(8)55--59,
38(10)179--190, 38(12)18--19, 39(5)40--47, 39(10)25--26,
39(10)268--274, 41(1)295--308, 41(1)409--421, 41(4)30--35,
41(6)144--157, 41(6)158--168, 41(6)272--282
-
C--, 41(6)401--414
-
C--compiler, 39(9)1--1
-
C-like, 41(1)42--54
-
C-SAW, 39(10)27--28
-
C++-STL, 35(2)46--53
-
C-style, 41(6)401--414
-
C1160, 25(6)92--101
-
C5230, 25(6)92--101, 25(6)112--126
-
C7310, 25(6)92--101, 25(6)112--126
-
Cabal, M. José, Suárez-, 41(4)36--41
-
Cabana, Brian, 39(12)22--31
-
Cabana:2004:PPJ, 39(12)22--31
-
Cabral, Bruno, 39(10)210--211
-
Cabral:2004:RCI, 39(10)210--211
-
cache, data-, 37(5)222--233
-
cache-conscious, 41(6)252--262
-
cache-sized, 41(5)39--45
-
caching, 35(5)311--320, 37(10)239--250, 38_2s_221_232, 38_2s_263_268
-
Cadot, Sidney, 36(8)56--63
-
Cadot:2001:ECL, 36(8)56--63
-
Caesar, 41(1)270--282
-
Cahill, Vinny, 38(11)1--12
-
Cahill, Vinny, see Lafferty, Donal
-
Cai, Baosheng, 37(7)155--164
-
Cai, Baosheng, see Zhao, Wankang
-
Cain, Harold W., 41(6)263--271
-
Cain, Harold W., see Zhuang, Xiaotong
-
Calcagno, Cristiano, 36(3)155--165, 38(3)62--73, 40(1)259--270,
40(1)271--282, 41(1)257--268
-
Calcagno, Cristiano, see Bornat, Richard,
see Kim, Ik-Soon
-
Calcagno:2001:SOS, 36(3)155--165
-
Calcagno:2003:DVS, 38(3)62--73
-
Calcagno:2005:CLT, 40(1)271--282
-
Calculating, 38_2s_37_43
-
calculation, 37(5)177--186, 41(7)103--112
-
calculator, 39(10)101--102, 40(3)4--11
-
calculus, lambda-, 41(1)141--152
-
calculus, Pi-, 36(3)128--141
-
calculus, \S-, 38(2)29--35
-
Calder, Brad, 36(5)156--167, 37(10)45--57, 41(6)239--251
-
Calder, Brad, see Krintz, Chandra,
see Lau, Jeremy, \see{Sherwood, Timothy
-
calendar, 35(3)4--15, 35(4)3--16, 35(6)2--14, 35(8)3--14, 35(12)1--12,
36(4)5--20, 36(6)3--18, 36(9)4--16, 36(12)2--11, 37(4)5--14
-
call-by-name, 38(9)189--201, 38(12)2--2
-
Call-by-Need, 36(10)265--276
-
call-by-value, 38(9)189--201, 38(12)2--2, 41(1)168--179, 41(9)74--86
-
Callahan, David, 39(4)155--166, 39(4)328--342
-
Callahan:2004:ICP, 39(4)155--166
-
Callahan:2004:IRA, 39(4)328--342
-
call/cc, 37(9)271--282
-
called, so-, 41(6)38--51
-
calling, 41(1)409--421, 41(6)181--192, 41(6)263--271
-
calling-context, 41(6)263--271
-
call/return, 41(6)401--414
-
Calman, Silvian, 39(6)145--157
-
Calman, Silvian, see Zhu, Jianwen
-
came, 41(4)16--23
-
caml, 40(9)320--330
-
Campbell, Gerard T., 35(10)337--353
-
Campbell, Gerard T., see Rayside, Derek
-
Campo, Marcelo, 35(10)253--263
-
Campo, Marcelo, see Ortigosa, Alvaro
-
Campo, Marcelo R., 40(10)117--132
-
Campo, Marcelo R., see Díaz-Pace, J. Andrés
-
Cannarozzi, Dante J., 35(5)264--273
-
Cannarozzi:2000:CGC, 35(5)264--273
-
cannot, 25(6)92--101, 35(11)168--177, 39(4)360--371, 40(6)261--268,
41(1)127--140, 41(1)153--165, 41(5)46--54, 41(6)72--83,
41(6)144--157, 41(7)182--188
-
canonical, 39(9)150--161
-
Cao, Lan, 39(10)46--47
-
Cao:2004:MDA, 39(10)46--47
-
capability, 41(6)84--95, 41(7)189--198
-
capable, 38(10)95--106, 39(6)35--46
-
capacity, 41(6)415--426
-
Capel, Manuel I., 37(12)108--119
-
Capel, Manuel I., see Hornos, Miguel J.
-
Capra, Robert, 37(3)119--130
-
Capra, Robert, see Ramakrishnan, Naren
-
capture, 41(1)16--29, 41(1)115--126, 41(1)153--165, 41(1)270--282,
41(6)169--180
-
capture-avoiding, 41(1)257--268
-
captured, 41(1)55--66, 41(9)26--37
-
capturing, 41(9)26--37, 41(9)62--73
-
capturing, variable-, 41(1)257--268
-
card, 39(7)165--174, 41(7)22--33
-
Cardelli, Luca, 38(3)62--73
-
Cardelli, Luca, see Calcagno, Cristiano
-
care, 41(1)194--205, 41(7)54--63
-
caret, 41(1)153--165
-
Carey, Michael J., 35(10)118--129
-
Carey, Michael J., see Kiernan, Jerry
-
Carleton, Lawrence, 39(10)158--159
-
Carleton:2004:IDP, 39(10)158--159
-
Carlo, Monte-, 36(3)93--101
-
Carlsson, Magnus, 37(9)26--35
-
Carlsson:2002:MIC, 37(9)26--35
-
Carlstrom, Brian D., 39(11)1--13, 41(6)1--13
-
Carlstrom, Brian D., see Hammond, Lance
-
Carlstrom:2006:ATP, 41(6)1--13
-
Carolina, 41(3)4--8
-
Caromel, Denis, 38(11)27--46, 39(1)123--134
-
Caromel, Denis, see Tanter, Éric
-
Caromel:2004:ADO, 39(1)123--134
-
Carr, Steve, 36(8)48--55, 37(7)112--119, 39(4)328--342
-
Carr, Steve, see Callahan, David,
see Huang, Xianglong, \see{Qian, Yi
-
Carrera, Enrique V., 36(7)113--122
-
Carrera:2001:EVP, 36(7)113--122
-
carry, 25(6)112--126, 35(11)168--177, 39(4)372--389, 41(1)206--217,
41(6)341--353
-
carrying, proof-, 41(1)320--333, 41(6)401--414
-
carrying-code, proof-, 41(1)79--90
-
Carter, E., 39(6)107--118
-
Carter, E., see Collberg, C.
-
Carter, Larry, 38(1)106--114, 38(5)91--102
-
Carter, Larry, see Strout, Michelle Mills
-
Carter:2003:FCR, 38(1)106--114
-
Cartesian, 41(5)39--45
-
Cartwright, Robert, 38(11)96--114, 39(4)412--428
-
Cartwright, Robert, see Allen, Eric
-
Cartwright:2004:ST, 39(4)412--428
-
Casçaval, C{\u{a}}lin, 41(6)108--117,
see Barton, Christopher
-
Ca{\c{s}}caval, C{\u{a}}lin, 38_2s_37_43,
see Almási, George
-
Case, Worst-, 41(7)103--112
-
case, worst-, 41(6)283--294, 41(7)103--112, 41(7)153--162
-
Casey, Kevin, 41(6)52--60
-
Casey, Kevin, see Ertl, M. Anton
-
Cashorali, Tanya, 40(3)4--11
-
Cashorali, Tanya, see Proulx, Viera K.
-
Caspi, Paul, 38(7)153--162
-
Caspi:2003:SSL, 38(7)153--162
-
cast, 35(9)58--67, 39(9)244--255, 41(1)67--78, 41(6)320--331,
41(6)387--400, 41(7)54--63
-
cast, pointer-, 41(7)54--63
-
Castagna, Giuseppe, 36(3)222--235, 38(9)51--63, 40(1)50--62
-
Castagna, Giuseppe, see Benzaken, Véronique,
see Bugliesi, Michele, \see{Hosoya, Haruo
-
Castanedo, Raul Izquierdo, 35(12)41--50
-
Castanedo, Raul Izquierdo,
see Gutiérrez, David Basanta
-
Castanedo, Raúl Izquierdo, 37(4)62--73,
see Acebal, César F.
-
Castro, Luís Fernando, 38_2s_56_64,
see Lopes, Ricardo
-
catch, 38(10)284--294
-
categorization, 36(11)300--311
-
category, 41(1)206--217
-
Cates, Josh, 37(10)304--316
-
Cates, Josh, see Witchel, Emmett
-
Cattell, R. G. G., 39(4)1--13
-
Cattell:2004:CGM, 39(4)1--13
-
Catthoor, F., 38_2s_65_75
-
Catthoor, F., see Ykman-Couvreur, Ch.
-
Catthoor, Francky, 38(7)24--33
-
Catthoor, Francky, see Vanbroekhoven, Peter
-
caught, 41(1)270--282
-
cause, 38(1)97--105, 41(1)168--179, 41(1)372--382, 41(6)169--180,
41(6)263--271, 41(7)2--11, 41(9)38--49
-
caused, 41(9)38--49, 41(9)50--61
-
causing, 41(9)38--49
-
Cavazos, John, 39(6)183--194
-
Cavazos:2004:IHD, 39(6)183--194
-
CC--MPI, 38(10)95--106
-
C/C++/Java/C\#, 41(1)269--269
-
CCured, 37(1)128--139, 38(5)232--244
-
CDuce, 38(9)51--63, 41(1)103--114
-
Cecchet, Emmanuel, 37(11)246--261
-
Cecchet:2002:PSE, 37(11)246--261
-
cell, 41(1)115--126, 41(7)54--63
-
center, 41(9)38--49
-
centered, 41(8)6--9
-
central, 41(1)383--396, 41(6)415--426
-
centred, user-, 38(9)165--176
-
centric, 39(10)124--124, 39(12)84--91
-
centric, page-, 38(2)57--64
-
Centric, Value-, 35(11)150--159
-
centric, XML-, 38(9)51--63
-
century, 36(4)1--2
-
{\v{C}}ern{\'y}, Pavol, 40(1)98--109, see Alur, Rajeev
-
certain, 41(1)91--102, 41(1)168--179, 41(6)144--157, 41(7)44--53
-
certainly, 41(4)16--23
-
certification, 37(12)25--34, 41(1)42--54
-
certified, 37(1)217--232, 37(9)191--205, 39(1)1--13, 41(1)42--54,
41(1)320--333
-
certifying, 35(5)95--107, 37(5)83--94, 39(4)612--625, 41(6)401--414
-
CFA, 41(1)127--140, 41(9)13--25
-
CFA, delta-, 41(1)127--140
-
CFA, gamma-, 41(9)13--25
-
CFGs, 40(4)10--19
-
CFL, 39(6)207--218
-
CFL-reachability, 36(3)54--66
-
CG, 41(6)108--117
-
CGRA, 41(7)182--188
-
Chafi, Hassan, 41(6)1--13
-
Chafi, Hassan, see Carlstrom, Brian D.
-
chain, 36(2)47--54, 40(7)127--136, 41(6)181--192
-
Chair, 35(6)1--1, 36(9)1--2
-
Chaitin, Gregory, 39(4)66--74
-
Chaitin:2004:RAS, 39(4)66--74
-
Chakaravarthy, Venkatesan T., 38(1)115--125
-
Chakaravarthy:2003:NRC, 38(1)115--125
-
Chaki, Sagar, 37(1)45--57
-
Chaki:2002:TMM, 37(1)45--57
-
Chakrabarti, P. P., 40(12)14--23
-
Chakrabarti, P. P., see Kumar, Rajeev
-
Chakravarty, Manuel M. T., 35(9)94--105, 36(10)205--216, 40(1)1--13,
40(9)241--253
-
Chakravarty:2000:MTN, 35(9)94--105
-
Chakravarty:2001:FAF, 36(10)205--216
-
Chakravarty:2005:ATC, 40(1)1--13
-
Chakravarty:2005:ATS, 40(9)241--253
-
Chalk, Peter, 35(3)18--19
-
Chalk:2000:CCC, 35(3)18--19
-
Chalk:2000:JJC, 35(3)18--19
-
challenge, 35(7)1--11, 36(7)1--1, 36(7)82--82, 36(8)175--180, 37(10)1--1,
39(10)145--147, 41(1)1--1, 41(1)269--269, 41(3)10--19, 41(6)72--83,
41(6)108--117, 41(6)132--143, 41(6)272--282, 41(6)415--426,
41(7)34--43, 41(7)83--92, 41(7)125--134
-
challenging, 41(1)55--66
-
Chamberlain, Bradford L., 38(10)155--166
-
Chamberlain, Bradford L., see Deitz, Steven J.
-
Chambers, Craig, 35(7)73--74, 35(10)130--145, 37(1)113--125,
37(1)270--282, 37(3)1--8, 37(9)110--122, 37(11)311--330,
38(5)220--231, 38(11)205--223, 38(11)224--240, 39(4)295--312,
39(4)656--669, 40(1)364--377
-
Chambers, Craig, see Aldrich, Jonathan,
see Clifton, Curtis, \see{Grant, Brian,
see Lee, Keunwoo, \see{Lerner, Sorin,
see Millstein, Todd,
see Philipose, Matthai
-
Chambers:2000:D, 35(7)73--74
-
Chambers:2000:DPS, 35(7)73--74
-
Chambers:2002:SC, 37(3)1--8
-
Chambers:2004:RCO, 39(4)295--312
-
Chan, Hoi, 39(10)194--195
-
Chan, Kai-Ming, 39(11)144--155
-
Chan, Kai-Ming, see Wang, Perry H.
-
Chan, Sun, 38(5)289--299
-
Chan, Sun, see Lin, Jin
-
Chan:2004:ATA, 39(10)194--195
-
Chandra, Satish, 35(5)47--56, 36(3)206--219, 40(10)77--96
-
Chandra, Satish, see Bhargavan, Karthikeyan,
see Nanda, Mangala Gowri,
see Rountev, Atanas
-
Chanet, Dominique, 39(7)211--220, 40(7)95--104
-
Chanet, Dominique, see De Bus, Bruno
-
Chanet:2005:SWC, 40(7)95--104
-
Chang, Byeong-Mo, 41(3)40--48, 41(5)21--29
-
Chang, Byeong-Mo, see Moon, Sewon
-
Chang, J. Morris, 40(7)230--238
-
Chang, J. Morris, see Griffin, Paul
-
Chang, Jichuan, 39(11)97--106
-
Chang, Jichuan, see Huh, Jaehyuk
-
Chang, Naehyuck, 36(8)1--10
-
Chang, Naehyuck, see Lee, Sheayun
-
Chang, Ok-Bae, 37(6)82--92
-
Chang, Ok-Bae, see Lee, Ji-Hyun
-
Chang:2006:SCA, 41(3)40--48
-
change, size-, 36(3)81--92
-
changed, 41(6)72--83
-
changing, 41(4)24--29
-
channel, 38(7)144--152, 39(1)147--160, 41(1)194--205, 41(6)193--203
-
Chapman, Matthew, 39(10)29--30
-
Chapman, Matthew, see Tarr, Peri
-
characteristic, 41(1)194--205
-
characterization, 41(1)168--179
-
characterize, 41(1)16--29, 41(1)115--126, 41(1)168--179
-
characterizing, 37(10)45--57
-
Charest, L., 39(7)107--114
-
Charest, L., see Lapalme, J.
-
Charles, Philippe, 40(10)519--538
-
Charles:2005:XOO, 40(10)519--538
-
Charleston, 41(3)4--8
-
Charting, 36(10)134--145
-
charts, 37(11)83--100
-
Chase, David, 39(4)343--359
-
Chase:2004:APS, 39(4)343--359
-
chat, 39(10)151--152
-
Chatterje, Siddhartha, 41(6)108--117
-
Chatterje, Siddhartha, see Barton, Christopher
-
Chatterjee, Siddhartha, 36(5)286--297
-
Chatterjee:2001:EAC, 36(5)286--297
-
Chaudhuri, Swarat, 41(1)153--165
-
Chaudhuri, Swarat, see Alur, Rajeev
-
Cheadle, A. M., 35(9)257--267
-
Cheadle:2000:NSH, 35(9)257--267
-
cheap, 35(9)150--161
-
check, 35(5)321--333, 35(11)59--70, 35(11)139--149, 37(5)246--257,
38(7)51--58, 38(7)69--80, 41(1)218--231, 41(1)245--256,
41(1)397--408, 41(3)40--48, 41(6)61--71, 41(6)144--157,
41(6)283--294, 41(6)320--331, 41(7)54--63
-
checked, 40(10)455--471, 41(1)245--256, 41(1)359--371, 41(6)387--400
-
checked, Dynamically-, 41(1)245--256
-
checked, model-, 41(1)153--165
-
checker, 39(1)256--267, 41(1)55--66
-
checking, model-, 41(1)153--165
-
checking, type-, 41(1)1--1
-
checkpointing, 38(10)84--94, 39(11)235--247, 41(9)136--147
-
Chelcea, Tiberiu, 39(11)14--26
-
Chelcea, Tiberiu, see Budiu, Mihai
-
Chelf, Benjamin, 35(11)59--70, 37(5)69--82
-
Chelf, Benjamin, see Chou, Andy,
see Hallem, Seth
-
Chen, Benjie, 37(10)251--263
-
Chen, Benjie, see Kohler, Eddie
-
Chen, Chiyan, 38(1)224--235, 38(9)275--286, 38(10)260--268, 40(9)66--77
-
Chen, Chiyan, see Xi, Hongwei
-
Chen, Danny Z., 37(4)42--53
-
Chen, Danny Z., see Zhang, Yumin
-
Chen, DeQing, 38(10)131--142
-
Chen, Fuh-Gwo, 41(8)29--33
-
Chen, G., 38(11)282--301, 39(7)240--248
-
Chen, G., see Saputra, H.
-
Chen, Gang, 38(1)150--159, 38(1)224--235
-
Chen, Gang, see Xi, Hongwei
-
Chen, Guangyu, 40(7)213--221, 41(1)194--205, 41(6)193--203
-
Chen, Guangyu, see Kandemir, Mahmut
-
Chen, Haiming, 37(6)28--37
-
Chen, Jian-Jia, 41(7)153--162
-
Chen, Jiongxiong, 35(10)29--46
-
Chen, Jiongxiong, see Buhr, Peter A.
-
Chen, Juan, 38(5)208--219, 40(1)38--49
-
Chen, Michael K., 40(6)224--236
-
Chen, Mike, 39(11)1--13
-
Chen, Mike, see Hammond, Lance
-
Chen, Peng-Sheng, 38(10)25--36
-
Chen, Shuo-Ying, 38(6)60--69
-
Chen, Shuo-Ying, see Zhang, Qing-Li
-
Chen, Tong, 38(5)289--299
-
Chen, Tong, see Lin, Jin
-
Chen, Wen-ke, 41(6)332--340
-
Chen, Yan, 35(11)190--201
-
Chen, Yan, see Kubiatowicz, John
-
Chen, Zhenqiang, 36(4)33--40, 36(4)41--47, 36(12)70--76, 37(8)45--52
-
Chen, Zhenqiang, see Xu, Baowen
-
Chen:2001:SCJ, 36(4)41--47
-
Chen:2001:SOO, 36(4)33--40
-
Chen:2002:OMD, 37(8)45--52
-
Chen:2002:YAM, 37(6)28--37
-
Chen:2003:CSC, 38(1)150--159
-
Chen:2003:CSS, 38(10)25--36
-
Chen:2003:EHL, 38(10)131--142
-
Chen:2003:HCM, 38(11)282--301
-
Chen:2003:ITP, 38(10)260--268
-
Chen:2003:MPT, 38(9)275--286
-
Chen:2003:PST, 38(5)208--219
-
Chen:2005:CPT, 40(9)66--77
-
Chen:2005:SAH, 40(6)224--236
-
Chen:2005:STI, 40(1)38--49
-
Chen:2006:CDC, 41(1)194--205
-
Chen:2006:ICT, 41(8)29--33
-
Chen:2006:PGP, 41(6)332--340
-
Chen:2006:PLA, 41(7)153--162
-
Chen:2006:RNE, 41(6)193--203
-
Cheney, James, 37(5)282--293, 40(9)180--191
-
Cheney, James, see Grossman, Dan
-
Cheney:2005:SYN, 40(9)180--191
-
Cheng, Ben-Chung, 35(5)57--69, 35(11)222--233
-
Cheng, Ben-Chung, see Connors, Daniel A.
-
Cheng, Eric, 39(10)101--102, 39(10)109--110
-
Cheng, Perry, 36(5)125--136, 38(1)285--298, 38(3)98--108, 38(7)81--92,
39(4)554--567, 39(4)626--641, 40(7)183--192, 41(6)283--294
-
Cheng, Perry, see Bacon, David F.,
see Blelloch, Guy E.,
see Spoonhower, Daniel,
see Tarditi, David,
see Vanderwaart, Joseph C.
-
Cheng:2000:MIP, 35(5)57--69
-
Cheng:2001:PRT, 36(5)125--136
-
Cheng:2004:AFS, 39(10)101--102
-
Cheng:2004:MBS, 39(10)109--110
-
Cher, Chen-Yong, 39(11)199--210
-
Cher:2004:SPM, 39(11)199--210
-
chez, 41(9)1--12
-
Chheda, Saurabh, 37(10)133--143
-
Chheda, Saurabh, see Ashok, Raksit
-
Chien, Andrew, 35(5)345--357
-
Chien, Andrew, see Dolby, Julian
-
Chien, Andrew A., 36(7)82--82
-
Chien:2001:PPC, 36(7)82--82
-
Chieu, Trieu C., 39(10)194--195
-
Chieu, Trieu C., see Chan, Hoi
-
Childers, Bruce, 38(7)1--11, 38(7)284--293
-
Childers, Bruce, see AbouGhazaleh, Nevine,
see Zhao, Min
-
Chilimbi, Trishul, 36(1)35--49, 37(1)140--153, 41(6)332--340
-
Chilimbi, Trishul, see Chen, Wen-ke,
see Rubin, Shai
-
Chilimbi, Trishul M., 36(5)191--202, 37(5)199--209, 39(11)156--164,
41(6)252--262
-
Chilimbi, Trishul M., see Hauswirth, Matthias
-
Chilimbi:2001:DTF, 36(1)35--49
-
Chilimbi:2001:ERA, 36(5)191--202
-
Chilimbi:2002:DHD, 37(5)199--209
-
Chilimbi:2006:CCC, 41(6)252--262
-
Chin, Brian, 40(6)85--95
-
Chin, Wei-Ngan, 36(10)134--145, 38(10)315--324, 39(6)243--254
-
Chin, Wei-Ngan, see Anand, Saswat
-
Chin:2003:EST, 38(10)315--324
-
Chin:2004:RIO, 39(6)243--254
-
Chin:2005:STQ, 40(6)85--95
-
chip, 41(7)163--172, 41(7)199--208
-
Chip, Network-on-, 41(1)194--205, 41(6)193--203
-
chip, network-on-, 41(6)193--203
-
chip, on-, 37(10)211--222, 41(1)194--205
-
chip, Systems-on-, 37(7)1--1
-
Chitil, Olaf, 36(10)193--204
-
Chitil:2001:CET, 36(10)193--204
-
Cho, Jeonghun, 37(7)130--138
-
Cho, Kyunghwan, 38(7)12--23
-
Cho, Kyunghwan, see Kulkarni, Prasad
-
Cho:2002:ERM, 37(7)130--138
-
Choi, Jong-Deok, 35(5)196--207, 37(5)258--269, 38(10)167--178,
41(6)263--271
-
Choi, Jong-Deok, see O'Callahan, Robert,
see Sreedhar, Vugranam C.,
see Zhuang, Xiaotong
-
Choi, Kiyoung, 38(7)183--188
-
Choi, Kiyoung, see Lee, Jong-eun
-
Choi, Sung-Eun, 38(10)155--166
-
Choi, Sung-Eun, see Deitz, Steven J.
-
Choi:2002:EPD, 37(5)258--269
-
choice, 41(1)79--90, 41(6)38--51, 41(6)341--353, 41(7)72--82,
41(9)74--86, 41(9)124--135
-
Cholleti, Sharath R., 40(7)222--229
-
Cholleti, Sharath R., see Defoe, Delvin C.
-
choosing, 41(1)79--90
-
Chopra, Amit K., 39(10)120--123, 39(12)73--83
-
Chopra, Amit K., see Singh, Munindar P.
-
chose, 41(6)272--282
-
chosen, 41(1)334--345
-
Chou, Andy, 35(11)59--70
-
Chou:2000:UML, 35(11)59--70
-
Chow, Fred, 39(4)91--103
-
Chow:2004:RAP, 39(4)91--103
-
Christensen, Aske Simon, 40(6)117--128, 40(10)345--364
-
Christensen, Aske Simon, see Allan, Chris,
see Avgustinov, Pavel
-
Christensen, Flemming Gram, 38(7)42--50
-
Christensen, Flemming Gram, see Schultz, Ulrik Pagh
-
Christiansen, Jan, 39(9)28--39
-
Christiansen:2004:SDW, 39(9)28--39
-
Christopher, Thomas W., 36(9)31--36, 37(2)20--22, 37(4)27--28,
37(8)15--16, 38(6)6--8, 38(8)12--14
-
Christopher:2001:TPO, 36(9)31--36
-
Christopher:2002:PCR, 37(4)27--28
-
Christopher:2002:PFP, 37(2)20--22
-
Christopher:2002:PHS, 37(8)15--16
-
Christopher:2003:DSP, 38(8)12--14
-
Christopher:2003:SPS, 38(6)6--8
-
Chu, Lingkun, 38(10)119--130
-
Chu, Michael, 38(5)300--311
-
Chu:2003:ODA, 38(10)119--130
-
Chu:2003:RBH, 38(5)300--311
-
Chuang, Tyng-Ruey, 36(10)98--109
-
Chuang, Weihaw, 41(6)332--340
-
Chuang, Weihaw, see Chen, Wen-ke
-
Chuang:2001:GVS, 36(10)98--109
-
Chuck, 41(4)3--14
-
Chung, JaeWoong, 41(6)1--13
-
Chung, JaeWoong, see Carlstrom, Brian D.
-
Chung, William, 39(10)29--30
-
Chung, William, see Tarr, Peri
-
Chung, Yoo C., 35(7)79--81, 36(1)65--70
-
Chung, Yoo C., see Cytron, Ron
-
Chung:2000:SDP, 35(7)79--81
-
Chung:2001:MAL, 36(1)65--70
-
ChunYan, Yu, 38(6)30--39
-
ChunYan:2003:TEL, 38(6)30--39
-
Cibulskis, Michael, 38(5)63--76
-
Cibulskis, Michael, see Yotov, Kamen
-
Cierniak, Micha{\l}, 35(5)13--26
-
Cierniak:2000:PJJ, 35(5)13--26
-
Cifuentes, Cristina, 35(7)41--51
-
Cifuentes, Cristina, see Ung, David
-
Cintra, Marcelo, 38(10)13--24
-
Cintra:2003:TER, 38(10)13--24
-
cipher, 35(11)168--177
-
circuit, 41(7)163--172
-
circular, 40(3)z--z, 41(1)115--126
-
Cirstea, Horatiu, 38(1)250--261
-
Cirstea, Horatiu, see Barthe, Gilles
-
CISC, 36(5)243--253
-
Cisternino, Antonio, 38(10)306--314
-
Cisternino, Antonio, see Attardi, Giuseppe
-
citation, 38(10)1--1, 38(10)2--2, 38(10)3--3
-
CLA, 36(5)254--263
-
Claessen, Koen, 35(9)268--279, 37(12)35--46, 37(12)47--59
-
Claessen:2000:QLT, 35(9)268--279
-
Claessen:2002:ELA, 37(12)35--46
-
Claessen:2002:TMC, 37(12)47--59
-
Claesson, Vilgot, 37(7)75--84
-
Claesson, Vilgot, see Jhumka, Arshad
-
claim, 41(6)332--340
-
clarity, 41(5)46--54
-
Clark, Chis, 35(2)11--16
-
Clark, Chris, 35(2)11--16, 35(4)18--24, 35(6)15--20, 36(9)25--30,
37(8)9--14
-
Clark, Douglas W., 39(11)248--259
-
Clark, Douglas W., see Wu, Qiang
-
Clark:2000:NLS, 35(4)18--24
-
Clark:2000:PPPa, 35(2)11--16
-
Clark:2000:PPPb, 35(4)18--24
-
Clark:2000:PPPc, 35(6)15--20
-
Clark:2000:T, 35(6)15--20
-
Clark:2000:UAS, 35(2)11--16
-
Clark:2001:AOC, 36(9)25--30
-
Clark:2002:PPP, 37(8)9--14
-
Clarke, Dave, 37(11)292--310, 38(9)141--152, 38(11)374--387
-
Clarke, Dave, see Löh, Andres
-
Clarke:2002:OED, 37(11)292--310
-
Clarke:2003:SWB, 38(11)374--387
-
class, 'first-, 41(9)50--61
-
class, first-, 38(11)96--114, 40(9)92--104, 40(9)156--167,
41(1)153--165, 41(1)397--408, 41(6)401--414, 41(9)99--110,
41(9)124--135
-
class, World-, 37(12)25--34
-
Class-is-type, 36(6)50--59
-
class-valued, 41(1)270--282
-
classages, 40(10)191--209
-
Classboxash, 40(10)177--189
-
classes, Pseudo-, 39(10)162--163
-
classic, 41(3)30--39
-
classical, 41(1)153--165, 41(6)181--192
-
classification, 37(5)222--233
-
classifier, 38(1)26--37
-
classroom, 37(1)126--127
-
cleaner, 41(1)55--66
-
clear, 41(5)46--54, 41(6)193--203
-
Clement, Andrew, 39(10)29--30
-
Clement, Andrew, see Tarr, Peri
-
Clements, John, 40(9)216--227
-
Clements, John, see Pettyjohn, Greg
-
clever, 41(7)125--134
-
client, 40(4)20--28, 41(1)283--294, 41(7)189--198
-
client, component-, 37(5)83--94
-
client-driven, 41(6)387--400
-
Clifton, Curtis, 35(10)130--145
-
Clifton:2000:MMO, 35(10)130--145
-
Cline, Kenneth, 35(5)95--107
-
Cline, Kenneth, see Colby, Christopher
-
Clinger, William D., 25(6)92--101, 37(9)247--258, 39(4)360--371
-
Clinger, William D., see Hansen, Lars T.
-
Clinger:1990:HRF, 25(6)92--101, 25(6)112--126, 39(4)360--371
-
Clinger:2004:HRF, 39(4)360--371
-
Clinger:2004:RHR, 25(6)112--126, 39(4)360--371
-
clock, 39(11)248--259, 41(1)180--193
-
cloning, 38(4)18--24, 38(6)23--29, 41(8)21--28
-
Cloning-based, 39(6)131--144
-
cloning/specialization, 41(8)21--28
-
close, 36(4)21--24, 41(1)180--193, 41(6)193--203, 41(9)26--37
-
closed, 41(1)206--217, 41(1)309--319, 41(6)38--51
-
closedness, 41(1)309--319
-
closely, 41(6)181--192
-
closer, 41(6)364--375
-
closing, 35(11)49--58
-
closure, 36(10)14--25, 39(8)54--60, 41(1)320--333
-
CLU, 41(1)283--294
-
cluster, 38(10)95--106, 40(7)1--10, 40(10)519--538
-
cluster, multi-, 38(7)113--122
-
cluster-based, 36(7)113--122, 38(10)119--130
-
clustered, 37(7)102--111, 37(7)112--119
-
Cminor, 41(1)42--54
-
cminstr, 41(6)252--262
-
CMP, 39(11)260--270
-
co-array, 38(10)2--2
-
coalescence, 38(7)220--231
-
coalescing, 37(5)25--32, 41(6)216--227
-
coallocating, 41(6)252--262
-
coallocation, 41(6)252--262
-
Coarfa, Cristian, 38(10)2--2
-
Coarfa:2003:ECA, 38(10)2--2
-
coarse, 38(7)199--208
-
coarse-grained, 38(7)183--188, 41(7)182--188
-
coated, Instruction-, 41(8)29--33
-
coated, instruction-, 41(8)29--33
-
coated, sugar-, 41(8)29--33
-
Cobbe, Richard, 40(1)14--25
-
Cobbe:2005:EAR, 40(1)14--25
-
Cobol, 37(4)21--26
-
Cocchi, Anthony, 36(11)108--124
-
Cocchi, Anthony, see Alpern, Bowen
-
Cociorva, Daniel, 37(5)177--186
-
Cociorva:2002:STT, 37(5)177--186
-
Cocke, John, 39(4)58--65
-
Cocke, John, see Markstein, Victoria
-
Cockshott, Paul, 37(6)59--81
-
Cockshott:2002:VPR, 37(6)59--81
-
Code, Mobile-, 36(5)137--147
-
code, proof-carrying-, 41(1)79--90
-
code-size, 37(7)120--129
-
CodeBricks, 38(10)306--314
-
Codebugger, 35(2)54--60
-
codesign, 37(7)185--193
-
Codina, Josep M., 40(6)180--189
-
Codina, Josep M., see Aletà, Alex
-
coding, 41(7)72--82
-
Coercive, 38(1)150--159
-
coffee, 36(5)92--103
-
Coglio, Alessandro, 35(10)325--336
-
Coglio, Alessandro, see Qian, Zhenyu
-
cognizant, 41(7)173--181
-
Cohen, Albert, 41(1)180--193
-
Cohen, Julien, 37(12)76--87
-
Cohen, Julien, see Giavitto, Jean-Louis
-
Cohen:2006:SKN, 41(1)180--193
-
coherence, 38(10)73--82, 38(10)131--142, 39(11)1--13, 39(11)97--106
-
cohesion, 41(8)29--33
-
Cohn, Robert, 40(6)190--200
-
Cohn, Robert, see Luk, Chi-Keung
-
Cohort, 36(8)182--187
-
coinductive, 37(3)131--142, 41(1)206--217
-
Cointe, Pierre, 38(11)27--46
-
Cointe, Pierre, see Tanter, Éric
-
Colazzo, Dario, 39(9)126--137
-
Colazzo:2004:TPC, 39(9)126--137
-
Colby, Christopher, 35(5)95--107
-
Colby:2000:CCJ, 35(5)95--107
-
Cole, Leonardo, 39(10)202--203
-
Cole, Megan F., 38_2s_221_232
-
Cole, Megan F., see Kaplan, Scott F.
-
Cole:2004:DRA, 39(10)202--203
-
collaboration, 35(1)149--162, 41(7)1--1
-
collaborative, 37(11)26--39, 38(7)265--274
-
collapsing, 40(7)127--136
-
Collberg, C., 39(6)107--118
-
Collberg:2004:DPB, 39(6)107--118
-
collect, 41(6)263--271
-
collected, 41(6)332--340
-
Collected, Garbage-, 36(8)102--111
-
collected, garbage-, 41(6)283--294, 41(6)341--353,
41(6)364--375, 41(7)22--33
-
collections, 41(1)283--294, 41(1)334--345
-
collectively, 41(9)13--25
-
collector, 35(5)274--284, 36(1)59--64, 36(1)111--120, 36(1)143--154,
36(1)155--166, 36(3)166--178, 36(5)92--103, 36(5)125--136,
36(11)367--380, 37(1)93--100, 38(1)285--298, 38_2s_119_131,
38_2s_157_170, 38(7)81--92, 38(11)269--281, 39(1)220--231,
40(3)40--48, 40(7)230--238, 41(3)20--29, 41(6)283--294,
41(6)332--340, 41(6)341--353, 41(6)354--363, 41(6)364--375
-
Collins, Jamison D., 39(11)144--155
-
Collins, Jamison D., see Wang, Perry H.
-
Colohan, Christopher B., 37(10)171--183
-
Colohan, Christopher B., see Zhai, Antonia
-
Colored, 36(3)41--53
-
coloring, 37(5)33--44, 37(7)130--138, 39(4)66--74, 39(4)91--103,
39(4)283--294, 41(6)216--227
-
coloring, graph-, 39(6)277--288
-
column, 41(4)3--14, 41(8)10--14
-
column-major, 41(5)39--45
-
COM, 37(11)331--342
-
comalloc, 41(6)252--262
-
combination, 36(11)270--282, 41(1)153--165, 41(1)257--268,
41(1)309--319, 41(6)108--117, 41(6)252--262, 41(6)308--319,
41(6)364--375, 41(6)376--386, 41(7)189--198, 41(9)87--98,
41(9)124--135
-
combinator, 40(1)233--246, 41(5)46--54, 41(9)124--135
-
combinatorial, 25(6)92--101
-
combinatorics, 41(1)180--193
-
combine, 41(1)320--333, 41(6)52--60, 41(6)364--375, 41(9)26--37,
41(9)62--73, 41(9)124--135
-
combined, 41(1)91--102, 41(6)72--83, 41(6)376--386, 41(7)54--63
-
combining, 35(9)244--244, 36(3)290--303, 36(8)29--38, 37(5)141--152,
37(10)133--143, 39(10)73--82, 40(9)66--77, 40(10)455--471,
41(6)96--107, 41(6)252--262, 41(6)332--340, 41(6)376--386
-
come, 36(3)206--219, 41(1)168--179, 41(6)364--375, 41(7)12--21,
41(8)6--9
-
coming, 41(6)252--262, 41(9)38--49
-
command, 41(1)91--102, 41(1)372--382
-
commercial, 41(6)332--340
-
committee, 35(3)2--3, 35(8)1--2, 36(6)1--2, 36(9)3--3, 38(12)1--1
-
commodity, 39(11)48--58
-
common, 36(5)1--12, 38(2)19--28, 39(1)39--51, 39(10)324--325,
41(1)16--29, 41(1)55--66, 41(1)67--78, 41(1)115--126, 41(2)29--33,
41(6)181--192, 41(6)252--262, 41(6)320--331, 41(6)364--375
-
commonly, 40(6)261--268, 41(1)320--333, 41(1)372--382
-
communicate, 41(1)180--193
-
communicating, 37(4)27--28, 40(1)145--157
-
communication, 35(11)71--81, 35(11)82--92, 36(3)104--115, 36(3)116--127,
36(7)123--132, 36(8)56--63, 37(10)171--183, 37(11)262--274,
38(10)95--106, 38(10)230--240, 41(1)194--205, 41(6)193--203,
41(6)283--294, 41(7)1--1, 41(7)125--134
-
communication-exposed, 37(10)291--303
-
communications, 41(1)194--205
-
community, 41(1)67--78
-
commutative, 41(1)30--41
-
compact, 36(1)50--58, 36(3)193--205, 41(6)14--25, 41(6)354--363,
41(7)113--124, 41(7)135--144
-
compaction, 36(8)29--38, 38_2s_207_212, 40(7)95--104, 41(6)354--363
-
compactly, 38(10)191--202
-
compactness, 41(7)113--124
-
compactor, 41(6)354--363
-
comparable, 41(6)108--117
-
comparative, 35(7)52--64, 37(10)223--234, 38(11)115--134, 39(5)40--47
-
compare, 39(6)35--46, 41(7)93--102
-
compared, 41(1)103--114, 41(1)180--193, 41(1)359--371, 41(3)30--39,
41(6)1--13, 41(6)72--83, 41(6)204--215, 41(6)263--271,
41(6)283--294, 41(6)364--375, 41(7)64--71, 41(7)145--152
-
comparing, 41(7)22--33
-
comparison, 37(6)38--44, 38(5)63--76, 38(8)44--54, 39(5)58--65,
39(10)247--252, 41(5)30--38, 41(5)39--45, 41(7)64--71
-
compartment, 35(11)168--177
-
compatibility, 38(1)273--284, 41(1)346--358
-
compelling, 41(9)50--61
-
compensation, 40(1)209--220
-
compete, 41(6)26--37
-
competition, 41(6)108--117, 41(7)199--208
-
competitive, 41(1)397--408
-
compilable, 37(9)72--83
-
compilation, Post-, 40(12)14--23
-
compile, 41(4)42--49, 41(6)52--60, 41(6)61--71, 41(6)72--83
-
compile-time, 38(5)49--62, 38(5)91--102, 39(2)18--25, 41(6)144--157
-
compileash, 39(3)38--45
-
compiled, 37(9)235--246, 38(10)95--106, 40(6)224--236, 41(1)42--54,
41(1)372--382
-
compiler, C-, 39(9)1--1
-
compiler, programmer-, 41(6)181--192
-
compiler-assisted, 41(6)364--375
-
compiler-based, 41(1)194--205, 41(6)84--95, 41(7)163--172
-
Compiler-Directed, 35(11)222--233
-
compiler-directed, 37(7)165--174, 38_2s_1_12, 41(1)194--205,
41(6)193--203, 41(7)163--172
-
compiler-scheduled, 41(7)163--172
-
compilerash, 37(7)185--193
-
compiling, 37(5)294--303, 37(7)120--129, 37(9)259--270, 38(7)42--50,
38(9)65--77, 39(4)502--514, 39(7)249--256, 40(7)213--221,
41(4)42--49, 41(7)182--188
-
complement, 41(6)84--95
-
complementary, 41(9)13--25
-
complementing, 40(7)137--146
-
complete, 38(9)177--188, 39(4)596--611, 39(9)189--200, 41(1)67--78,
41(1)295--308, 41(1)320--333, 41(1)334--345, 41(1)372--382,
41(4)16--23, 41(6)263--271, 41(6)401--414, 41(7)2--11, 41(7)72--82,
41(7)113--124
-
complete, NP-, 41(1)16--29
-
completely, 39(6)35--46, 41(1)218--231
-
completeness, 41(1)67--78, 41(1)180--193
-
COMPLEXITY, 25(6)92--101, 25(6)112--126
-
complexity, time-, 41(1)168--179
-
complexity-theoretically, 41(1)168--179
-
complying, 41(1)257--268
-
component-client, 37(5)83--94
-
Component-oriented, 41(3)10--19
-
componentization, 41(1)269--269
-
composable, 37(9)72--83, 40(7)21--30
-
compose, 41(6)295--307
-
composed, 41(1)180--193, 41(6)295--307, 41(8)29--33
-
composing, 35(9)280--292, 36(5)114--124, 37(1)270--282, 37(9)133--144,
40(6)305--314, 41(1)409--421, 41(2)18--24, 41(6)26--37, 41(6)38--51
-
composite, 35(10)13--28
-
composition, 36(11)283--299, 38(5)91--102, 39(8)61--71, 39(10)224--225,
40(1)209--220, 40(10)247--263, 41(1)180--193, 41(1)270--282,
41(3)10--19, 41(6)26--37, 41(6)38--51, 41(6)181--192, 41(6)295--307
-
compositional, 36(10)193--204, 39(7)136--145, 40(1)26--37,
41(1)397--408, 41(1)409--421, 41(3)10--19, 41(9)124--135
-
compositionality, 37(3)87--97
-
compound, 41(7)54--63
-
compression, 35(5)27--34, 36(5)148--155, 37(5)95--105, 38_2s_86_96,
38(11)282--301, 40(7)105--114, 41(7)1--1, 41(7)44--53
-
compressor, 41(6)354--363
-
comprised, 41(6)308--319
-
compromise, 36(11)125--138, 41(1)1--1
-
compromised, 41(5)46--54
-
computability, 38(1)115--125
-
computable, 41(1)168--179
-
computation, pre-, 40(6)269--279
-
computational, 25(6)92--101, 25(6)112--126, 35(9)198--208,
36(3)220--221, 36(7)133--142, 39(10)160--161, 40(3)29--39,
41(1)30--41, 41(6)96--107, 41(6)295--307, 41(7)103--112,
41(7)182--188
-
computational-environment, 37(8)35--44
-
compute, 25(6)92--101, 39(4)360--371, 41(1)91--102, 41(3)40--48,
41(4)30--35, 41(6)169--180, 41(6)181--192, 41(6)204--215
-
computed, 41(1)30--41, 41(5)30--38, 41(7)125--134
-
computer, 25(6)92--101, 25(6)112--126, 35(2)17--23, 35(2)17--24,
35(11)1--12, 36(3)1--3, 37(2)29--35, 37(12)98--107, 41(1)180--193,
41(2)8--17, 41(5)39--45, 41(8)6--9
-
Cona, 39(10)196--197
-
Concatenate, 37(9)14--25
-
concatenating, 41(1)153--165
-
concentrate, 41(7)83--92
-
concept, 38(5)182--195, 39(10)96--100, 41(1)16--29, 41(1)295--308,
41(2)25--28, 41(3)30--39, 41(6)1--13, 41(6)272--282, 41(7)2--11
-
concept-based, 41(1)295--308
-
conceptual, 35(3)59--64, 39(10)170--171, 41(1)180--193
-
conceptually, 41(9)74--86
-
concern, 35(10)188--207, 39(10)29--30, 39(10)218--219
-
concern-dimensions, 39(10)60--62, 39(10)318--319
-
concerning, 41(1)127--140, 41(7)199--208
-
Conchon, Sylvain, 35(9)46--57
-
Conchon, Sylvain, see Pottier, François
-
concise, 37(2)57--67, 41(7)135--144, 41(7)145--152
-
concrete, 39(10)106--108, 41(9)13--25, 41(9)87--98
-
concurrency-related, 41(1)334--345
-
Concurrent, Mostly-, 36(1)143--154
-
condensed, 41(6)354--363
-
Condit, Jeremy, 38(5)232--244
-
Condit:2003:CRW, 38(5)232--244
-
condition, 35(2)36--45, 36(3)193--205, 41(1)67--78, 41(1)141--152,
41(1)153--165, 41(1)346--358
-
conditional, 35(2)36--45, 41(6)1--13, 41(7)44--53, 41(7)64--71,
41(7)103--112
-
conducted, 41(6)118--131
-
conference, 25(6)112--126, 35(2)9--9, 35(3)4--15, 35(3)16--17,
35(3)18--19, 35(4)3--16, 35(6)2--14, 35(8)3--14, 35(12)1--12,
35(12)13--13, 36(4)5--20, 36(6)3--18, 36(8)z--99999999, 36(8)z--z,
36(10)1--1, 36(10)2--13, 36(10)14--25, 36(10)26--37, 36(10)38--49,
36(10)50--61, 36(10)62--73, 36(10)74--85, 36(10)86--97,
36(10)98--109, 36(10)110--121, 36(10)122--133, 36(10)134--145,
36(10)146--156, 36(10)157--168, 36(10)169--180, 36(10)181--192,
36(10)193--204, 36(10)205--216, 36(10)217--228, 36(10)229--240,
36(10)241--252, 36(10)253--264, 36(10)265--276, 36(10)277--277,
36(10)z--99999999, 36(11)1--15, 36(11)16--30, 36(11)31--42,
36(11)43--55, 36(11)56--69, 36(11)70--82, 36(11)83--95,
36(11)96--107, 36(11)108--124, 36(11)125--138, 36(11)139--155,
36(11)156--165, 36(11)166--179, 36(11)180--195, 36(11)195--210,
36(11)211--222, 36(11)223--240, 36(11)241--253, 36(11)254--269,
36(11)270--282, 36(11)283--299, 36(11)300--311, 36(11)312--326,
36(11)327--341, 36(11)342--352, 36(11)353--366, 36(11)367--380,
36(12)2--11, 36(12)12--12, 36(12)13--13, 36(12)14--14, 36(12)15--15,
37(4)5--14, 37(4)15--15, 41(4)3--14
-
confidence, 41(6)169--180, 41(6)341--353
-
confidential, 41(1)91--102
-
confidentiality, 41(1)67--78, 41(1)91--102
-
configuration, 36(8)188--195, 37(10)251--263, 39(10)35--36,
39(10)218--219
-
confine, 41(1)359--371
-
confined, 36(11)241--253, 41(1)168--179
-
confinement, 37(1)166--177, 38(11)135--148, 38(11)374--387
-
confirmed, 38(1)106--114
-
conflict, 37(8)9--14, 38(5)115--128, 41(6)272--282
-
conflict-driven, 41(6)1--13
-
conformance, 37(5)83--94, 41(1)55--66
-
conforming, IEEE-, 25(6)92--101, 39(4)360--371
-
confounded, 41(6)181--192
-
congruence, 37(1)71--80
-
conjunction, 41(8)6--9
-
connected, 41(9)111--121
-
Connecting, 40(1)283--295
-
connection, 39(6)207--218
-
connectives, 41(1)309--319, 41(9)62--73
-
connectivity, 38_2s_143_156, 41(7)1--1
-
Connectivity-based, 38(11)359--373
-
connectors, 41(2)18--24
-
Connors, Daniel A., 35(11)222--233
-
Connors:2000:HSD, 35(11)222--233
-
Conor, 41(1)1--1
-
conquer, divide-and-, 36(7)34--43, 41(1)16--29
-
conscious, 37(1)101--112
-
conscious, Cache-, 41(6)252--262
-
conscious, cache-, 41(6)252--262
-
conscious, Energy-, 37(7)2--11
-
consecutive, 41(6)118--131
-
Consel, Charles, 37(3)9--18
-
Consel, Charles, see Meur, Anne-Françoise Le
-
consequence, 41(1)320--333, 41(9)87--98
-
consequently, 41(6)263--271
-
conservation, 38(9)1--1
-
conservative, 36(1)71--79, 37(1)93--100, 38_2s_119_131, 39(4)490--501
-
conservatively, 41(1)257--268
-
conserving, Energy-, 37(7)213--222
-
consider, 25(6)92--101, 39(4)360--371, 41(1)295--308, 41(7)93--102,
41(7)163--172
-
considerable, 41(6)169--180
-
considerably, 41(7)103--112
-
consideration, 35(11)212--221, 41(3)40--48, 41(7)199--208
-
considered, 36(11)108--124, 37(4)31--31, 39(4)360--371, 41(1)309--319
-
considering, 41(1)153--165, 41(6)181--192
-
Considine, Jeffrey, 38(1)160--171
-
Considine, Jeffrey, see Zibin, Yoav
-
consist, 41(1)218--231, 41(7)163--172
-
consistency, 38(10)3--3, 39(6)35--46, 39(11)1--13, 41(1)334--345,
41(6)108--117
-
consistency, strong-, 37(11)26--39
-
consistent, 37(7)75--84, 38(1)285--298, 40(1)195--208, 41(6)320--331
-
consistently, 41(6)38--51, 41(6)320--331
-
consisting, 41(3)10--19
-
consolidate, 41(9)74--86
-
constant, 39(4)155--166, 39(6)35--46, 41(1)16--29, 41(6)132--143,
41(6)204--215, 41(7)22--33, 41(7)44--53
-
constituent, 41(9)124--135
-
constitute, 41(7)22--33
-
constrained, 41(6)272--282, 41(6)364--375, 41(7)1--1
-
constrained, memory-, 38(11)282--301
-
constrained, resource-, 39(7)155--164, 39(7)240--248,
40(6)249--260
-
ConstrainedJava, 39(10)33--34
-
constraining, 41(6)61--71
-
constraint-based, 37(11)101--110, 41(6)320--331, 41(7)189--198
-
constraintash, 39(6)207--218
-
constructed, 41(1)168--179
-
constructing, 35(2)29--35, 39(10)308--309, 41(1)372--382, 41(6)228--238,
41(6)341--353, 41(6)415--426
-
construction, 35(10)281--293, 35(12)41--50, 37(1)113--125,
38(1)150--159, 38(12)28--32, 40(7)105--114, 40(9)116--128,
41(1)180--193, 41(1)320--333, 41(4)16--23, 41(6)295--307
-
construction, correct-by-, 41(1)180--193
-
constructor, 38(1)224--235, 38(3)86--97, 41(1)103--114
-
consume, 41(7)153--162
-
consumption, 36(8)1--10, 37(4)42--53, 38_2s_171_182, 38(7)81--92,
41(1)194--205, 41(6)193--203, 41(7)153--162, 41(7)173--181,
41(7)182--188, 41(7)199--208
-
contain, 41(1)30--41, 41(1)115--126, 41(3)4--8, 41(4)30--35,
41(6)169--180, 41(7)54--63, 41(7)83--92
-
containing, 41(1)206--217, 41(6)14--25, 41(7)54--63
-
containment, 41(1)359--371
-
containment, type-, 40(9)130--143
-
Contaminated, 35(5)264--273
-
contemporaneously, 41(6)252--262
-
content, 36(10)98--109, 41(7)54--63
-
content-directed, 37(10)279--290
-
contention, 36(7)53--61
-
contention-free, 39(6)35--46
-
contest, 35(3)73--83
-
context, calling-, 41(6)263--271
-
context-free, 41(1)372--382, 41(6)38--51
-
context-insensitive, 41(7)44--53
-
context-sensitive, 35(5)253--263, 38(5)168--181, 39(6)131--144,
41(6)181--192, 41(6)320--331, 41(6)387--400, 41(6)415--426
-
context-sensitively, 41(6)320--331
-
context-sensitivity, 41(6)320--331
-
contextual, 41(1)141--152
-
Conticelli, Fabio, 36(8)73--81
-
Conticelli, Fabio, see Palopoli, Luigi
-
contification, 36(10)2--13
-
contiguous, non-, 41(6)118--131, 41(6)132--143
-
continual, 39(11)107--119
-
continuation, 35(9)23--33, 37(11)40--51, 38(1)139--149, 38(2)57--64,
38(9)177--188, 39(4)502--514, 39(9)40--53, 40(9)216--227,
41(1)127--140, 41(1)309--319, 41(1)320--333, 41(6)295--307,
41(6)401--414, 41(9)13--25, 41(9)26--37
-
continuation-passing, 41(6)295--307, 41(6)401--414
-
continue, 41(1)194--205
-
continuously, 41(6)332--340
-
contract, 35(9)280--292, 36(11)1--15, 37(9)48--59, 39(9)189--200,
39(10)196--197, 40(10)231--245, 41(1)218--231, 41(1)245--256
-
contraction, 36(7)103--112
-
contrast, 41(1)141--152, 41(6)193--203, 41(6)364--375
-
Contreras, Gilberto, 39(7)115--125
-
Contreras:2004:XPS, 39(7)115--125
-
contribution, 41(1)103--114, 41(1)194--205, 41(1)270--282,
41(6)204--215, 41(6)332--340, 41(7)12--21, 41(9)50--61
-
control-flow, 39(4)257--269, 41(1)383--396, 41(1)397--408,
41(6)216--227, 41(9)111--121
-
controllable, User-, 38(10)73--82
-
controlling, 36(11)353--366, 38(7)81--92, 40(6)129--142, 40(10)177--189
-
convenient, 41(1)295--308
-
convention, 41(1)409--421
-
conventional, 41(1)295--308, 41(5)39--45, 41(6)61--71, 41(7)64--71
-
convergent, 38(10)1--1
-
conversion, 25(6)92--101, 25(6)112--126, 39(4)360--371, 39(4)372--389
-
conversion, radix-, 25(6)112--126, 39(4)372--389
-
convert, 41(1)16--29, 41(1)346--358
-
converted, 41(6)118--131
-
converting, 25(6)92--101, 25(6)112--126, 39(4)360--371, 39(4)372--389
-
convex, 41(6)376--386
-
Conway, Christopher L., 39(7)30--36
-
Conway:2004:NDS, 39(7)30--36
-
Cook, 41(1)168--179
-
Cook, Byron, 41(6)415--426
-
Cook, Levi, 39(10)162--163
-
Cook, Levi, see Sobering, Geoff
-
Cook, Steve, 39(10)138--140
-
Cook, Steve, see Miller, Granville
-
Cook, William R., 41(1)270--282
-
Cook, William R., see Ernst, Erik
-
Cook:2006:TPS, 41(6)415--426
-
Cooksey, Robert, 37(10)279--290
-
Cooksey:2002:SCD, 37(10)279--290
-
Cool-Mem, 37(10)133--143
-
Cooper, Keith D., 37(5)25--32, 38_2s_97_107, 39(4)155--166,
39(4)217--228, 39(4)283--294, 39(7)231--239, 40(7)69--77
-
Cooper, Keith D., see Almagor, L.,
see Briggs, Preston, \see{Budimlic, Zoran,
see Callahan, David
-
Cooper:2003:ESA, 38_2s_97_107
-
Cooper:2004:ISE, 39(4)217--228
-
Cooper:2005:AAC, 40(7)69--77
-
cooperation, 41(1)180--193
-
cooperative, 35(2)54--60
-
cooperatively, 41(2)18--24
-
Cooprider, Nathan, 41(7)44--53
-
Cooprider:2006:PAD, 41(7)44--53
-
coordinating, 41(2)18--24
-
coordination, 35(12)24--32, 41(3)10--19
-
cope, 41(7)2--11
-
coproducts, 37(9)133--144
-
copy, 35(11)168--177, 37(5)25--32, 38(7)24--33, 41(6)204--215,
41(8)21--28
-
copy, Mark-, 38(11)326--343
-
copying, 38(11)326--343, 39(1)220--231, 41(3)20--29, 41(6)364--375
-
coq, 41(1)42--54, 41(1)320--333, 41(6)401--414
-
CORBA, 35(10)105--117, 36(8)196--204, 36(8)214--222, 36(8)223--229,
37(11)68--82, 38(10)241--242, 41(3)10--19
-
Corchuelo, Rafael, 35(12)24--32
-
Corchuelo:2000:MCA, 35(12)24--32
-
core, multi-, 41(1)346--358, 41(7)72--82
-
Corliss, Marc L., 38(7)232--243
-
Corliss:2003:DID, 38(7)232--243
-
corner, 35(2)9--9, 35(3)4--15, 35(3)16--17, 35(3)18--19, 35(4)3--16,
35(6)2--14, 35(8)3--14, 35(12)1--12, 35(12)13--13, 36(4)5--20,
36(6)3--18, 36(12)2--11, 36(12)12--12, 36(12)13--13, 36(12)14--14,
36(12)15--15, 37(4)5--14
-
coroutine, 41(1)283--294, 41(6)295--307, 41(6)401--414
-
Corporaal, Henk, 38(7)24--33
-
Corporaal, Henk, see Vanbroekhoven, Peter
-
correct, 35(10)208--228, 36(3)116--127, 40(9)268--279, 41(1)346--358,
41(3)20--29, 41(4)16--23, 41(6)158--168, 41(6)169--180,
41(6)181--192, 41(6)239--251, 41(6)341--353, 41(7)113--124
-
correct, type-, 41(1)2--15
-
correct,', error-, 41(1)2--15
-
correct-by-construction, 41(1)180--193
-
correctly, 25(6)112--126, 39(4)360--371, 39(4)372--389, 41(1)283--294,
41(9)38--49, 41(9)136--147
-
correctness, 36(3)155--165, 37(1)283--294, 38(5)220--231, 39(1)14--25,
39(9)126--137, 40(6)261--268, 41(1)42--54, 41(1)115--126,
41(1)127--140, 41(1)180--193, 41(1)346--358, 41(1)383--396,
41(6)144--157, 41(6)341--353
-
correctness-preserving, 41(6)341--353
-
correlate, 41(7)83--92
-
correlated, 41(1)180--193
-
correlation, 41(6)320--331
-
correspond, 41(1)334--345, 41(6)169--180
-
correspondence, 35(2)25--28, 36(9)z--99999999, 36(12)z--99999999,
40(2)z--99999999
-
corresponding, 41(1)103--114, 41(1)153--165, 41(1)218--231, 41(5)30--38,
41(6)376--386, 41(6)415--426
-
corruption, 41(6)158--168
-
Corsaro, Angelo, 38(7)51--58
-
Corsaro:2003:EMR, 38(7)51--58
-
Corwin, John, 38(11)241--254
-
Corwin:2003:MRM, 38(11)241--254
-
CoSMIC, 39(10)218--219
-
Cosmo, Roberto Di, 39(1)64--76
-
Cosmo, Roberto Di, see Balat, Vincent
-
cost, 36(5)168--179, 36(7)62--71, 36(10)253--264, 39(1)210--219,
39(6)94--106, 39(7)146--154, 41(1)168--179, 41(6)364--375,
41(7)54--63, 41(7)64--71, 41(7)135--144
-
cost, low-, 35(5)334--344
-
cost, lower-, 41(6)108--117
-
Cost-augmented, 37(3)52--62
-
cost-driven, 39(6)71--81
-
Costa, Vitor Santos, 35(3)16--17
-
Costa, Vitor Santos, see Pontelli, Enrico
-
Costa, Vítor Santos, 38_2s_56_64,
see Lopes, Ricardo
-
Costanza, Pascal, 38(8)29--36
-
Costanza:2003:DSF, 38(8)29--36
-
costly, 41(9)38--49
-
could, 25(6)92--101, 39(4)360--371, 41(1)55--66, 41(1)79--90,
41(1)269--269, 41(6)72--83, 41(6)193--203, 41(7)12--21, 41(7)72--82,
41(7)153--162
-
count, 39(1)135--146, 41(7)83--92, 41(9)13--25
-
counterexample, 38(1)97--105
-
counterpart, 41(1)153--165, 41(3)30--39, 41(7)113--124, 41(9)13--25
-
counting, 36(1)167--177, 36(11)367--380, 38(11)344--358, 39(1)210--219,
41(9)13--25
-
course, 36(6)20--22, 37(4)62--73
-
Cousot, Patrick, 37(1)178--190, 38(5)196--207, 39(1)173--185
-
Cousot, Patrick, see Blanchet, Bruno
-
Cousot, Radhia, 37(1)178--190, 38(5)196--207, 39(1)173--185
-
Cousot, Radhia, see Blanchet, Bruno,
see Cousot, Patrick
-
Cousot:2002:SDP, 37(1)178--190
-
Cousot:2004:AIB, 39(1)173--185
-
Couvreur, Ch., Ykman-, 38_2s_65_75
-
coverage, 41(1)55--66, 41(6)84--95, 41(6)263--271
-
covered, 41(1)269--269
-
covering, 38(7)199--208
-
Cox, Alan L., 36(7)53--61
-
Cox, Alan L., see Lu, Honghui
-
CPS, 35(9)209--220, 37(3)131--142, 41(1)127--140, 41(6)295--307,
41(9)13--25
-
CPS-based, 41(6)295--307
-
CPS-style, 41(1)320--333
-
CPU, 38(5)38--48, 41(7)72--82
-
CPUs, 41(1)269--269
-
Craciun, Florin, 39(6)243--254
-
Craciun, Florin, see Chin, Wei-Ngan
-
Craes, Michael, 39(10)283--289
-
Craes, Michael, see Zimmermann, Olaf
-
crafted, hand-, 41(7)135--144, 41(7)145--152
-
crafting, 41(7)1--1
-
crafts, 39(10)141--142
-
Crago, Stephen, 36(8)20--28
-
Crago, Stephen, see Kang, Dong-In
-
Crary, Karl, 35(9)68--81, 37(9)191--205, 38(1)172--184, 38(1)198--212,
38(1)236--249, 38(3)98--108, 38(3)109--122
-
Crary, Karl, see Dreyer, Derek,
see Petersen, Leaf,
see Vanderwaart, Joseph C.
-
Crary:2000:TCI, 35(9)68--81
-
Crary:2002:EST, 37(9)191--205
-
Crary:2003:TFT, 38(1)198--212
-
crash, 41(6)158--168, 41(6)169--180
-
crash-failure, 39(6)35--46
-
Craven, Matthew, 38(7)284--293
-
Craven, Matthew, see AbouGhazaleh, Nevine
-
Creak, Alan, 37(2)23--26, 37(4)21--26, 37(12)14--16, 38(4)7--12,
38(12)11--16, 39(8)12--19
-
Creak:2002:HTWa, 37(2)23--26
-
Creak:2002:HTWb, 37(4)21--26
-
Creak:2002:HTWc, 37(12)14--16
-
Creak:2003:EFO, 38(4)7--12
-
Creak:2003:PLD, 38(12)11--16
-
Creak:2004:PNA, 39(8)12--19
-
create, 35(11)168--177, 41(6)144--157, 41(7)189--198, 41(8)21--28
-
created, 41(6)38--51, 41(6)364--375
-
creating, 35(10)93--104, 35(10)208--228, 37(11)13--25, 37(11)142--160,
41(7)34--43
-
creation, 40(9)254--267, 41(4)16--23, 41(6)228--238
-
{\v{C}}repin{\v{s}}ek, Matej, 40(4)29--38, 40(4)39--46
-
Crepinsek:2005:EGPa, 40(4)29--38
-
Crepinsek:2005:EGPb, 40(4)39--46
-
CRF, 35(10)1--12
-
critical, 41(1)42--54, 41(1)55--66, 41(1)127--140, 41(6)14--25,
41(6)401--414, 41(7)54--63
-
critical, mission-, 41(6)341--353
-
critical, safety-, 38(5)196--207, 41(1)295--308, 41(7)54--63
-
Critically, 41(6)295--307
-
Crocker, Ron, 39(10)145--147
-
Crocker, Ron, see Fraser, Steven
-
cross, 37(6)38--44
-
cross-artifact, 39(10)43--44
-
cross-platform, 38(11)187--204
-
cross-run, 40(10)297--311
-
crosscutting, 39(10)218--219
-
crucial, 41(1)115--126, 41(1)346--358, 41(6)118--131, 41(6)364--375,
41(7)103--112
-
Crupi, John, 39(10)143--144
-
Crupi, John, see Fowler, Martin
-
cryptography, 35(11)168--177, 35(11)178--189
-
CS1, 38(6)9--13, 38(12)18--19, 39(10)68--72
-
CS2, 38(6)9--13, 38(12)18--19
-
CSSV, 38(5)155--167
-
CTL, 41(1)153--165
-
CTRL, 39(10)198--199
-
ctx, 41(7)72--82
-
Cueva, Juan Manuel, 37(8)35--44, 38(6)40--49
-
Cueva, Juan Manuel, see Ortin, Francisco,
see Ortín, Francisco
-
Culler, David, 35(11)93--104, 37(10)85--95, 38(5)1--11, 40(7)40--49
-
Culler, David, see Gay, David,
see Hill, Jason, \see{Levis, Philip
-
Cunei, Antonio, 40(10)487--503
-
Cunei:2005:PFD, 40(10)487--503
-
Cunha, Alcino, 40(5)45--54
-
Cunha, Alcino, see Barbosa, Manuel
-
Curic, Adrian, 38(7)153--162
-
Curic, Adrian, see Caspi, Paul
-
Curien, Pierre-Louis, 35(9)233--243
-
Curien:2000:DC, 35(9)233--243
-
curing, 37(4)54--56
-
current, 39(4)360--371, 41(1)283--294, 41(1)295--308, 41(3)10--19,
41(5)30--38, 41(7)103--112, 41(7)153--162
-
currently, 41(6)283--294, 41(7)34--43
-
curricula, 35(3)18--19, 36(4)3--4
-
Curricular, 36(6)20--22
-
curriculum, 35(4)26--28, 35(4)29--43
-
curry, 39(9)4--15
-
Curry--Howard, 41(1)1--1
-
cursor, 41(9)26--37
-
curve, 39(11)177--188
-
custom, 37(11)1--12
-
customer, 39(10)148--150
-
customization, 39(4)295--312
-
customized, 36(10)14--25, 39(4)528--539, 40(6)190--200
-
cut, 40(9)294--305, 41(6)364--375
-
cut, Min-, 39(6)59--70
-
cutting, 41(6)401--414
-
cXprop, 41(7)44--53
-
cycle, 36(1)101--110, 41(6)84--95, 41(7)64--71, 41(7)83--92,
41(7)163--172
-
cyclic, 41(1)115--126, 41(8)16--20
-
cyclone, 37(5)282--293, 38(3)13--25
-
Cytron, Ron, 35(3)32--32, 35(6)1--1, 35(7)75--75, 35(7)76--77,
35(7)78--78, 35(7)79--81, 35(8)1--2, 36(4)3--4, 36(8)196--204,
36(8)214--222, 37(4)4--4
-
Cytron, Ron, see Fenwick, Jay,
see Gore, Pradeep, \see{Padua, David,
see Pyarali, Irfan
-
Cytron, Ron K., 35(5)264--273, 37(7)38--45, 38_2s_132_142, 38(7)51--58,
38(7)144--152, 39(4)139--154, 40(7)193--202, 40(7)222--229
-
Cytron, Ron K., see Burke, Michael G.,
see Cannarozzi, Dante J.,
see Corsaro, Angelo,
see Defoe, Delvin C., \see{Deters, Morgan,
see Hunleth, Frank, \see{M., Ravi Pratap,
see Mann, Tobias
-
Cytron:2000:DCJ, 35(7)78--78
-
Cytron:2000:DPS, 35(7)75--75
-
Cytron:2000:ECN, 35(8)1--2
-
Cytron:2000:LC, 35(6)1--1
-
Cytron:2000:SDP, 35(7)79--81
-
Cytron:2000:TPS, 35(7)76--77
-
Cytron:2001:CCD, 36(4)3--4
-
Cytron:2002:SAA, 37(4)4--4
-
Czajkowski, Grzegorz, 35(10)354--366, 36(11)125--138, 37(11)262--274
-
Czajkowski, Grzegorz, see Palacz, Krzysztof
-
Czajkowski:2000:AIJ, 35(10)354--366
-
Czajkowski:2001:MCV, 36(11)125--138
-
Czerwinski, Steven, 35(11)190--201
-
Czerwinski, Steven, see Kubiatowicz, John