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{Tse:1987:IPU,
author = "T. H. Tse",
title = "The Identification of Program Unstructuredness: a
Formal Approach",
journal = j-COMP-J,
volume = "30",
number = "6",
pages = "507--511",
month = dec,
year = "1987",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/30.6.507",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "68N05",
MRnumber = "920 066",
bibdate = "Tue Dec 4 14:48:23 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/30/6.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/",
URL = "http://comjnl.oxfordjournals.org/content/30/6/507.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/507.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/508.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/509.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/510.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/511.tif",
acknowledgement = ack-nhfb,
affiliation = "Univ of Hong Kong, Hong Kong",
affiliationaddress = "Univ of Hong Kong, Hong Kong",
classcodes = "C4240 (Programming and algorithm theory)",
classification = "723",
corpsource = "Center of Comput. Studies and Applications, Hong Kong
Univ., Hong Kong",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "branches; computer metatheory --- Programming Theory;
computer programming; entry nodes; formal proofs;
interaction exits; modules; program flowgraphs; program
unstructuredness; programming theory; programs;
skeletons; structured; Theory; unstructured programs",
treatment = "T Theoretical or Mathematical",
}
Related entries
- 68N05,
27(4)340,
30(1)27,
30(4)378,
30(5)437,
31(1)17,
31(3)229,
32(2)122
- approach,
23(1)3,
23(1)9,
23(1)28,
23(2)114-1,
23(3)223,
23(3)256,
23(4)317,
24(3)222,
24(4)320,
25(1)12,
25(3)353,
25(4)410,
25(4)442,
25(4)492,
26(3)255,
26(3)283,
26(4)293,
26(4)360,
26(4)383,
27(1)3,
27(1)37,
27(2)171,
27(3)246,
28(1)59,
28(1)89,
28(2)97,
28(2)162,
28(4)353,
29(2)161,
29(2)189,
29(2)189-1,
29(3)222,
29(4)330,
29(5)385,
30(1)8,
30(2)119,
30(2)176,
30(3)258,
30(5)393,
30(5)437,
31(2)133,
31(2)182,
31(3)243,
31(5)409,
32(2)152,
32(2)162,
32(5)386,
32(5)437
- branch,
23(4)380,
24(2)192-4,
26(4)320
- entry,
25(2)239
- exits,
23(3)286
- flowgraphs,
30(4)378
- formal,
27(2)121,
28(1)59,
28(2)112,
28(2)162,
28(5)474,
28(5)480,
29(6)481,
30(2)134,
30(2)183,
30(4)316,
30(4)328,
30(4)337,
31(4)313,
31(4)325,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)1,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(4)305,
32(4)351,
32(5)385,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(5)445
- identification,
23(4)317,
30(4)378,
31(6)503
- interaction,
30(5)437,
31(5)445
- metatheory,
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)531,
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,
31(4)325,
31(4)336,
31(6)510,
32(1)93
- module,
24(2)184,
27(3)254,
28(3)231,
29(6)495,
31(2)110,
31(2)165,
32(2)98,
32(2)127
- node,
23(2)161,
25(3)379,
26(3)193,
28(3)231,
29(1)36,
30(2)128,
30(2)157,
32(5)461
- proof,
27(3)230,
28(5)474,
29(1)17,
29(5)404,
29(6)531,
30(4)376,
31(4)289,
32(2)122
- skeleton,
30(4)337,
30(4)378
- structured,
22(2)105,
23(2)115,
23(2)191,
23(3)194,
23(3)255,
23(4)377,
23(4)382,
24(4)295,
24(4)384-2,
25(2)218,
25(3)379,
26(1)1,
26(1)43,
27(4)354,
28(2)97,
28(2)134,
29(1)24,
29(1)33,
29(4)322,
29(6)553,
30(1)43,
30(3)233,
30(4)378,
31(1)56,
31(3)193,
32(1)1,
32(2)98,
32(6)505
- Tse, T. H.,
30(4)378,
32(1)1
- unstructured,
25(3)379,
29(4)322,
30(1)43
- unstructuredness,
30(4)378