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{Pagan:1982:SSU,
author = "Frank G. Pagan",
title = "Semantic specification using two-level grammars:
labels and {GOTO} statements",
journal = j-COMP-J,
volume = "25",
number = "1",
pages = "63--67",
month = feb,
year = "1982",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/25.1.63",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:12 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/25/1.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_25/Issue_01/",
URL = "http://comjnl.oxfordjournals.org/content/25/1/63.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_25/Issue_01/tiff/63.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_25/Issue_01/tiff/64.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_25/Issue_01/tiff/65.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_25/Issue_01/tiff/66.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_25/Issue_01/tiff/67.tif",
acknowledgement = ack-nhfb,
classcodes = "C4210 (Formal logic)",
classification = "723",
corpsource = "Dept. of Computer Sci., Southern Illinois Univ.,
Carbondale, IL, USA",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "complexity; computer programming languages; dynamic
semantics; formalism; GOTO statements; grammars;
if-then-else; labels; languages; metalinguistic;
programming; two-level grammars; W-grammars; while-do",
treatment = "P Practical",
}
Related entries
- complexity,
25(3)379,
26(3)224,
26(4)293,
26(4)354,
27(1)72,
27(2)135,
27(4)315,
27(4)340,
28(1)5,
28(1)78,
28(5)487,
28(5)496,
29(2)103,
29(2)161,
29(2)176,
29(2)182,
29(4)300,
29(4)322,
29(4)330,
29(5)451,
30(1)43,
30(2)176,
30(3)201,
30(3)223,
30(3)233,
30(3)258,
30(3)282,
30(4)308,
30(4)376,
30(5)433,
31(1)56,
31(1)71,
31(1)83,
31(3)283,
31(4)289,
31(6)490,
31(6)545,
31(6)553,
31(6)561,
31(6)567,
32(4)362,
32(5)474
- dynamic,
23(1)53,
23(2)115,
23(2)147,
23(4)298,
24(4)383-1,
25(2)199,
25(3)358,
25(3)388,
25(4)478,
26(1)25,
27(1)87,
27(2)135,
27(2)143,
27(3)284,
27(3)284-1,
27(4)328,
28(2)170,
28(3)250,
28(3)330,
29(1)52,
29(2)127,
29(2)182,
29(2)189,
29(2)189-1,
30(2)119,
30(3)258,
30(6)541,
31(4)296,
31(5)457,
31(6)531,
32(1)16,
32(3)194,
32(3)241
- formalism,
26(2)142,
28(2)112
- GOTO,
28(2)134,
29(1)24
- grammar,
23(4)317,
24(2)156,
25(3)316,
25(3)331,
26(1)15,
26(2)142,
26(2)164,
26(3)277,
27(1)57,
27(3)233,
28(1)17,
28(3)250,
29(2)151,
29(3)241,
29(4)307,
30(4)328,
31(4)330,
31(6)525,
32(1)36,
32(1)91,
32(2)108,
32(5)445
- labels,
23(3)286
- level, two-,
26(2)134,
28(3)250,
29(2)176,
29(5)451,
32(1)36
- semantic,
23(2)132,
23(3)212,
23(4)317,
24(1)56,
24(2)125,
25(2)264,
25(3)331,
26(2)124,
26(2)164,
26(3)228,
27(1)83,
27(3)233,
28(2)112,
28(2)162,
28(3)250,
28(4)357,
28(5)480,
29(1)33,
29(2)151,
29(3)241,
29(5)404,
30(2)128,
30(3)239,
30(4)328,
30(6)498,
31(1)9,
31(2)141,
31(3)193,
32(1)90,
32(2)108,
32(2)152,
32(4)290,
32(5)422
- specification,
23(1)61,
23(3)230,
25(1)34,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(1)59,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
28(4)357,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)223,
30(3)239,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)229,
31(3)269,
31(4)313,
31(5)426,
31(6)510,
32(1)1,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(6)541
- statement,
25(2)264,
27(2)187,
28(2)134,
29(1)24,
29(3)246
- two-level,
26(2)134,
28(3)250,
29(2)176,
29(5)451,
32(1)36
- using,
23(1)41,
23(2)142,
23(4)380,
23(4)381,
24(2)118,
24(3)263,
24(3)271,
24(4)295,
24(4)324,
25(1)84,
26(2)113,
26(4)344,
28(2)112,
28(4)409,
28(4)414,
29(2)118,
29(2)176,
29(2)182,
29(3)201,
29(5)423,
29(6)564,
30(1)87,
30(2)176,
30(4)298,
30(4)343,
30(5)437,
30(6)541,
31(3)201,
31(3)269,
31(4)289,
31(6)525,
31(6)567,
31(6)570,
32(2)142,
32(3)273,
32(4)341,
32(5)470