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{House:1983:PEF,
author = "R. T. House",
title = "A proposal for an extended form of type checking of
expressions",
journal = j-COMP-J,
volume = "26",
number = "4",
pages = "366--374",
month = nov,
year = "1983",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/26.4.366",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:15 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/26/4.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/",
URL = "http://comjnl.oxfordjournals.org/content/26/4/366.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/366.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/367.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/368.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/369.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/370.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/371.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/372.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/373.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_26/Issue_04/tiff/374.tif",
acknowledgement = ack-nhfb,
classcodes = "C6140D (High level languages)",
classification = "723",
corpsource = "School of Appl. Sci., Darling Downs Inst. of Advanced
Education, Toowoomba, Qld., Australia",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "computer programming languages; expressions; high
level languages; Pascal; program; programming
languages; self-documentation; type checking",
treatment = "T Theoretical or Mathematical",
}
Related entries
- checking,
28(3)298,
29(6)538,
31(2)99,
32(3)194
- expression,
24(3)288,
25(2)239,
25(3)316,
25(3)340,
26(3)193,
29(5)416,
29(5)423,
30(2)128,
30(4)289,
31(3)220,
31(3)243,
32(1)24,
32(5)461
- extended,
25(2)193,
26(2)142,
27(4)362,
28(2)162,
29(1)38,
32(1)1
- form,
23(4)324,
25(4)471,
26(1)52,
26(3)235,
26(4)312,
26(4)375,
27(3)225,
28(2)117,
29(3)201,
30(1)43,
30(5)437,
31(3)258,
32(3)241,
32(5)422,
32(6)549
- 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,
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)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413
- House, R. T.,
29(3)253
- 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,
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)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413
- Pascal,
24(2)112,
25(1)17,
25(2)176,
25(2)248,
25(3)289,
25(3)340,
25(4)496,
26(2)164,
26(2)187,
27(4)348,
27(4)373,
28(2)134,
28(3)270,
28(4)391,
29(2)176,
29(3)246,
29(3)277,
29(5)423,
30(1)52,
30(3)277,
30(4)337,
30(4)355,
30(4)372,
31(1)1,
31(1)9,
31(6)553,
31(6)557,
32(2)152
- proposal,
23(4)380,
29(4)289,
32(4)305
- type,
23(1)66,
24(2)118,
24(4)308,
25(3)289,
25(4)448,
26(4)289,
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)305,
32(4)312,
32(5)413,
32(6)524,
32(6)541