Entry Pandya:1986:SDT 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{Pandya:1986:SDT,
author = "P. Pandya and M. Joseph",
title = "A structure-directed total correctness proof rule for
recursive procedure calls",
journal = j-COMP-J,
volume = "29",
number = "6",
pages = "531--537",
month = dec,
year = "1986",
CODEN = "CMPJA6",
ISSN = "0010-4620",
bibdate = "Tue Apr 08 21:36:00 1997",
bibsource = "Compendex database;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/531.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/532.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/533.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/534.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/535.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/536.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/537.tif",
acknowledgement = ack-nhfb,
affiliation = "Tata Inst of Fundamental Research, Bombay, India",
affiliationaddress = "Tata Inst of Fundamental Research, Bombay,
India",
classcodes = "C4240 (Programming and algorithm theory)",
classification = "723",
corpsource = "Comput. Sci. Group, Tata Inst. of Fundamental Res.,
Bombay, India",
keywords = "computer metatheory --- Programming Theory; computer
programming; interval analysis; procedure call graph;
programming theory; proof rule; recursion structures;
recursive procedure calls; Theory; total correctness",
treatment = "T Theoretical or Mathematical",
}
Related entries
- call,
18(3)287-2,
23(1)33,
25(2)286-2,
26(2)134,
28(3)231,
31(2)110,
32(3)281,
34(6)503,
39(6)525,
42(7)592
- correctness,
15(2)130,
17(2)143,
18(1)55,
20(2)151,
22(3)240,
23(1)41,
27(3)230,
29(5)423,
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
- interval,
12(2)179,
13(3)284,
14(4)447,
15(3)285,
16(1)69,
17(3)249,
17(4)379,
18(1)83,
21(4)355,
21(4)359,
23(4)344,
25(1)126,
30(4)298,
31(6)490,
32(3)238,
34(5)475,
36(3)209,
37(2)114,
37(3)164,
37(7)576,
37(7)588,
37(10)847,
38(1)43,
38(5)348,
38(9)717,
38(10)818,
39(1)45,
39(2)133,
41(1)16,
41(4)238
- Joseph, M.,
13(1)48,
29(5)390
- metatheory,
17(3)224,
18(2)140,
18(3)239,
18(4)355,
19(1)8,
19(2)151,
19(4)322,
20(1)56,
20(1)63,
20(2)102,
22(3)220,
22(4)323,
22(4)363,
23(1)34,
23(3)243,
27(4)376,
28(1)9,
28(3)195,
28(3)250,
28(3)257,
28(5)474,
28(5)487,
29(1)24,
29(1)76,
29(2)103,
29(2)161,
29(2)187,
29(5)404,
29(6)481,
29(6)538,
29(6)545,
30(1)8,
30(1)27,
30(1)43,
30(2)134,
30(3)223,
30(4)376,
30(4)378,
30(6)507,
31(4)325,
31(4)336,
31(6)510,
32(1)93
- Pandya, P.,
29(5)390
- 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,
27(3)230,
28(5)474,
29(1)17,
29(5)404,
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
- recursion,
14(4)437,
20(3)282,
20(4)353,
22(2)151,
31(6)531,
32(2)122,
32(4)305,
34(3)282,
39(3)203,
42(8)650
- recursive,
13(4)332,
13(4)378,
14(1)103-1,
14(4)343,
14(4)391,
15(4)337,
18(1)23,
18(1)70,
19(2)156,
19(3)234,
20(4)346,
20(4)353,
23(4)332,
25(2)231,
26(1)15,
26(3)205,
27(2)171,
28(1)78,
29(2)161,
29(2)182,
30(4)376,
31(3)229,
31(3)283,
31(4)358,
31(6)561,
31(6)565,
32(1)36,
32(3)281,
33(1)19,
33(2)155,
33(5)466,
33(6)570,
34(3)282,
34(6)z,
35(5)z-2,
36(3)238,
37(3)206,
37(4)243,
38(1)43,
38(2)121,
39(4)353
- rule,
9(3)250,
14(3)301,
15(1)1,
15(1)66,
16(2)135,
17(2)187,
20(4)359,
21(3)234,
22(2)127,
23(3)207,
24(2)156,
25(1)105,
26(1)1,
27(4)328,
28(3)270,
28(4)366,
29(3)253,
29(4)322,
30(2)168,
30(4)328,
31(2)125,
32(1)36,
32(2)108,
32(6)541,
33(5)466,
33(6)535,
33(6)547,
34(1)42,
34(3)239,
34(6)559,
34(6)z-10,
35(1)30,
35(5)441,
36(2)127,
37(1)67,
38(2)101,
38(2)162,
38(3)181,
38(7)578,
42(3)221
- total,
14(3)260,
18(1)43,
18(1)49,
19(1)56,
30(4)362,
33(1)61,
35(1)62,
35(2)98,
38(6)471,
39(3)215,
39(5)439,
40(10)640