Entry Thompson:1992:CMC from compj.bib
Last update: Sun Nov 30 02:31:30 MST 2003
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Thompson:1992:CMC,
author = "S. J. Thompson and R. D. Lins",
title = "The {Categorical Multi-Combinator Machine}: {CMCM}",
journal = j-COMP-J,
volume = "35",
number = "2",
pages = "170--176",
month = apr,
year = "1992",
CODEN = "CMPJA6",
ISSN = "0010-4620",
bibdate = "Wed Jul 21 09:53:32 MDT 1999",
bibsource = "Misc/Functional.bib;
http://www3.oup.co.uk/computer_journal/Volume_35/Issue_02/Vol35_02.index.html",
URL = "http://www3.oup.co.uk/computer_journal/Volume_35/Issue_02/Vol35_02.body.html#AbstractThompson",
abstract = "This paper introduces an abstract machine, Categorical
Multi- Combinator Machine, (CMCM), for the
implementation of a functional programming language. It
is designed directly to model the structure of
categorical multi-combinators, as defined by Lins. In
another paper, Laboratory Report 9/92, we discuss in
detail the close relationship between the TIM and the
CMCM.",
acknowledgement = ack-nhfb,
affiliation = "Comput Lab., Kent Univ., Canterbury, UK",
author-1-adr = "Computing Laboratory, University of Kent at
Canterbury",
author-2-adr = "Department of Informatics, Federal University of
Pernambuco, Brazil",
classcodes = "C6110 (Systems analysis and programming); C6140D (High
level languages); C4220 (Automata theory)",
classification = "C4220 (Automata theory); C6110 (Systems analysis and
programming); C6140D (High level languages)",
corpsource = "Comput Lab., Kent Univ., Canterbury, UK",
keywords = "abstract machine; Abstract machine; automata theory;
Categorical Multi-Combinator Machine; CMCM;
computational; Computational information, functional;
functional programming; functional programming
languages; Functional programming languages; high
level; information; languages",
thesaurus = "Automata theory; Functional programming; High level
languages",
treatment = "P Practical; T Theoretical or Mathematical",
}
Related entries
- abstract,
15(1)37,
18(2)164,
22(3)240,
23(3)243,
24(4)308,
25(1)17,
25(2)161,
26(4)289,
27(2)127,
28(1)1,
28(1)59,
28(2)154,
28(3)298,
29(3)261,
29(4)340,
31(2)110,
31(2)165,
31(3)193,
31(4)313,
31(6)570,
32(2)127,
32(4)290,
32(4)290,
32(4)312,
32(5)413,
32(5)461,
32(6)494,
33(1)40,
34(1)52,
34(2)186,
34(4)290,
34(6)z-1,
35(2)138,
35(5)468,
36(1)4,
36(4)387,
36(8)712,
38(3)181,
38(6)457,
38(8)670,
38(10)785,
39(1)20,
39(1)52,
39(2)145,
39(7)598
- another,
12(2)139,
13(1)40,
14(3)312,
15(1)7,
15(1)92,
15(4)381,
18(3)231,
26(3)228,
32(4)374
- automata,
13(1)55,
15(3)222,
16(2)141,
16(4)351,
17(3)253,
17(4)349,
18(2)135,
18(3)287-2,
18(4)349,
19(2)151,
20(1)56,
20(1)63,
22(2)164,
24(2)156,
26(2)142,
27(3)233,
28(4)372,
28(5)449,
29(3)241,
30(4)328,
31(6)510,
32(1)16,
32(1)36,
32(1)91,
34(1)52,
34(6)z-9,
36(6)542,
36(7)607,
36(7)623,
37(4)233,
37(7)598,
37(8)698,
37(10)888,
39(1)45,
39(4)325,
39(5)408,
41(7)474
- C4220,
32(1)16,
34(1)52,
34(6)z-9,
36(7)607,
36(7)623,
37(4)233,
37(7)598,
37(8)698,
37(10)888
- C6110,
31(5)391,
31(5)420,
31(5)426,
31(5)431,
31(6)481,
31(6)531,
31(6)545,
32(1)1,
32(2)98,
32(2)122,
32(2)142,
32(2)152,
32(2)175,
32(3)202,
32(4)290,
32(4)305,
32(4)323,
32(4)333,
32(4)341,
32(5)461,
33(2)98,
33(2)108,
33(2)133,
33(2)140,
33(2)147,
33(2)173,
33(2)181,
33(2)185,
33(4)330,
33(5)444,
33(5)453,
33(5)460,
33(5)466,
33(6)482,
33(6)494,
33(6)508,
33(6)518,
33(6)535,
33(6)547,
33(6)556,
34(1)20,
34(1)52,
34(1)64,
34(2)98,
34(2)113,
34(2)122,
34(2)132,
34(2)164,
34(2)173,
34(2)182,
34(3)215,
34(4)290,
34(4)302,
34(4)331,
34(4)350,
34(4)358,
34(6)566,
35(2)119,
35(2)138,
35(5)492,
35(5)514,
35(6)636,
36(4)351,
36(6)525,
37(3)177,
37(3)219,
37(7)610,
38(1)17,
38(4)319
- C6140D,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413,
33(1)11,
33(1)49,
33(2)98,
33(2)108,
33(2)133,
33(2)147,
33(2)155,
33(3)194,
33(4)381,
33(5)444,
33(5)460,
33(6)482,
33(6)494,
33(6)501,
33(6)508,
33(6)518,
33(6)535,
33(6)547,
34(1)20,
34(1)52,
34(1)64,
34(1)92,
34(2)143,
34(4)290,
34(4)302,
34(4)311,
34(4)320,
34(4)373,
34(6)z-1,
35(2)108,
35(2)119,
35(2)129,
35(2)157,
35(4)376,
35(5)478,
35(5)514,
35(6)567,
35(6)625,
36(2)195,
36(3)217,
36(8)723,
37(4)269,
37(4)279,
37(5)399,
37(5)407,
37(6)487,
37(6)519,
37(7)561,
37(7)576,
37(8)711,
37(10)858,
38(1)31,
38(2)142,
38(3)181,
38(3)193,
38(4)319,
38(5)365
- categorical,
39(3)215
- combinator,
30(3)214,
32(5)461,
35(5)441,
37(5)385
- defined,
9(4)404,
14(3)238,
16(1)77,
18(1)23,
18(3)231,
19(2)117,
19(4)348,
20(4)353,
22(2)127,
22(4)307,
24(1)42,
28(1)44,
33(1)19,
35(2)119,
35(6)567,
36(3)282
- designed,
14(4)378,
16(4)322,
19(1)56,
29(4)289
- detail,
16(4)322,
20(3)248,
22(3)209,
26(3)235,
36(2)195
- directly,
32(1)16,
35(6)555
- discuss,
25(3)358,
26(3)235
- laboratory,
10(2)211,
17(4)365,
18(3)252,
23(2)147,
25(2)287,
31(5)465,
39(7)630
- multi,
14(2)109,
14(2)113,
14(2)119,
14(2)128,
16(4)331,
17(1)59,
18(3)213,
22(2)114,
38(5)365
- paper,
11(1)116,
13(1)40,
13(4)332,
14(2)156,
14(3)243,
16(4)322,
17(1)44,
17(1)82,
17(2)121,
18(3)287-2,
19(1)56,
19(1)91,
22(3)209,
22(3)234,
23(1)33,
24(1)95,
25(4)471,
26(2)109,
26(3)235,
28(1)1,
28(4)357,
28(5)508,
29(4)289,
29(5)477,
31(5)457,
31(6)496,
32(2)98,
32(2)142,
32(2)152,
32(2)175,
32(5)422,
35(4)369,
35(5)417,
36(2)195,
39(6)547,
42(4)323,
42(4)327,
42(4)338
- relationship,
12(4)320,
18(1)43,
21(1)63,
25(4)401,
29(4)348,
29(6)538,
31(6)496,
33(1)31,
34(6)z,
35(2)98,
36(2)153,
37(9)753,
38(1)17,
38(8)633,
39(3)215
- report,
3(3)117,
5(1)z,
5(2)127,
5(3)162,
5(4)349,
17(4)302,
18(3)265,
19(1)56,
19(3)276,
19(4)364,
25(1)153,
25(2)242,
26(2)142,
30(1)37,
33(2)164,
35(5)514,
39(7)630