Entry Cook:1989:PME 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{Cook:1989:PME,
author = "W. R. Cook",
title = "A proposal for making {Eiffel} type-safe",
journal = j-COMP-J,
volume = "32",
number = "4",
pages = "305--311",
month = aug,
year = "1989",
CODEN = "CMPJA6",
ISSN = "0010-4620",
bibdate = "Tue Mar 25 13:51:56 MST 1997",
bibsource = "Compendex database;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/305.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/306.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/307.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/308.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/309.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/310.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/311.tif",
acknowledgement = ack-nhfb,
affiliation = "Hewlett-Packard Labs.",
affiliationaddress = "Palo Alto, CA, USA",
classcodes = "C6140D (High level languages); C6110 (Systems analysis
and programming)",
classification = "723; C6110 (Systems analysis and programming);
C6140D (High level languages)",
conference = "European Conference on Object-Oriented Programming
(ECOOP '89)",
corpsource = "Hewlett-Packard Labs., Palo Alto, CA, USA",
keywords = "assignments; Assignments; attributes; Attributes; case
analysis; Case analysis; Computer
Metatheory--Programming Theory; Computer Programming;
Computer Programming Languages; conformance;
Conformance hierarchy; Data Processing--Data
Structures; Data Types; declaration by association;
Declaration by association; default values; Default
values; Eiffel; formal method argument type; Formal
method argument type; function types; Function types;
generic class; Generic class; generic parameters;
Generic parameters; hierarchy; high level languages;
inheritance; Inheritance; object-oriented programming;
Object-Oriented Programming; object-oriented programs;
Object-oriented programs; Program Diagnostics;
Programming Language Eiffel, Statically type-correct
Eiffel programs; run-time errors; Run-time errors;
statically type-correct Eiffel programs; superclass;
Superclass; type attributes; Type attributes; type
recursion; Type recursion; type-safe; Type-safe;
variance; Variance",
meetingaddress = "Nottingham, Engl",
meetingdate = "Jul 10--14 1989",
meetingdate2 = "07/10--14/89",
thesaurus = "High level languages; Object-oriented programming",
treatment = "P Practical",
}
Related entries
- argument,
11(3)351,
14(3)315,
21(2)134,
31(3)243,
32(5)461
- assignment,
6(3)241,
6(4)304,
14(1)10,
14(3)254,
14(3)312,
19(3)216,
22(3)246,
25(2)264,
33(3)219,
33(5)471,
33(6)562,
34(3)279,
36(3)282,
38(5)381
- association,
8(3)246,
28(3)298,
29(3)212,
35(3)194
- attributes,
14(4)382,
22(3)240,
25(3)331,
27(3)233,
28(3)203,
29(6)527,
39(2)124,
39(8)688
- 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)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(2)170,
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)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(2)170,
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
- case,
12(1)63,
12(4)410,
14(3)295,
14(4)377,
16(3)226,
18(2)102,
20(3)238,
20(3)242,
21(4)366,
22(1)17,
22(3)288,
24(4)320,
25(1)148,
27(3)276,
28(2)97,
30(5)420,
30(5)437,
31(1)25,
31(5)398,
32(2)142,
32(2)175,
33(4)296,
35(1)30,
35(1)52,
35(1)88,
35(2)177,
35(5)460,
36(3)280,
36(3)286,
36(4)343,
38(9)734,
38(10)785,
39(1)52,
39(5)386,
39(7)598,
40(4)167
- class,
1(4)163,
10(1)87,
10(4)365,
13(4)405,
14(1)40,
17(1)69,
18(1)23,
18(3)223,
25(1)52,
25(3)388,
26(2)142,
29(2)151,
31(4)325,
32(1)76,
32(2)162,
32(4)333,
33(1)2,
34(2)186,
35(2)98,
35(3)256,
35(5)501,
35(6)555,
36(5)400,
37(3)206,
37(4)233,
37(4)259,
37(6)519,
38(3)181,
38(7)510,
38(10)818,
39(1)45,
39(2)114,
39(4)346
- conformance,
35(6)567
- Data, Processing-,
31(6)490,
31(6)531,
32(2)98,
32(4)290
- declaration,
19(3)276
- default,
33(2)133,
34(3)239
- diagnostics,
12(1)41,
12(1)104,
13(3)261,
15(4)302,
16(3)285-1,
17(2)121,
29(5)416,
30(1)16,
39(7)598
- Eiffel,
35(5)z-3,
36(2)137
- generic,
20(2)151,
29(3)193,
30(5)404,
31(4)296,
34(1)34,
35(6)555,
37(1)26,
37(6)487
- hierarchy,
14(2)162,
14(4)396,
18(2)131,
19(4)301,
19(4)306,
20(1)2,
20(4)359,
21(2)98,
25(1)17,
27(2)121,
28(3)231,
29(1)24,
29(2)103,
29(4)330,
32(6)554,
35(2)98,
35(5)501,
36(5)400,
37(4)243,
38(1)57
- inheritance,
30(5)404,
32(1)63,
32(4)297,
32(4)312,
32(4)333,
33(1)19,
37(6)531,
37(10)888,
39(1)20
- making,
13(3)327,
13(4)332,
14(4)327,
21(1)2,
23(2)98,
25(1)148,
38(1)57
- Metatheory--Programming,
31(6)517,
32(2)122,
32(4)290,
32(4)290,
32(4)323
- Object-Oriented,
26(4)360,
32(4)290,
32(4)290,
32(4)297,
32(4)312,
32(4)323,
32(4)333,
32(4)341,
32(4)351,
34(4)311,
35(2)98,
35(5)501,
37(10)858,
39(9)793,
39(9)808
- Oriented, Object-,
26(4)360,
32(4)290,
32(4)290,
32(4)297,
32(4)312,
32(4)323,
32(4)333,
32(4)341,
32(4)351,
34(4)311,
35(2)98,
35(5)501,
37(10)858,
39(9)793,
39(9)808
- oriented, Object-,
32(4)290,
32(4)333,
33(6)482,
34(4)311,
34(6)514,
35(2)98,
35(2)108,
35(3)256,
35(5)501,
35(6)600,
36(1)4,
36(1)78,
36(1)97,
36(2)137,
36(2)168,
36(8)723,
37(1)16,
37(5)407,
37(6)487,
37(6)499,
37(6)519,
37(6)531,
37(8)669,
37(9)764,
37(10)858,
37(10)888,
38(1)1,
38(1)17,
38(3)181,
38(3)193
- oriented, object-,
31(2)116,
32(4)290,
32(4)297,
32(4)312,
32(4)333,
32(4)341,
33(1)49,
33(6)482,
34(4)311,
34(6)514,
35(2)98,
35(2)108,
35(3)256,
35(5)501,
35(6)600,
36(1)4,
36(1)78,
36(1)97,
36(2)137,
36(2)168,
36(8)723,
37(1)16,
37(5)407,
37(6)487,
37(6)499,
37(6)519,
37(6)531,
37(8)669,
37(9)764,
37(10)858,
37(10)888,
38(1)1,
38(1)17,
38(3)181,
38(10)755,
38(10)777,
39(1)20,
39(5)361,
39(6)455
- parameter,
4(1)62,
6(3)232,
7(1)66,
9(2)200,
10(1)78,
10(2)204,
10(4)400,
13(3)301,
13(4)382,
14(1)73,
14(3)260,
14(3)312,
16(2)165,
16(3)266,
21(1)73,
22(2)151,
22(3)209,
23(1)85,
25(1)116,
27(1)84,
29(4)330,
30(5)437,
31(1)12,
33(2)133,
33(5)412,
33(5)473,
35(1)81,
35(3)243,
35(5)514,
38(10)755,
39(8)647,
42(1)11
- Processing--Data,
31(6)490,
31(6)531,
32(2)98,
32(4)290
- Programming, Metatheory-,
31(6)517,
32(2)122,
32(4)290,
32(4)290,
32(4)323
- proposal,
3(4)220,
10(3)231,
15(2)95,
18(3)206,
18(3)279,
20(3)194,
20(3)269,
23(4)380,
26(4)366,
29(4)289,
33(1)11,
33(5)429
- recursion,
14(4)437,
20(3)282,
20(4)353,
22(2)151,
29(6)531,
31(6)531,
32(2)122,
34(3)282,
39(3)203,
42(8)650
- run-time,
28(3)257,
29(3)253,
29(6)538,
30(5)437,
31(3)243,
35(6)555,
35(6)643,
37(4)333,
37(6)487,
37(8)691
- time, Run-,
35(6)643,
37(4)333,
37(8)691
- time, run-,
29(3)253,
30(5)437,
31(3)243,
35(6)555,
35(6)643,
37(4)333,
37(6)487,
37(8)691
- value,
3(3)175,
5(2)147,
9(4)393,
10(4)389,
12(2)118,
12(2)151,
12(2)188,
13(1)87,
13(1)92,
13(2)204,
13(3)291,
13(4)387,
13(4)397,
14(1)65,
14(3)243,
14(3)295,
14(3)309,
15(2)140,
17(2)130,
17(2)157,
18(1)74,
18(3)252,
18(4)371,
19(1)17,
20(2)181,
21(3)253,
21(4)341,
22(3)209,
22(3)234,
24(2)118,
25(1)116,
26(2)109,
26(2)188,
27(3)209,
28(3)309,
30(3)268,
30(4)355,
30(5)437,
30(5)451,
31(2)133,
31(3)243,
31(4)296,
32(4)374,
33(2)133,
34(1)80,
34(4)377,
34(6)551,
35(4)332,
35(4)395,
36(1)68,
36(2)127,
37(5)385,
38(1)31,
39(2)114,
39(3)215,
39(4)275
- variance,
10(4)406,
11(2)209,
12(3)277,
17(4)378,
21(4)355,
25(2)183,
35(4)395