Entry Lew:1984:PCD 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{Lew:1984:PCD,
author = "Art Lew",
title = "Proof of Correctness of Decision Table Programs",
journal = j-COMP-J,
volume = "27",
number = "3",
pages = "230--232",
month = aug,
year = "1984",
CODEN = "CMPJA6",
ISSN = "0010-4620",
MRclass = "68Q60 (03B70)",
MRnumber = "85j:68075",
bibdate = "Tue Mar 25 13:51:56 MST 1997",
bibsource = "Compendex database;
http://www3.oup.co.uk/computer_journal/hdb/Volume_27/Issue_03/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_27/Issue_03/tiff/230.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_27/Issue_03/tiff/231.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_27/Issue_03/tiff/232.tif",
acknowledgement = ack-nhfb,
classcodes = "C4240 (Programming and algorithm theory)",
classification = "723",
corpsource = "Computing Lab., Univ. of Oxford, Oxford, UK",
keywords = "bubble sort algorithm; computer; computer systems
programming; correctiveness proof; correctness proof;
decision table programs; programming theory; programs;
theorem proving",
treatment = "T Theoretical or Mathematical",
}
Related entries
- 03B70,
30(1)27
- 68Q60,
31(1)17,
32(5)399
- bubble,
26(1)43,
27(3)260,
31(3)258
- correctness,
15(2)130,
17(2)143,
18(1)55,
20(2)151,
22(3)240,
23(1)41,
29(5)423,
29(6)531,
30(2)168,
30(4)376,
31(3)229,
31(4)289,
31(6)503,
32(5)437,
33(3)204,
37(4)289,
37(7)561,
37(8)698,
38(2)121,
38(2)131,
38(2)152,
38(2)171,
38(9)695,
39(1)52,
39(3)184,
39(3)203,
39(6)511
- decision,
9(3)294,
10(2)135,
11(2)128,
12(4)320,
13(2)220,
13(3)327,
14(1)54,
14(4)327,
16(2)135,
17(1)17,
17(2)187,
18(2)108,
18(3)198,
18(4)298,
21(4)290,
22(3)209,
23(2)98,
25(1)148,
25(2)239,
25(3)379,
27(1)87,
28(4)366,
29(2)103,
30(2)97,
30(3)258,
31(3)243,
31(5)420,
31(6)481,
33(3)204,
34(4)350,
34(4)358,
34(6)559,
35(4)322,
36(5)419,
36(5)427,
37(2)88,
37(5)449,
37(10)873,
38(1)57,
38(2)162,
38(4)286,
40(1)1
- proof,
12(2)139,
13(4)332,
14(1)40,
14(4)391,
15(2)130,
15(3)229,
15(4)321,
17(2)143,
20(4)353,
22(3)240,
28(5)474,
29(1)17,
29(5)404,
29(6)531,
30(4)376,
30(6)507,
31(4)289,
32(2)122,
34(1)42,
35(5)441,
36(4)387,
37(4)289,
38(2)91,
38(2)101,
38(2)111,
38(2)152,
38(2)162,
38(2)171,
38(9)695,
39(1)52,
39(4)291,
42(3)177
- proving,
12(1)41,
18(1)49,
28(2)105,
28(5)474,
31(1)51,
31(6)510,
32(5)437,
34(1)2,
34(1)20,
34(1)34,
34(1)42,
35(5)441,
36(4)387,
38(2)89,
38(2)101,
38(2)121,
38(2)131,
38(2)142,
38(2)152,
38(2)162,
38(2)171,
39(1)52,
39(4)291
- sort,
9(1)3,
10(3)308,
12(4)406,
12(4)409-1,
13(3)326,
13(3)326-1,
13(4)424,
14(1)103-1,
14(1)104,
16(1)16,
16(3)244-1,
20(1)92,
20(4)298,
23(1)61,
25(1)93,
25(2)227,
25(3)327,
27(3)270,
34(4)370,
35(2)177,
35(6)636
- theorem,
10(4)417,
12(1)41,
12(2)139,
12(3)288,
13(3)272,
18(1)49,
19(3)234,
20(2)148,
27(1)8,
28(2)105,
28(5)474,
29(3)277,
31(1)17,
31(1)51,
31(6)510,
32(5)437,
34(1)2,
34(1)20,
34(1)34,
34(1)42,
35(5)441,
36(4)387,
36(5)497,
37(10)907,
38(2)89,
38(2)101,
38(2)121,
38(2)131,
38(2)142,
38(2)152,
38(2)162,
38(2)171,
39(1)52,
39(4)291