Last update: Wed Sep 26 02:07:32 MDT 2018
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{Ben-Ari:1996:SEL,
author = "Mordechai Ben-Ari",
title = "Structure exits, not loops",
journal = j-SIGCSE,
volume = "28",
number = "3",
pages = "51",
month = sep,
year = "1996",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/234867.234878",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:35 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "Until recently, Pascal was the first programming
language taught to students. As more schools choose Ada
or C++ as a first language, the debate on structured
programming has been reopened ([Rob95]). We are no
longer restricted to the while-statement:
exit/break-statements can be used to exit a loop from
the middle, and return from a procedure or function is
allowed within a loop statement. Do these constructs
violate the principle of structure programming? This
article claims that more general loop constructs can be
objectively justified, because they simplify the
verification of programs. A program that is simple to
verify is also easy to explain and understand.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- Ada,
22(1)6,
22(1)201,
22(1)263,
22(2)21,
22(2)47,
23(1)337,
24(1)129,
26(1)373,
26(1)385,
26(1)407,
26(4)59,
27(3)47,
28(1)19,
28(1)180,
29(1)164,
29(1)214,
29(1)315,
29(2)17,
30(1)370,
30(3)185,
31(2)65
- allowed,
23(4)37,
30(1)297
- Ari, Mordechai, Ben-,
28(1)180,
29(2)7,
29(3)62,
30(1)257,
30(3)185,
30(3)300,
31(3)13,
31(3)91
- article,
22(2)34,
22(3)7,
23(2)45,
23(3)61,
23(4)7,
23(4)27,
24(1)38,
24(2)59,
24(3)24,
24(3)60,
25(2)1,
25(2)29,
25(4)5,
25(4)21,
26(3)8,
26(3)37,
26(4)17,
26(4)56,
27(3)7,
28(1)290,
28(2)3,
28(2)37,
28(3)12,
28(4)59,
29(1)10,
29(1)25,
29(1)72,
30(2)61,
30(4)32,
31(1)22,
31(2)31,
31(2)42,
31(3)171,
31(4)4
- because,
22(4)49,
23(2)21,
23(4)41,
24(1)72,
24(1)102,
24(1)173,
24(2)35,
24(2)55,
26(1)46,
26(1)300,
26(2)36,
26(4)59,
27(1)66,
27(1)195,
27(1)228,
27(1)278,
27(1)340,
27(3)27,
27(3)47,
27(4)13,
28(1)180,
28(1)300,
28(1)363,
29(1)77,
29(1)258,
29(1)340,
29(3)21,
29(3)57,
29(4)45,
30(1)73,
30(1)112,
30(1)341,
30(1)383,
30(3)162,
30(3)257,
31(1)232,
31(1)291,
31(2)48,
31(2)73,
31(3)21,
31(3)99,
31(3)171,
31(3)198,
31(4)13,
31(4)61
- Ben-Ari, Mordechai,
28(1)180,
29(2)7,
29(3)62,
30(1)257,
30(3)185,
30(3)300,
31(3)13,
31(3)91
- choose,
27(1)146,
28(1)175,
30(1)166,
30(3)81,
30(3)295,
31(1)78,
31(2)73
- claim,
22(4)2,
27(1)273,
27(4)57,
29(2)7,
29(3)77,
30(1)153,
30(1)207,
30(1)257
- construct,
23(1)283,
23(3)20,
23(3)31,
24(1)192,
26(1)111,
26(1)169,
26(1)208,
26(4)59,
27(1)1,
28(1)180,
29(1)25,
29(1)39,
30(1)166,
30(1)257,
30(1)317,
30(1)383,
30(3)69,
30(3)185,
30(3)254,
30(3)275,
31(1)127,
31(1)266,
31(3)44,
31(3)91,
31(3)147
- debate,
25(2)31,
27(1)268,
27(2)25,
30(1)58,
30(1)365,
30(1)370,
30(1)383,
31(2)37,
31(2)73
- easy,
22(2)42,
23(3)17,
24(1)147,
24(1)259,
25(4)41,
26(1)51,
26(1)198,
26(1)300,
26(2)19,
27(1)263,
27(4)54,
28(1)280,
28(3)5,
28(3)55,
28(4)59,
29(1)229,
30(1)87,
30(1)145,
30(1)237,
30(1)341,
30(1)345,
30(2)48,
30(3)213,
30(4)59,
31(1)58,
31(1)222,
31(3)204
- exit,
27(1)268,
31(3)205
- explain,
24(1)129,
26(1)203,
26(1)339,
26(2)9,
26(4)45,
28(1)217,
29(1)214,
29(1)243,
29(3)85,
30(3)74,
31(1)227,
31(2)78,
31(3)48,
31(4)50
- function,
23(2)9,
23(2)24,
23(2)51,
23(4)7,
24(2)20,
24(3)53,
26(1)92,
26(1)218,
27(1)66,
27(2)18,
28(z)11,
29(1)35,
29(1)53,
29(1)355,
29(3)27,
29(4)57,
30(1)272,
30(1)383,
30(4)51,
31(1)286,
31(2)48,
31(2)60,
31(3)17,
31(3)199,
31(4)32,
31(4)66,
31(4)106
- general,
22(2)15,
22(2)59,
22(3)7,
23(1)87,
23(2)60,
23(4)13,
24(1)57,
26(1)41,
26(4)21,
26(4)25,
26(4)59,
27(1)53,
27(1)61,
27(1)248,
27(1)302,
27(1)350,
27(3)60,
28(1)73,
28(1)378,
28(2)21,
29(1)35,
29(1)48,
29(1)96,
29(1)243,
29(1)258,
29(1)371,
29(3)27,
29(3)40,
29(3)51,
29(3)57,
29(3)62,
29(3)120,
30(1)58,
30(1)68,
30(1)87,
30(1)97,
30(1)185,
30(1)302,
30(1)365,
30(1)370,
30(2)20,
30(3)148,
30(3)243,
30(3)303,
30(4)39,
30(4)46,
31(1)37,
31(1)146,
31(1)179,
31(3)60,
31(4)66,
31(4)70
- justified,
28(1)155,
31(3)163
- longer,
24(1)255,
30(1)131,
30(1)145,
30(2)53,
31(3)163
- loop,
23(1)78,
23(2)24,
23(3)20,
24(1)92,
26(1)92,
26(1)141,
27(1)263,
27(1)268,
30(2)31,
30(3)69,
31(2)65,
31(3)167,
31(3)211
- middle,
25(2)57,
26(1)80,
27(1)340,
30(3)223
- Pascal,
22(1)94,
22(1)134,
22(2)38,
22(3)25,
22(4)60,
23(2)9,
23(2)33,
23(2)51,
23(3)31,
23(4)51,
24(1)15,
24(1)129,
24(3)57,
25(2)51,
25(3)45,
25(4)38,
26(1)51,
26(1)238,
26(1)404,
26(3)37,
27(1)168,
27(1)191,
27(1)340,
27(2)18,
27(3)7,
27(3)21,
28(1)78,
28(1)252,
28(1)261,
28(3)9,
28(4)25,
29(2)7,
29(4)62,
30(1)370,
31(1)271,
31(3)91,
31(3)198
- principle,
23(2)21,
23(3)11,
24(1)46,
24(1)76,
24(1)142,
24(1)207,
24(2)29,
24(2)35,
24(4)52,
26(1)26,
26(1)106,
26(4)17,
26(4)29,
26(4)59,
27(1)66,
27(1)126,
27(1)173,
27(1)307,
27(1)331,
27(1)340,
27(1)364,
27(2)49,
27(3)53,
27(4)9,
28(1)112,
28(1)117,
28(1)160,
28(1)190,
28(1)232,
28(1)242,
28(1)319,
28(1)353,
28(4)55,
29(1)1,
29(1)229,
29(1)360,
29(2)39,
29(3)27,
29(4)58,
30(1)68,
30(1)252,
30(1)322,
30(1)370,
30(3)105,
30(3)185,
30(3)239,
31(1)331,
31(1)367,
31(2)78,
31(2)86,
31(3)5,
31(3)139,
31(3)198,
31(4)32,
31(4)35
- procedure,
22(3)7,
24(1)28,
24(1)176,
25(1)122,
25(3)52,
26(1)263,
26(1)366,
27(2)18,
28(1)195,
28(1)242,
28(3)60,
29(1)189,
30(1)302,
30(1)383,
30(3)125,
31(2)17,
31(3)211
- recently,
22(2)15,
22(3)21,
23(3)31,
24(1)57,
24(1)147,
26(1)141,
26(1)193,
27(1)340,
28(1)93,
29(1)116,
29(2)23,
29(3)6,
30(1)277,
30(1)370,
30(3)102,
30(3)175,
31(1)95,
31(1)141,
31(1)336,
31(1)345,
31(2)69,
31(3)88,
31(3)151
- restricted,
24(2)59,
29(1)15,
29(1)145,
29(3)100,
31(1)247,
31(3)21
- return,
29(1)72,
29(1)315,
30(1)297
- simple,
22(2)55,
23(2)51,
23(4)51,
24(1)53,
24(1)147,
24(2)20,
24(3)35,
25(1)151,
25(2)51,
25(2)57,
26(1)21,
26(1)26,
26(1)169,
26(2)19,
26(4)9,
26(4)29,
27(1)61,
27(1)82,
27(1)163,
27(1)214,
27(1)233,
27(1)268,
27(1)340,
28(1)165,
28(1)300,
28(3)9,
28(3)45,
29(1)1,
29(1)77,
29(1)131,
29(1)189,
29(1)219,
29(1)267,
29(1)390,
29(2)17,
29(3)74,
29(4)54,
30(1)10,
30(1)166,
30(1)198,
30(1)262,
30(1)267,
30(1)297,
30(1)307,
30(1)345,
30(3)37,
30(3)46,
30(3)139,
30(3)275,
31(1)53,
31(1)68,
31(1)110,
31(1)271,
31(2)51,
31(2)65,
31(3)52,
31(3)139,
31(3)180,
31(4)121
- simplify,
27(1)102,
30(1)6,
31(1)53
- statement,
23(2)24,
26(1)92,
26(1)300,
27(1)76,
28(1)130,
28(1)348,
31(1)341,
31(3)17,
31(3)131,
31(4)42
- structured,
23(1)287,
23(3)31,
24(1)129,
24(1)173,
25(4)27,
26(1)164,
26(1)366,
27(1)116,
27(1)218,
27(1)253,
27(1)258,
27(1)268,
27(1)360,
27(2)18,
28(1)78,
28(z)116,
29(1)154,
29(1)267,
29(1)272,
30(1)302,
30(1)307,
30(1)383,
30(3)86,
30(3)219,
31(1)3,
31(3)155,
31(3)211
- taught,
22(1)216,
23(1)130,
23(4)23,
24(1)53,
24(1)81,
24(1)181,
24(1)246,
24(2)55,
24(3)24,
25(2)19,
25(4)13,
26(1)41,
26(1)51,
26(1)169,
26(1)329,
26(1)339,
26(2)31,
27(1)6,
27(1)39,
27(1)66,
27(1)149,
27(1)199,
27(1)268,
27(1)331,
27(4)9,
27(4)57,
27(4)60,
28(1)47,
28(1)78,
28(1)93,
28(1)378,
28(2)49,
28(4)3,
28(4)25,
29(1)35,
29(1)131,
29(1)315,
29(2)31,
29(3)21,
29(4)34,
29(4)38,
30(1)63,
30(1)117,
30(1)166,
30(1)198,
30(1)217,
30(1)322,
30(1)365,
30(2)61,
30(3)37,
30(3)105,
30(3)139,
31(1)114,
31(1)170,
31(1)252,
31(1)281,
31(1)336,
31(2)42,
31(2)81,
31(3)84,
31(3)103,
31(3)175,
31(3)211,
31(4)13,
31(4)39,
31(4)61,
31(4)79
- understand,
24(1)19,
24(1)181,
24(1)240,
24(3)51,
25(3)26,
25(4)9,
26(1)208,
26(2)5,
26(2)61,
27(1)14,
27(1)199,
27(1)278,
27(1)297,
27(1)345,
28(1)37,
28(1)348,
28(3)5,
29(1)248,
29(1)345,
29(1)390,
29(3)71,
29(3)80,
29(4)38,
30(1)25,
30(1)45,
30(1)102,
30(1)292,
30(1)336,
30(3)46,
30(3)148,
31(1)22,
31(1)27,
31(1)73,
31(1)78,
31(1)150,
31(2)51,
31(3)1,
31(3)44,
31(3)48,
31(4)106
- Until,
23(3)31,
31(1)346
- verification,
22(1)254,
23(1)119,
25(1)198,
25(4)13,
31(3)123
- verify,
29(1)77,
31(2)48
- violate,
31(2)48