Index file section C for loplas.bib
Last update: Fri Nov 4 02:14:39 MDT 2022
Return to index directory
C
-
C, 1(2)161--177, 1(3)213--226, 1(4)303--322, 1(4)323--337, 1(4)355--364,
2(4)85--94
-
C++, 1(4)355--364, 2(4)127--134
-
C-series, 2(4)213--232
-
C.1.2, 1(1)59--73, 2(4)95--114, 2(4)165--180
-
C.1.3, 1(4)338--354
-
C.2.4, 2(4)115--126
-
C.3, 1(1)46--58
-
calculus, 1(2)161--177, 1(3)195--212
-
calculus, lambda-, 1(2)161--177, 1(3)195--212
-
call, 1(1)14--21, 1(1)74--88, 1(3)227--242, 1(3)266--283, 2(4)151--164,
2(4)181--196
-
call, last-, 1(3)266--283
-
call-by-name, 1(3)195--212
-
call-by-value, 1(3)195--212
-
called, 1(2)109--118, 1(3)266--283, 2(4)115--126
-
calls., 2(4)31--45
-
Cameron, Robert D., 2(4)85--94
-
Cameron:1993:ECG, 2(4)85--94
-
cannot, 1(3)243--260
-
capture, 1(1)74--88
-
cardinality, 2(4)59--69
-
careful, 1(1)59--73
-
carefully, 2(4)59--69
-
Carlo, 1(2)119--137
-
case, 1(1)22--32, 1(4)303--322, 2(4)1--16, 2(4)46--58, 2(4)85--94
-
case, worst-, 1(4)338--354, 2(4)1--16
-
categorizing, 1(4)303--322
-
category, 1(4)303--322
-
cause, 1(1)74--88, 1(3)284--298
-
central, 1(4)338--354
-
certain, 1(1)74--88, 2(4)181--196
-
chain, 2(4)17--30
-
Chaitin, 1(1)3--13
-
challenging, 1(3)266--283
-
changes, 1(1)22--32, 1(2)161--177
-
characterizations, 1(2)178--190
-
characterize, 1(2)178--190, 1(3)261--265, 2(4)213--232
-
characterizing, 1(1)74--88
-
check, 1(2)109--118, 2(4)135--150
-
check, range-, 1(2)109--118
-
checking, 2(4)17--30
-
chip, 1(4)338--354
-
Choi, Jong-Deok, 1(1)14--21
-
Choi, Jong-Deok, see Burke, Michael
-
choice, 2(4)115--126
-
choosing, 1(3)261--265
-
chosen, 2(4)59--69
-
Choudhary, Alok, 2(4)95--114
-
Choudhary:1993:UCF, 2(4)95--114
-
circuit, 1(2)119--137, 2(4)151--164
-
CIRCUITS, 1(4)338--354
-
claimed, 2(4)46--58, 2(4)70--84
-
clarity, 2(4)85--94
-
class, 1(1)33--45, 1(3)243--260, 2(4)181--196
-
class, first-, 1(1)33--45, 1(2)161--177
-
Classifications, 1(1)33--45, 1(2)161--177, 1(3)195--212, 1(3)284--298,
2(4)70--84, 2(4)95--114
-
clear-set, 2(4)59--69
-
closure, 1(2)178--190
-
CLP, 2(4)197--212
-
Cobol, 2(4)85--94
-
code, 1(1)3--13, 1(1)14--21, 1(1)22--32, 1(1)59--73, 1(2)152--160,
1(2)161--177, 1(3)213--226, 1(3)284--298, 1(4)355--364, 2(4)17--30,
2(4)95--114, 2(4)213--232
-
code-generator, 1(3)213--226
-
coded, 2(4)70--84
-
coded, hand-, 2(4)70--84
-
coding, 1(1)59--73
-
collection, 1(1)46--58, 1(2)161--177, 1(4)338--354, 2(4)127--134
-
collector, 1(1)46--58
-
coloring, 1(1)3--13
-
coloring, graph-, 1(1)3--13, 2(4)59--69
-
combine, 2(4)165--180
-
comings, short-, 2(4)165--180
-
command, 2(4)85--94
-
commercial, 1(1)22--32
-
common, 1(3)195--212, 1(3)213--226, 1(4)323--337, 2(4)1--16, 2(4)46--58
-
commonly, 1(3)261--265
-
communicate, 1(1)33--45
-
communication, 2(4)165--180
-
COMMUNICATION, COMPUTER-, 2(4)115--126
-
community, 1(4)323--337
-
compact, 1(3)213--226
-
compared, 1(2)119--137
-
comparison, 2(4)59--69
-
compilation, 1(1)33--45, 1(2)161--177, 2(4)95--114
-
compile, 1(2)161--177
-
compile-time, 1(2)109--118, 1(4)323--337, 2(4)17--30, 2(4)135--150
-
compiler, 1(1)3--13, 1(1)14--21, 1(1)22--32, 1(1)33--45, 1(1)59--73,
1(2)109--118, 1(2)152--160, 1(2)161--177, 1(2)178--190,
1(3)195--212, 1(3)213--226, 1(3)227--242, 1(3)243--260,
1(3)261--265, 1(3)266--283, 1(3)284--298, 1(4)355--364, 2(4)1--16,
2(4)17--30, 2(4)31--45, 2(4)95--114, 2(4)135--150, 2(4)151--164,
2(4)165--180, 2(4)181--196, 2(4)213--232
-
compiler-implemented, 2(4)165--180
-
compilers., 1(3)243--260
-
compiling, 1(1)33--45, 1(2)161--177, 2(4)95--114, 2(4)165--180,
2(4)213--232
-
complete, 1(2)119--137
-
complex, 1(1)74--88, 2(4)17--30, 2(4)70--84
-
COMPLEXITY, 1(2)119--137
-
complexity, 1(1)33--45, 1(1)74--88
-
complicate, 1(1)14--21, 1(3)284--298
-
component, 1(3)195--212
-
compromised, 1(2)161--177
-
compromises, 1(2)161--177
-
Computability, 1(4)323--337
-
COMPUTATION, 1(1)33--45, 1(4)323--337
-
computation, 1(1)33--45, 1(1)59--73, 1(1)89--103, 1(2)119--137,
1(2)138--151, 1(2)161--177, 1(3)195--212, 1(3)284--298,
1(4)323--337, 2(4)17--30, 2(4)85--94, 2(4)165--180, 2(4)181--196,
2(4)197--212, 2(4)233--241
-
compute, 1(1)14--21, 1(1)33--45, 1(3)227--242, 1(4)303--322
-
computed, 1(1)14--21
-
computer, 1(1)46--58, 1(1)59--73, 1(2)138--151, 1(4)338--354,
2(4)95--114, 2(4)115--126, 2(4)165--180, 2(4)213--232
-
COMPUTER-COMMUNICATION, 2(4)115--126
-
computers., 2(4)165--180
-
computing, 1(1)14--21, 1(2)119--137, 1(2)138--151, 1(3)195--212,
1(3)227--242, 1(3)284--298, 2(4)1--16, 2(4)213--232
-
concerning, 1(2)178--190
-
concise, 2(4)85--94
-
conciseness, 2(4)85--94
-
conclude, 2(4)115--126, 2(4)151--164
-
Concurrency, 1(1)74--88, 1(1)89--103
-
concurrent, 1(1)33--45, 1(1)59--73, 1(1)74--88, 1(1)89--103,
1(3)266--283, 1(4)303--322, 2(4)46--58, 2(4)95--114, 2(4)165--180
-
condensation, 2(4)181--196
-
condition, 1(1)74--88, 2(4)1--16, 2(4)151--164
-
configuration, 1(4)338--354
-
conflicts, 1(2)152--160
-
conjunction, 1(1)33--45
-
connection, 1(1)59--73
-
consequence, 1(1)89--103
-
conservative, 1(1)14--21, 1(2)109--118
-
consider, 2(4)197--212
-
considerable, 2(4)165--180
-
consideration, 2(4)70--84
-
considered, 1(1)74--88, 2(4)59--69, 2(4)85--94
-
considering, 1(2)109--118
-
consist, 2(4)31--45, 2(4)151--164
-
constant, 1(3)261--265, 1(4)355--364, 2(4)46--58, 2(4)213--232
-
constant-time, 2(4)59--69
-
constituent, 2(4)85--94
-
constitutes, 1(1)74--88
-
constraint, 2(4)197--212
-
construct, 1(1)22--32, 1(1)46--58, 1(1)74--88, 1(2)109--118,
1(2)138--151, 1(2)178--190, 1(3)195--212, 1(3)227--242,
1(3)243--260, 1(3)284--298, 1(4)338--354, 1(4)355--364, 2(4)17--30,
2(4)31--45, 2(4)46--58, 2(4)85--94, 2(4)95--114, 2(4)127--134,
2(4)151--164, 2(4)165--180, 2(4)213--232, 2(4)233--241
-
construction, 1(1)89--103, 2(4)59--69
-
contain, 1(1)3--13, 1(1)33--45, 1(4)355--364
-
containing, 1(1)74--88, 2(4)135--150
-
contention-free, 2(4)46--58
-
context-free, 2(4)85--94
-
continuation-passing, 1(2)161--177
-
continuation-passing-style, 1(3)195--212
-
Continuation-Passing-Style., 1(3)227--242
-
continuations, 1(2)161--177
-
contrast, 1(1)74--88, 1(4)355--364
-
control, 1(2)109--118, 1(2)178--190, 1(3)195--212, 1(3)284--298,
2(4)1--16, 2(4)31--45
-
control-flow, 2(4)1--16
-
conventional, 1(1)33--45
-
conversion, 2(4)151--164
-
convert, 1(2)138--151, 2(4)151--164
-
converted, 1(3)227--242
-
converting, 1(2)161--177
-
CONVEX, 2(4)213--232
-
Cooper, Keith D., 1(1)3--13, 1(1)22--32
-
Cooper, Keith D., see Briggs, Preston
-
Cooper:1992:USE, 1(1)22--32
-
Corporation, 2(4)213--232
-
correct, 1(1)89--103, 2(4)233--241
-
correctness, 1(1)33--45, 2(4)17--30, 2(4)31--45, 2(4)233--241
-
corresponding, 2(4)197--212
-
Cost-effective, 1(4)338--354
-
costs, 2(4)59--69
-
could, 2(4)17--30
-
counting, 2(4)127--134
-
course, 1(1)22--32
-
Cowan, Donald D., 2(4)70--84
-
Cowan, Donald D., see Bumbulis, Peter
-
CPS-, 1(3)195--212
-
CPS-transformation, 1(3)195--212
-
create, 1(4)338--354
-
critical, 1(1)74--88
-
crosses, 2(4)31--45
-
current, 1(2)109--118
-
cycle, 1(4)338--354
-
Cytron, 1(2)178--190