Entry McLoughlin:1996:TFP from sigcse1990.bib
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{McLoughlin:1996:TFP,
author = "Henry McLoughlin and Kevin Hely",
title = "Teaching formal programming to first year computer
science students",
journal = j-SIGCSE,
volume = "28",
number = "1",
pages = "155--159",
month = mar,
year = "1996",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/236462.236530",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:32 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "The integration of formal methods into the
undergraduate curriculum has been slow considering the
benefits they offer. One reason for this is that the
limited number of relevant textbooks, although
excellent, are rather terse. As a result, we have
developed various techniques for teaching formal
programming in which each step is fully justified by
appealing to a design rule or heuristic. Another
technique we have developed is 'programming by rule'
using generic templates to solve problems of similar
structure---rather like differentiation by rule. Our
experience to date has been encouraging. We outline
some of these techniques and give examples of them in
practice.",
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
- although,
24(1)197,
24(1)309,
25(2)19,
25(4)33,
26(1)169,
26(1)253,
26(4)51,
27(1)39,
27(1)307,
27(1)322,
28(1)73,
28(1)348,
28(1)378,
29(1)20,
29(1)72,
29(1)126,
29(1)150,
29(1)306,
29(2)17,
30(1)82,
30(1)153,
30(1)198,
30(1)277,
30(1)370,
30(2)36,
31(1)27,
31(2)65,
31(3)52,
31(4)42,
31(4)48
- another,
23(2)45,
24(2)59,
24(4)11,
26(1)349,
26(2)2,
27(1)278,
27(1)322,
27(4)27,
28(1)150,
29(1)92,
29(1)126,
30(1)312,
30(1)382,
30(3)153,
31(1)12,
31(1)22,
31(1)232,
31(1)301,
31(1)336,
31(2)37,
31(4)13,
31(4)39
- appealing,
29(1)101,
31(2)65
- benefit,
24(1)72,
24(1)129,
24(1)173,
24(1)246,
24(4)52,
25(1)160,
26(1)41,
27(1)6,
27(1)44,
27(4)5,
28(1)232,
28(1)310,
28(1)333,
28(3)2,
28(4)3,
29(1)20,
29(1)243,
29(1)306,
29(2)17,
29(3)40,
29(3)54,
29(3)130,
30(1)73,
30(1)161,
30(1)198,
30(1)227,
30(1)292,
30(1)297,
30(3)81,
30(3)122,
30(3)257,
31(1)141,
31(1)184,
31(1)227,
31(1)281,
31(1)346,
31(2)78,
31(2)81,
31(3)119,
31(4)56,
31(4)121
- considering,
24(1)57,
28(1)78,
28(3)45,
30(3)55,
30(3)257,
31(3)182
- date,
24(1)57,
26(1)51,
27(1)44,
29(3)100,
30(1)153,
31(3)205
- each,
22(2)30,
24(1)57,
24(1)72,
24(1)163,
24(1)197,
24(3)60,
24(4)7,
25(2)31,
25(2)57,
26(1)21,
26(1)111,
26(1)145,
26(1)169,
26(1)203,
26(1)208,
26(1)314,
26(1)349,
26(2)52,
26(2)61,
26(3)22,
26(3)37,
26(4)5,
27(1)24,
27(1)163,
27(1)186,
27(1)218,
27(1)340,
27(1)355,
28(1)112,
28(1)310,
28(1)333,
28(3)60,
28(4)3,
28(4)15,
29(1)82,
29(1)121,
29(1)145,
29(1)189,
29(1)253,
29(1)262,
29(1)272,
29(1)310,
29(1)340,
29(3)1,
29(3)6,
29(3)85,
30(1)185,
30(1)272,
30(1)277,
30(1)287,
30(1)365,
30(1)370,
30(1)378,
30(3)108,
30(3)153,
30(3)209,
30(4)32,
30(4)46,
31(1)174,
31(1)189,
31(1)346,
31(2)17,
31(2)48,
31(2)65,
31(2)73,
31(3)147,
31(3)180,
31(3)193,
31(3)200,
31(4)106,
31(4)121
- encouraging,
24(1)53,
26(1)145,
26(1)169,
27(4)5,
28(2)15,
29(1)335,
29(3)40,
30(1)368,
31(1)78,
31(3)155
- excellent,
24(4)27,
27(1)191,
27(3)34,
28(1)160,
28(1)180,
28(2)31,
30(1)194,
30(1)272,
31(3)127
- formal,
22(4)37,
23(1)162,
23(3)11,
23(4)41,
24(1)15,
24(1)102,
24(1)207,
26(1)21,
26(1)71,
26(1)121,
26(1)145,
26(1)300,
27(1)141,
27(1)214,
27(1)228,
27(1)248,
27(1)302,
27(1)307,
27(1)312,
27(1)398,
27(3)53,
27(3)60,
28(1)150,
28(1)160,
28(1)266,
28(1)271,
29(1)15,
29(1)67,
29(1)92,
29(1)126,
29(1)253,
29(1)396,
30(1)6,
30(1)166,
30(1)341,
30(1)350,
30(2)31,
30(4)5,
31(1)100,
31(1)331,
31(1)341,
31(1)350,
31(1)351,
31(1)370,
31(2)37,
31(3)52
- fully,
24(1)176,
25(3)39,
26(3)56,
27(1)163,
27(1)345,
28(1)83,
28(4)55,
29(4)38,
30(1)97,
30(1)202,
30(1)232,
30(3)55,
31(1)63,
31(1)247
- generic,
26(2)61,
27(1)273,
29(3)65,
30(3)274,
31(1)174
- give,
22(3)34,
23(2)9,
23(3)2,
24(1)259,
24(2)59,
24(4)35,
25(2)31,
26(1)83,
26(1)203,
26(1)228,
26(2)36,
26(4)17,
27(1)159,
27(1)228,
27(4)5,
27(4)21,
28(2)49,
29(1)96,
29(1)101,
29(1)150,
29(1)204,
29(1)272,
29(2)23,
29(3)57,
29(3)74,
29(3)103,
29(3)136,
30(1)40,
30(1)117,
30(1)212,
30(1)287,
30(3)162,
30(3)166,
30(4)32,
31(1)227,
31(1)237,
31(1)341,
31(2)60,
31(2)73,
31(3)44,
31(3)135,
31(3)151,
31(4)4,
31(4)66
- heuristic,
24(3)53,
25(4)18,
27(1)263,
28(2)25,
29(2)17,
31(1)100
- integration,
23(3)11,
24(1)281,
24(4)35,
25(1)78,
25(2)29,
26(1)6,
26(1)76,
26(1)198,
27(1)126,
27(1)186,
27(1)209,
27(1)312,
27(1)364,
28(1)237,
29(1)360,
29(3)21,
29(3)51,
29(3)65,
30(1)121,
30(1)365,
30(3)153,
30(3)311,
31(1)37,
31(1)160,
31(1)296,
31(1)345,
31(4)10,
31(4)13,
31(4)79,
31(4)121
- justified,
28(3)51,
31(3)163
- like,
22(1)139,
23(2)45,
25(4)33,
27(1)6,
27(1)76,
27(1)82,
27(1)340,
28(1)47,
28(1)145,
28(1)300,
28(3)5,
29(1)150,
29(1)390,
30(1)15,
30(1)30,
30(1)35,
30(1)252,
30(3)69,
31(2)65,
31(3)189,
31(3)198,
31(3)203,
31(4)13
- limited,
23(1)97,
24(1)46,
26(1)183,
26(4)17,
27(1)204,
28(1)214,
29(1)126,
29(3)59,
30(1)97,
30(1)345,
30(3)148,
30(4)32,
30(4)46,
31(1)12
- number,
22(2)52,
22(2)59,
22(4)5,
23(1)130,
23(3)2,
23(3)5,
23(3)17,
23(3)20,
23(4)51,
24(1)63,
24(1)142,
24(1)163,
24(1)207,
24(2)55,
24(3)11,
24(3)14,
24(4)27,
25(2)19,
25(4)2,
25(4)41,
26(1)164,
26(1)203,
26(1)238,
26(2)52,
26(3)56,
27(1)292,
27(1)340,
28(1)37,
28(1)107,
28(1)214,
28(3)9,
29(1)10,
29(1)58,
29(1)72,
29(1)116,
29(1)126,
29(1)131,
29(1)145,
29(1)219,
29(1)253,
29(3)114,
30(1)82,
30(1)190,
30(1)350,
30(1)370,
30(1)382,
30(2)36,
30(2)64,
30(3)51,
30(3)59,
30(3)69,
30(3)134,
30(3)153,
30(3)157,
30(3)171,
30(4)39,
31(1)37,
31(1)78,
31(1)170,
31(2)28,
31(2)60,
31(3)119,
31(3)175,
31(3)180,
31(4)79
- offer,
22(4)55,
23(2)29,
24(1)107,
24(1)138,
24(3)11,
24(4)43,
26(1)41,
26(1)160,
26(2)19,
26(4)51,
27(3)50,
27(4)13,
28(1)175,
28(1)310,
28(2)37,
29(1)96,
29(1)145,
29(1)335,
29(2)31,
29(3)45,
30(1)1,
30(1)73,
30(1)82,
30(1)117,
30(1)252,
30(1)317,
30(1)341,
30(1)365,
30(3)64,
30(3)81,
30(3)213,
30(4)61,
31(1)95,
31(1)203,
31(3)196,
31(4)79
- outline,
23(3)7,
24(4)35,
25(1)78,
25(4)33,
26(1)6,
26(1)150,
27(1)173,
28(1)195,
28(1)217,
28(1)368,
28(3)37,
28(3)45,
28(4)25,
29(1)96,
29(1)140,
29(1)287,
29(1)371,
30(1)140,
30(1)252,
30(3)28,
30(3)55,
30(3)117,
30(3)122,
30(3)209,
30(3)213,
31(1)261,
31(1)350,
31(1)351,
31(3)205
- practice,
22(4)5,
22(4)29,
22(4)37,
23(1)130,
23(2)21,
24(1)81,
24(1)246,
24(4)11,
24(4)35,
25(1)256,
26(1)66,
26(1)102,
26(1)169,
26(1)290,
26(1)314,
26(1)366,
26(2)19,
27(1)146,
27(1)248,
27(1)253,
27(4)21,
28(1)93,
28(1)112,
28(1)195,
28(1)368,
28(2)49,
28(3)2,
28(z)167,
29(1)282,
29(1)390,
29(2)11,
29(3)21,
29(4)42,
29(4)51,
30(1)131,
30(3)25,
30(3)86,
30(3)98,
30(3)122,
31(1)43,
31(1)68,
31(1)87,
31(1)119,
31(1)252,
31(1)346,
31(2)73,
31(3)5,
31(3)52,
31(3)198,
31(3)202,
31(4)70
- rather,
22(4)37,
23(2)29,
23(2)51,
23(3)2,
24(1)220,
24(3)1,
25(2)31,
26(1)150,
26(1)169,
27(1)82,
27(1)199,
28(1)256,
28(2)37,
29(1)44,
29(3)91,
30(1)145,
30(1)257,
30(1)302,
30(1)341,
30(1)345,
30(1)383,
30(3)14,
30(3)81,
30(3)108,
30(3)125,
30(3)239,
31(1)276,
31(4)39
- reason,
23(2)39,
24(1)63,
24(1)92,
24(1)107,
24(2)29,
24(4)35,
25(3)26,
26(1)51,
26(1)286,
26(4)17,
27(1)146,
27(1)360,
27(4)57,
28(1)37,
28(1)102,
28(2)3,
28(2)25,
29(1)77,
29(1)131,
29(1)248,
29(1)384,
29(4)58,
30(1)6,
30(3)108,
30(3)162,
30(3)228,
31(1)247,
31(1)346
- relevant,
27(1)199,
27(1)214,
28(1)93,
29(1)135,
29(2)28,
29(4)45,
30(1)45,
30(1)117,
30(1)145,
30(1)312,
30(1)378,
30(3)125,
30(3)139,
30(3)264,
31(1)242,
31(2)18
- rule,
23(1)184,
23(1)283,
24(4)27,
26(1)300,
27(1)102,
27(1)340,
28(1)368,
30(3)148,
31(3)36
- similar,
24(1)57,
24(1)246,
24(3)45,
25(1)78,
25(2)51,
25(3)52,
25(4)2,
26(1)97,
26(1)300,
26(4)59,
27(1)186,
28(1)102,
28(2)49,
28(4)3,
29(1)72,
29(1)111,
29(1)229,
29(3)11,
30(1)181,
30(1)277,
30(2)48,
31(2)55,
31(2)71,
31(3)119,
31(4)4,
31(4)39,
31(4)56
- slow,
24(2)29,
24(3)11,
26(1)218
- solve,
22(3)21,
23(3)2,
24(3)51,
25(2)59,
25(4)33,
26(2)61,
26(3)8,
26(4)59,
27(2)44,
27(4)27,
28(1)368,
29(1)238,
29(1)248,
29(3)27,
29(3)74,
30(1)45,
30(1)63,
30(1)135,
30(1)194,
30(1)277,
30(1)312,
30(1)370,
31(3)99,
31(4)70
- step,
24(1)92,
24(4)52,
25(2)51,
26(1)131,
26(1)203,
26(1)208,
29(1)253,
30(1)185,
30(1)190,
30(1)341,
30(1)378,
30(3)117,
30(4)13,
31(2)84,
31(3)131,
31(3)187
- template,
26(1)198,
28(1)256,
29(1)35,
31(1)174,
31(4)79
- textbook,
23(2)55,
24(1)142,
24(1)213,
24(2)15,
24(3)45,
24(3)51,
26(1)131,
26(1)198,
26(1)213,
26(1)218,
26(1)281,
27(1)56,
28(3)17,
29(1)96,
29(1)238,
29(2)7,
31(1)146,
31(1)237,
31(1)286,
31(1)321,
31(2)28,
31(2)78,
31(4)50
- various,
22(4)29,
23(2)29,
24(1)207,
24(1)299,
24(4)7,
24(4)49,
25(4)9,
26(1)80,
26(1)111,
26(1)160,
26(1)344,
26(1)387,
26(2)2,
26(4)29,
27(1)66,
27(1)71,
27(1)159,
27(1)233,
27(2)25,
28(1)14,
28(1)256,
28(1)280,
29(1)194,
29(1)209,
29(1)272,
29(1)301,
29(1)360,
29(1)384,
29(3)100,
29(3)111,
30(1)6,
30(1)15,
30(1)45,
30(1)48,
30(1)117,
30(1)145,
30(1)227,
30(1)302,
30(3)125,
30(3)223,
30(4)42,
31(1)53,
31(1)95,
31(1)100,
31(1)286,
31(1)346,
31(2)69,
31(3)29,
31(4)106