Entry Cohen:1991:TCT from toplas.bib
Last update: Tue May 1 02:05:46 MDT 2012
Top |
Symbols |
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{Cohen:1991:TCT,
author = "Norman H. Cohen",
title = "Technical Correspondence: Type-Extension Type Tests
Can Be Performed In Constant Time",
journal = j-TOPLAS,
volume = "13",
number = "4",
pages = "626--629",
month = oct,
year = "1991",
CODEN = "ATPSDT",
ISSN = "0164-0925 (print), 1558-4593 (electronic)",
ISSN-L = "0164-0925",
bibdate = "Sat Jan 6 14:08:14 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/toplas.bib",
note = "See \cite{Wirth:1988:TE,Wirth:1991:TCR}.",
URL = "http://www.acm.org/pubs/toc/Abstracts/0164-0925/115297.html",
acknowledgement = ack-pb,
fjournal = "ACM Transactions on Programming Languages and
Systems",
keywords = "algorithms; languages; performance; theory",
subject = "{\bf D.3.3}: Software, PROGRAMMING LANGUAGES, Language
Constructs and Features, Data types and structures.
{\bf D.3.3}: Software, PROGRAMMING LANGUAGES, Language
Constructs and Features, Procedures, functions, and
subroutines. {\bf D.3.4}: Software, PROGRAMMING
LANGUAGES, Processors. {\bf E.2}: Data, DATA STORAGE
REPRESENTATIONS, Linked representations. {\bf E.1}:
Data, DATA STRUCTURES, Lists.",
}
Related entries
- Cohen, Norman H.,
5(3)265,
7(4)680
- Cohen:1991:TCT,
10(2)204,
13(4)630
- constant,
6(4)527,
6(4)546,
10(2)189,
13(2)181,
13(2)269,
13(4)630,
14(2)147,
14(4)471,
17(1)123,
17(2)181,
17(3)535,
19(1)1,
19(5)639,
19(6)992,
20(1)116,
20(6)1265,
20(6)1297,
21(2)240,
28(5)848,
31(2)8,
31(3)10,
31(4)13,
31(6)21,
33(3)11
- correspondence,
3(1)112,
3(1)112,
4(1)120,
4(1)122,
5(1)122,
5(1)122-1,
5(2)236,
5(3)499,
5(3)499,
5(3)500,
6(3)432,
7(1)176,
8(3)406,
10(1)178,
10(2)338,
10(3)503,
10(4)633,
10(4)635,
11(4)666,
12(1)135,
12(1)139,
13(4)630,
13(4)631,
13(4)633,
15(1)206,
15(2)357,
16(6)1842,
19(6)916,
28(5)795
- DATA,
7(1)1,
7(1)62,
7(2)348,
8(1)88,
8(1)142,
8(1)154,
9(2)277,
9(3)297,
9(3)367,
10(4)555,
11(4)598,
13(3)295,
14(2)201,
14(4)471,
14(4)574,
15(3)400,
16(3)328,
16(4)1279,
16(6)1661,
16(6)1684,
17(1)1,
17(1)123,
18(6)649,
19(2)239,
19(5)751,
19(6)1031,
20(1)1,
20(1)116,
20(2)388,
20(4)869,
20(5)980,
20(6)1265
- e.1,
7(1)1,
7(2)348,
9(2)277,
11(4)598,
13(3)295,
14(2)201,
14(4)471,
15(3)400,
16(3)328,
16(4)1279,
16(6)1684,
17(1)1,
17(1)123,
18(6)649,
19(2)239,
19(5)751,
19(6)1031,
20(1)1,
20(1)116,
20(2)388,
20(4)869,
20(5)980,
20(6)1265,
21(2)175,
22(4)673
- E.2,
7(1)62,
8(1)88,
9(3)297,
9(3)367,
10(4)555,
14(2)201,
14(4)574,
20(1)1,
20(1)116
- linked,
7(1)62,
10(4)555,
16(3)775,
17(5)704,
20(1)1,
31(6)21
- list,
1(2)266,
6(4)546,
9(2)277,
11(4)598,
11(4)633,
15(4)706,
16(3)687,
16(3)775,
17(1)1,
19(3)444,
19(5)751,
20(1)1,
22(4)673,
27(6)1147,
32(1)3,
32(2)5
- performed,
4(2)149,
4(2)179,
4(4)615,
8(1)109,
9(2)235,
9(3)319,
10(2)248,
13(2)211,
13(2)237,
13(4)630,
14(2)173,
16(3)387,
16(5)1648,
17(1)123,
19(3)525,
20(1)116,
20(2)259,
20(3)635,
21(4)848,
21(6)1137,
22(3)540,
22(6)973,
28(1)134,
28(3)476,
30(4)21,
30(5)29,
31(1)3,
32(2)5
- procedure,
1(2)245,
2(4)564,
4(2)258,
5(3)405,
6(3)345,
7(4)539,
7(4)680,
8(1)50,
8(4)491,
8(4)524,
9(1)1,
10(2)204,
13(1)52,
13(4)491,
14(2)173,
15(5)876,
16(1)3,
16(2)175,
16(3)428,
16(3)524,
16(3)607,
16(5)1467,
16(5)1472,
16(6)1719,
17(2)331,
18(6)730,
18(6)752,
19(1)48,
19(1)87,
19(4)557,
19(4)568,
19(5)751,
19(6)1031,
20(1)51,
20(1)116,
20(1)166,
20(4)845,
21(3)627,
21(5)977,
21(6)1077,
22(1)129,
23(2)105,
28(2)256,
31(2)7,
31(4)16,
32(2)5,
32(6)21
- representation,
1(1)27,
2(2)137,
3(1)111,
3(2)126,
4(3)496,
4(4)527,
7(1)1,
7(1)62,
7(2)270,
7(4)560,
9(2)257,
9(3)297,
9(3)319,
9(4)618,
10(1)118,
10(4)555,
11(1)67,
11(1)115,
11(3)418,
12(1)61,
14(2)127,
14(2)173,
14(4)574,
14(4)589,
15(5)745,
15(5)876,
16(3)775,
16(6)1842,
17(1)85,
17(2)181,
17(5)777,
19(1)7,
19(3)427,
19(3)462,
19(3)492,
19(5)639,
20(1)1,
20(4)845,
20(5)980,
21(4)703,
21(4)747,
22(1)129,
27(6)1344,
30(6)32,
31(3)12,
31(6)21,
32(6)23,
34(1)3
- REPRESENTATIONS,
7(1)62,
8(1)88,
9(3)297,
9(3)367,
10(4)555,
14(2)201,
14(4)574,
20(1)1,
20(1)116
- see,
1(1)84,
2(1)42,
2(1)134,
2(2)137,
2(2)191,
2(3)359,
2(3)463,
3(1)1,
3(1)83,
3(1)110,
3(1)111,
3(1)112,
3(1)112,
4(1)21,
4(1)120,
4(1)122,
4(2)179,
4(3)323,
5(1)122,
5(1)122-1,
5(3)499,
5(3)499,
5(3)500,
6(3)432,
6(4)487,
6(4)603,
7(3)490,
8(3)406,
9(3)390,
10(2)204,
10(3)503,
10(4)602,
10(4)627,
10(4)633,
10(4)635,
11(3)482,
11(4)650,
11(4)666,
12(1)135,
12(4)670,
13(1)179,
13(3)399,
13(4)630,
13(4)631,
13(4)633,
13(4)633-1,
14(2)265,
14(3)396,
15(1)206,
15(1)208,
15(2)357,
17(1)180,
17(4)672,
18(1)30,
18(3)354,
20(6)1265,
21(1)1,
21(3)569,
27(3)383,
31(1)2,
31(2)1,
32(6)23
- STORAGE,
7(1)62,
8(1)88,
9(3)297,
9(3)367,
10(4)555,
11(1)115,
14(2)201,
14(4)574,
15(5)795,
16(3)775,
19(6)992,
20(1)1,
20(1)116
- STRUCTURES,
7(1)1,
7(2)348,
8(1)142,
9(2)257,
9(2)277,
10(4)579,
11(4)598,
13(3)295,
14(2)127,
14(2)201,
14(2)265,
14(4)471,
15(1)182,
15(3)400,
16(3)328,
16(4)1279,
16(6)1684,
17(1)1,
17(1)123,
17(4)561,
18(6)649,
18(6)659,
19(2)239,
19(4)586,
19(5)751,
19(6)1031,
20(1)1,
20(1)116,
20(2)388,
20(4)869,
20(5)980,
20(6)1265
- subroutine,
7(4)539,
7(4)680,
8(1)50,
9(1)1,
13(4)491,
15(5)876,
16(3)524,
16(5)1467,
16(6)1719,
18(6)730,
19(1)48,
19(1)188,
19(5)751,
20(1)116,
21(1)90,
21(3)627,
21(6)1196,
22(1)129
- technical,
3(1)112,
3(1)112,
4(1)120,
4(1)122,
4(4)650,
5(1)122,
5(1)122-1,
5(3)499,
5(3)499,
5(3)500,
6(3)432,
7(1)62,
7(1)176,
8(3)406,
8(4)547,
10(1)178,
10(2)338,
10(3)503,
10(4)633,
10(4)635,
11(4)598,
11(4)666,
12(1)135,
12(1)139,
13(4)630,
13(4)631,
13(4)633,
15(1)206,
15(2)357,
18(2)175,
21(3)677,
22(2)265,
28(5)795,
31(5)19,
34(1)6
- test,
4(2)258,
4(4)563,
5(4)641,
6(4)527,
9(4)491,
10(2)204,
13(4)630,
14(4)574,
16(1)3,
16(4)1248,
17(2)228,
19(3)427,
22(2)265,
27(5)819,
28(2)207,
28(2)256,
30(6)33,
31(6)20,
32(2)4,
32(4)15
- Wirth:1988:TE,
10(2)204,
13(4)630
- Wirth:1991:TCR,
10(2)204,
13(4)630