Entry Schwarz:1977:GCT 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{Schwarz:1977:GCT,
author = "Jerald Sydney Schwarz",
title = "Generic Commands --- {A} Tool for Partial Correctness
Formalisms",
journal = j-COMP-J,
volume = "20",
number = "2",
pages = "151--155",
month = may,
year = "1977",
CODEN = "CMPJA6",
ISSN = "0010-4620",
bibdate = "Tue Mar 25 13:51:56 MST 1997",
bibsource = "Compiler/reynolds.bib; Theory/CLiCS.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_02/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_02/tiff/151.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_02/tiff/152.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_02/tiff/153.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_02/tiff/154.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_20/Issue_02/tiff/155.tif",
acknowledgement = ack-nhfb,
checked = "19 October 1990",
classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm
theory)",
corpsource = "Dept. of Artificial Intelligence, Univ. of Edinburgh,
Edinburgh, UK",
keywords = "formal logic; formalisms; logical; partial correctness
formalisms; programming theory; semantic framework;
teneric command",
treatment = "T Theoretical or Mathematical",
}
Related entries
- command,
14(2)119,
15(4)343,
20(2)187,
22(2)114,
22(4)352,
24(1)17,
24(1)62,
24(1)78,
28(5)501,
31(1)9,
32(5)422,
34(3)265,
36(6)579
- correctness,
15(2)130,
17(2)143,
18(1)55,
22(3)240,
23(1)41,
27(3)230,
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
- formalism,
19(3)234,
20(4)353,
25(1)63,
26(2)142,
28(2)112,
33(5)437,
35(1)30,
36(3)238,
38(7)612
- framework,
17(2)124,
24(1)52,
25(3)307,
27(1)67,
27(3)193,
28(3)195,
29(3)222,
30(1)8,
32(4)290,
32(6)533,
33(2)147,
33(6)518,
34(1)34,
34(2)98,
34(2)173,
35(5)441,
37(10)858,
38(1)43,
38(4)271,
38(8)643,
39(1)20,
39(1)52,
39(3)215,
39(5)386,
39(6)455,
41(7)445,
42(6)522,
44(4)321,
44(4)324
- generic,
29(3)193,
30(5)404,
31(4)296,
32(4)305,
34(1)34,
35(6)555,
37(1)26,
37(6)487
- logical,
11(2)173,
14(4)366,
14(4)378,
16(1)28,
17(1)52,
17(2)113,
21(1)15,
22(3)251,
23(1)41,
23(4)380,
23(4)381,
25(1)68,
27(4)301,
28(2)112,
28(2)170,
28(3)330,
29(1)12,
29(2)176,
29(5)472,
29(6)481,
31(2)116,
31(6)510,
32(3)252,
33(1)40,
33(1)49,
34(6)z,
35(1)30,
35(1)71,
35(3)233,
36(8)690,
37(4)333,
37(9)745,
38(8)643,
38(9)734,
38(10)811,
39(3)173,
39(6)511,
42(3)202
- partial,
4(1)54,
6(1)69,
6(1)93,
7(2)163,
7(3)203,
8(2)150,
8(3)280,
9(1)81,
9(1)115-1,
13(1)81,
13(1)92,
13(2)164,
13(4)363,
14(1)65,
14(1)73,
14(2)179,
14(3)293,
14(3)295,
14(3)307,
14(4)374,
14(4)428,
14(4)437,
15(4)356,
16(3)284-1,
17(3)245,
17(4)377,
17(4)378,
18(1)49,
18(3)252,
20(2)181,
21(3)263,
23(1)37,
23(2)153,
24(1)83,
25(1)2,
28(3)319,
28(5)449,
30(3)268,
30(6)535,
31(2)147,
31(6)510,
33(1)19,
33(3)247,
35(3)299,
35(4)390,
36(5)497,
37(8)711,
38(5)355,
39(2)114,
39(4)346