Last update: Sat Jan 6 02:03:49 MST 2018
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{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",
DOI = "https://doi.org/10.1093/comjnl/32.4.305",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:27 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/32/4.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/",
URL = "http://comjnl.oxfordjournals.org/content/32/4/305.full.pdf+html;
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",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
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,
31(3)243,
32(5)461
- assignment,
25(2)264
- association,
28(3)298,
29(3)212
- attributes,
25(3)331,
27(3)233,
28(3)203,
29(6)527
- 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
- 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
- case,
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(1)93,
32(2)142,
32(2)175
- class,
25(1)52,
25(3)388,
26(2)142,
29(2)151,
31(4)325,
32(1)76,
32(2)162,
32(4)333
- Data, Processing-,
31(6)490,
31(6)531,
32(2)98
- diagnostics,
29(5)416,
30(1)16
- error,
23(2)147,
23(2)187-1,
23(4)317,
24(4)367,
25(3)331,
26(1)15,
26(2)124,
27(3)246,
28(4)372,
28(5)466,
29(1)12,
29(6)545,
30(2)168,
31(2)99,
32(3)238,
32(3)246
- formal,
27(2)121,
28(1)59,
28(2)112,
28(2)162,
28(5)474,
28(5)480,
29(6)481,
30(2)134,
30(2)183,
30(4)316,
30(4)328,
30(4)337,
30(6)507,
31(4)313,
31(4)325,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)1,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(4)351,
32(5)385,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(5)445
- function,
23(2)165,
23(3)286,
24(1)42,
25(3)379,
25(3)397,
25(4)448,
28(1)54,
29(1)9,
29(1)38,
29(3)277,
29(4)289,
30(1)27,
31(1)17,
31(3)209,
31(3)229,
31(3)243,
31(6)510,
32(1)36,
32(1)93,
32(2)98,
32(2)122,
32(5)461
- generic,
29(3)193,
30(5)404,
31(4)296
- hierarchy,
25(1)17,
27(2)121,
28(3)231,
29(1)24,
29(2)103,
29(4)330,
32(6)554
- high,
23(2)124,
23(2)153,
24(1)56,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(3)228,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)37,
27(1)83,
27(2)97,
27(2)151,
28(1)34,
28(3)231,
28(3)250,
28(4)391,
29(2)118,
29(3)229,
29(3)253,
29(4)289,
29(4)340,
29(6)500,
29(6)506,
29(6)538,
30(2)128,
30(5)437,
30(6)487,
30(6)558,
31(2)99,
31(2)110,
31(3)220,
31(3)243,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)312,
32(4)323,
32(4)341,
32(5)413
- inheritance,
30(5)404,
32(1)63,
32(4)297,
32(4)312,
32(4)333
- level,
23(2)124,
23(2)153,
24(1)25,
24(1)56,
24(1)62,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
25(4)429,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(2)188,
26(3)228,
26(3)235,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)83,
27(2)97,
27(2)151,
27(4)334,
28(1)34,
28(3)250,
28(4)357,
29(2)118,
29(3)229,
29(3)253,
29(4)340,
29(6)500,
29(6)506,
29(6)538,
30(1)52,
30(2)128,
30(5)437,
30(6)487,
31(2)99,
31(2)110,
31(3)220,
31(3)229,
31(3)243,
31(4)344,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)312,
32(4)323,
32(4)341,
32(5)413
- making,
23(2)98,
25(1)148
- Metatheory--Programming,
31(6)517,
32(2)122,
32(4)290,
32(4)323
- method,
22(2)105,
24(2)139,
24(2)190,
24(3)230,
24(4)320,
25(1)7,
25(1)56,
25(1)61,
25(3)327,
25(3)353,
26(1)6,
26(2)187,
26(3)199,
26(3)283,
27(3)218,
27(3)238,
28(2)112,
28(2)184,
28(3)330,
28(4)372,
28(4)379,
28(4)417,
28(4)433,
28(4)444,
28(5)498,
29(2)97,
29(2)118,
29(2)167,
29(5)416,
29(5)434,
30(1)70,
30(2)149,
30(2)163,
30(2)189,
30(3)268,
30(3)277,
30(4)289,
30(4)295,
30(4)316,
30(4)337,
30(4)376,
30(6)535,
31(1)83,
31(6)510,
31(6)565,
31(6)570,
32(1)93,
32(2)108,
32(2)142,
32(2)187,
32(3)220,
32(3)238,
32(3)241,
32(3)281,
32(4)374,
32(4)377,
32(5)385,
32(5)432,
32(6)563
- Object-Oriented,
26(4)360,
32(4)289,
32(4)290,
32(4)297,
32(4)312,
32(4)323,
32(4)333,
32(4)341,
32(4)351
- object-oriented,
31(2)116,
32(4)290,
32(4)297,
32(4)312,
32(4)323,
32(4)333,
32(4)341
- Oriented, Object-,
26(4)360,
32(4)289,
32(4)290,
32(4)297,
32(4)312,
32(4)323,
32(4)333,
32(4)341,
32(4)351
- oriented, Object-,
32(4)290,
32(4)333
- oriented, object-,
31(2)116,
32(4)290,
32(4)297,
32(4)312,
32(4)333,
32(4)341
- parameter,
23(1)85,
25(1)116,
27(1)84,
29(4)330,
30(5)437,
31(1)12
- Processing--Data,
31(6)490,
31(6)531,
32(2)98
- Programming, Metatheory-,
31(6)517,
32(2)122,
32(4)290,
32(4)323
- proposal,
23(4)380,
26(4)366,
29(4)289
- recursion,
29(6)531,
31(6)531,
32(2)122
- run-time,
28(3)257,
29(3)253,
29(6)538,
30(5)437,
31(3)243
- time, run-,
29(3)253,
30(5)437,
31(3)243
- type,
23(1)66,
24(2)118,
24(4)308,
25(3)289,
25(4)448,
26(4)289,
26(4)366,
27(1)47,
27(3)260,
27(4)310,
28(1)59,
28(2)154,
28(3)298,
29(1)38,
29(3)261,
29(4)340,
29(6)538,
30(1)27,
30(5)404,
30(5)451,
31(2)99,
31(2)110,
31(2)116,
31(6)517,
32(4)312,
32(5)413,
32(6)524,
32(6)541
- value,
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
- variance,
25(2)183