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{Arnow:1994:TPL,
author = "David Arnow",
title = "Teaching programming to liberal arts students: using
loop invariants",
journal = j-SIGCSE,
volume = "26",
number = "1",
pages = "141--144",
month = mar,
year = "1994",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/191033.191087",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:24 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "Loop invariants have long been present in advanced
undergraduate and graduate courses on programming
methodology or program correctness. Recently there has
been an increased interest in using loop invariants in
teaching more elementary courses. In this paper, its
successful use in teaching elementary programming in a
computer literacy course for non-majors is described.
The techniques described here, that are necessary in
order to work successfully with this population, are
also applicable to the teaching of programming to
computer science majors.",
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
- advanced,
22(1)162,
22(1)266,
22(3)39,
24(1)107,
24(1)134,
24(1)309,
24(3)14,
25(1)228,
25(1)247,
26(1)102,
26(1)362,
26(1)371,
26(2)2,
27(1)48,
27(1)191,
27(1)374,
27(4)60,
28(1)93,
28(1)107,
28(1)145,
28(1)204,
28(1)210,
28(4)55,
28(z)231,
29(1)233,
29(1)390,
29(2)7,
29(4)62,
30(1)25,
30(1)97,
30(1)202,
30(1)372,
31(1)165,
31(1)358,
31(3)84,
31(3)103,
31(3)107,
31(3)179,
31(3)194,
31(4)61,
31(4)66,
31(4)79
- applicable,
22(3)7,
23(4)7,
25(2)29,
26(1)16,
26(4)41,
27(1)199,
30(1)365,
30(1)366
- Arnow, David,
23(1)78,
26(1)374,
31(3)21
- art,
22(1)100,
23(1)78,
24(1)153,
24(2)59,
26(1)276,
26(1)334,
26(1)374,
26(1)407,
26(4)29,
27(1)378,
28(1)368,
29(1)150,
30(1)25,
30(2)53,
30(2)57,
31(2)37,
31(4)70
- correctness,
22(3)21,
26(1)71,
26(1)208,
27(1)307,
27(3)53,
29(1)258,
30(1)166,
31(2)48,
31(3)13
- described,
22(3)34,
22(3)39,
22(4)5,
22(4)49,
23(2)51,
23(4)37,
24(1)53,
24(1)113,
24(1)138,
24(1)235,
24(1)268,
24(2)7,
24(2)20,
24(3)24,
24(3)29,
24(4)43,
24(4)49,
26(1)218,
26(4)2,
26(4)29,
26(4)51,
27(1)19,
27(1)71,
28(1)237,
28(1)353,
28(2)49,
28(3)60,
29(1)44,
29(1)67,
29(1)121,
29(1)135,
29(1)277,
29(1)340,
29(3)114,
29(3)120,
30(1)87,
30(1)171,
30(1)190,
30(1)247,
30(1)322,
30(1)341,
30(1)345,
30(3)18,
30(3)25,
30(3)32,
30(3)125,
30(3)166,
30(3)239,
30(3)295,
31(1)83,
31(1)160,
31(1)184,
31(1)286,
31(2)48,
31(3)5,
31(3)29,
31(3)123,
31(3)151,
31(3)187,
31(4)13,
31(4)52
- elementary,
24(3)14,
26(1)92,
26(2)2,
26(4)56,
27(1)350,
29(1)1,
29(1)131,
29(1)233,
29(3)120,
30(1)202,
30(1)317,
31(3)201
- graduate,
22(2)15,
22(3)25,
22(3)47,
22(4)5,
22(4)49,
23(2)39,
24(1)87,
24(1)134,
24(1)163,
24(1)207,
24(1)309,
24(2)59,
24(3)1,
24(3)24,
24(4)15,
25(1)251,
26(1)6,
26(3)56,
26(3)58,
26(4)5,
26(4)9,
27(1)126,
27(1)146,
27(4)60,
28(1)93,
28(1)102,
28(1)237,
28(1)373,
28(4)33,
28(4)59,
29(1)145,
29(1)174,
29(1)320,
29(1)355,
29(1)371,
29(2)11,
29(2)39,
29(3)6,
29(3)8,
30(1)25,
30(1)82,
30(1)366,
30(1)378,
30(2)15,
30(3)90,
30(3)264,
30(3)311,
31(1)73,
31(1)119,
31(1)165,
31(1)346,
31(1)351,
31(1)352,
31(2)31,
31(2)69,
31(2)73,
31(3)115,
31(3)205,
31(4)4,
31(4)19,
31(4)56,
31(4)106
- here,
22(2)55,
23(4)41,
24(1)53,
24(1)63,
24(2)20,
24(4)1,
25(1)297,
26(1)41,
26(1)97,
26(3)29,
27(1)19,
27(2)25,
28(1)358,
28(3)29,
28(4)55,
29(3)117,
30(1)145,
30(1)176,
30(1)202,
30(1)247,
30(1)277,
30(1)341,
30(3)18,
30(3)25,
30(3)166,
31(1)58,
31(1)105,
31(2)48,
31(3)194
- increased,
23(2)51,
26(1)164,
26(4)5,
27(1)116,
27(1)173,
27(1)253,
29(1)150,
29(1)258
- interest,
23(2)39,
24(1)63,
24(1)81,
24(1)129,
25(4)9,
25(4)21,
26(1)92,
26(2)52,
27(1)173,
27(1)287,
27(1)360,
27(3)53,
28(3)45,
28(4)45,
29(1)301,
29(1)384,
29(2)23,
29(3)31,
29(3)57,
30(1)15,
30(1)58,
30(1)153,
30(1)176,
30(1)262,
30(1)317,
30(1)378,
30(2)20,
30(3)213,
31(1)346,
31(2)17,
31(2)31,
31(3)119,
31(3)187
- invariant,
23(1)112,
24(1)92,
27(1)263,
30(2)31
- liberal,
22(1)100,
23(1)78,
24(2)59,
26(1)276,
26(1)374,
26(1)407,
26(4)29,
27(1)378,
29(1)150,
30(1)25,
30(2)53,
30(2)57,
31(2)37
- literacy,
23(1)78,
26(1)97,
26(1)102,
26(1)131,
28(2)49,
29(1)10,
29(1)96,
29(1)150,
29(2)2,
30(1)58,
30(1)68,
30(1)176
- long,
24(1)92,
24(1)240,
25(4)41,
26(1)51,
26(1)183,
28(1)102,
29(1)101,
29(1)219,
29(1)229,
29(1)384,
30(1)145,
30(1)190,
30(1)222,
30(1)341,
30(3)236,
31(1)247,
31(3)147
- loop,
23(1)78,
23(2)24,
23(3)20,
24(1)92,
26(1)92,
27(1)263,
27(1)268,
28(3)51,
30(2)31,
30(3)69,
31(2)65,
31(3)167,
31(3)211
- majors, non-,
25(1)141,
26(1)334,
27(1)199,
27(1)388,
27(1)394,
29(1)150,
29(1)154,
29(2)2,
30(1)63,
30(1)262
- methodology,
22(3)47,
24(1)5,
25(2)59,
25(3)58,
25(4)21,
26(1)1,
26(1)281,
26(1)319,
26(3)22,
27(1)71,
27(1)209,
27(1)253,
27(1)292,
27(1)307,
27(3)47,
27(3)50,
28(1)47,
28(1)78,
28(1)160,
28(1)195,
28(1)295,
29(1)350,
29(2)11,
29(2)35,
29(3)100,
30(1)6,
30(1)341,
30(1)345,
30(3)94,
30(3)98,
30(3)171,
31(1)78,
31(1)132,
31(2)42,
31(3)29,
31(3)44,
31(3)88,
31(3)201,
31(4)35,
31(4)48,
31(4)61,
31(4)70
- necessary,
23(2)51,
24(1)63,
24(1)207,
24(3)51,
26(1)150,
26(1)349,
26(3)22,
28(1)37,
29(1)1,
29(1)145,
29(1)301,
29(2)11,
30(3)206,
30(3)243,
30(3)310,
30(4)46,
30(4)55,
31(1)87,
31(1)95,
31(1)321,
31(2)8,
31(3)17,
31(3)68,
31(3)203,
31(4)66
- non-majors,
25(1)141,
26(1)334,
27(1)199,
27(1)388,
27(1)394,
29(1)150,
29(1)154,
29(2)2,
30(1)63,
30(1)262
- order,
22(2)52,
22(3)34,
24(1)72,
24(1)76,
24(1)163,
24(1)176,
24(1)286,
24(2)2,
24(3)14,
24(3)29,
25(3)26,
25(4)33,
25(4)41,
26(1)16,
26(1)92,
26(1)319,
26(2)61,
27(1)287,
27(1)340,
27(2)2,
27(4)9,
27(4)51,
28(1)37,
28(1)160,
28(1)175,
28(1)195,
28(1)290,
28(2)40,
28(3)55,
28(4)36,
29(1)58,
29(1)72,
29(1)77,
29(2)17,
29(3)51,
30(1)140,
30(3)102,
30(3)175,
30(3)189,
30(4)5,
31(1)87,
31(2)62,
31(2)78,
31(2)84,
31(2)86,
31(3)99,
31(3)163,
31(3)199,
31(4)79
- population,
23(2)39,
26(1)6,
26(1)203,
27(1)48,
28(1)88,
29(1)233,
30(1)176,
30(3)51,
30(4)61,
31(1)12,
31(2)42
- recently,
22(2)15,
22(3)21,
23(3)31,
24(1)57,
24(1)147,
26(1)193,
27(1)340,
28(1)93,
28(3)51,
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
- successful,
22(2)15,
23(4)13,
24(1)147,
24(1)176,
24(1)207,
25(1)299,
25(2)51,
26(1)16,
26(3)22,
26(4)17,
27(1)116,
27(4)5,
27(4)9,
28(1)204,
28(1)319,
28(1)378,
28(3)55,
28(4)45,
29(1)1,
29(1)179,
29(1)209,
29(3)40,
29(3)91,
29(3)117,
30(1)25,
30(1)153,
30(1)302,
30(3)243,
31(1)370,
31(2)37,
31(3)9
- successfully,
22(2)30,
23(2)33,
24(1)138,
24(1)207,
24(2)55,
24(4)52,
25(4)38,
26(1)169,
26(1)290,
27(1)102,
27(1)186,
27(1)331,
27(3)47,
28(1)19,
28(1)53,
29(1)6,
29(1)20,
30(1)30,
30(1)92,
30(1)317,
30(3)243,
31(1)43,
31(1)132,
31(1)189,
31(1)252,
31(3)13,
31(3)21,
31(3)206
- there,
22(2)2,
22(3)7,
22(4)49,
23(3)2,
23(4)13,
24(1)173,
24(1)286,
24(2)59,
24(3)1,
24(3)14,
24(3)51,
24(3)57,
25(3)58,
26(1)6,
26(1)56,
26(1)102,
26(1)258,
26(1)300,
26(4)5,
26(4)25,
27(1)204,
27(1)253,
27(2)41,
27(3)50,
28(1)73,
28(1)83,
28(1)195,
28(1)204,
28(1)266,
28(1)338,
28(1)378,
28(2)25,
28(2)31,
28(3)12,
29(1)30,
29(1)63,
29(1)248,
29(1)277,
29(1)355,
29(2)54,
29(3)77,
29(3)114,
30(1)20,
30(1)40,
30(1)82,
30(1)97,
30(1)145,
30(1)190,
30(1)222,
30(1)341,
30(1)382,
30(3)213,
30(3)228,
30(3)236,
30(3)249,
30(3)275,
30(3)310,
31(1)31,
31(1)122,
31(1)179,
31(1)291,
31(2)17,
31(2)60,
31(2)73,
31(3)60,
31(3)123,
31(3)143,
31(3)147,
31(4)13,
31(4)35,
31(4)48