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{Hoft:1991:IND,
author = "Hartmut H{\"o}ft",
title = "Implementation of a non-deterministic loop",
journal = j-SIGCSE,
volume = "23",
number = "2",
pages = "24--28",
month = jun,
year = "1991",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/122106.122111",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:16 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/mathematica.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
URL = "ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Math/maple-extract.bib",
abstract = "Dijkstra's calculus of guarded commands incorporates
nondeterminism into the branch and the loop statements.
I argue in this paper that the course CS8, Organization
of Programming Languages, is an appropriate place to
introduce this semantics for a language control
structure into the undergraduate curriculum. In section
IV I present a short implementation for the Dijkstra
do... od command as a function in Mathematica. The
paper concludes with the application of this function
to random walks.",
acknowledgement = ack-nhfb # "\slash " # ack-ble,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- appropriate,
22(2)59,
22(3)7,
23(2)60,
23(4)41,
24(2)59,
24(4)15,
25(4)21,
26(1)160,
26(4)25,
27(1)173,
27(1)312,
27(2)49,
27(4)21,
27(4)51,
28(2)40,
28(z)81,
29(2)11,
29(2)17,
29(3)144,
30(1)45,
30(1)112,
30(1)117,
30(1)126,
30(1)166,
30(1)194,
30(1)252,
30(1)297,
30(1)341,
30(1)365,
30(1)370,
30(4)5,
31(1)232,
31(2)65,
31(2)86,
31(3)48,
31(3)84,
31(4)87,
31(4)106
- argue,
22(2)2,
24(1)15,
26(1)238,
27(1)268,
27(4)9,
27(4)21,
28(1)83,
28(4)55,
29(1)77,
29(1)371,
30(1)153,
30(3)249,
31(1)127,
31(3)44
- branch,
26(4)45,
27(4)35,
28(3)9,
29(1)330,
30(3)264
- calculus,
27(1)228,
28(3)5,
29(1)126,
30(1)365
- command,
22(3)39,
29(1)126,
29(3)21,
30(1)267,
30(3)64
- conclude,
22(3)47,
22(4)37,
23(1)130,
24(1)299,
26(1)6,
26(1)111,
27(3)60,
28(1)130,
29(1)174,
29(3)42,
30(3)55,
30(3)98,
31(1)232,
31(1)271,
31(1)296,
31(3)163
- control,
22(1)89,
23(2)9,
23(4)23,
24(4)15,
25(2)29,
26(1)188,
26(1)198,
26(1)300,
26(1)304,
26(2)9,
26(2)41,
27(1)268,
28(4)59,
29(1)20,
29(1)189,
29(3)100,
29(3)130,
29(4)54,
30(1)73,
30(1)217,
30(1)317,
30(1)341,
30(1)370,
31(1)165,
31(2)51,
31(3)127,
31(3)211
- deterministic, non-,
29(1)258
- Dijkstra,
22(3)21,
27(1)141
- function,
23(2)9,
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(3)51,
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
- incorporate,
24(1)168,
24(2)2,
26(1)106,
26(1)198,
27(1)355,
27(3)60,
27(4)5,
29(1)10,
30(1)382,
30(3)134,
30(3)181,
31(1)22,
31(3)139,
31(3)155,
31(3)159
- introduce,
22(2)42,
22(3)25,
22(4)25,
23(1)324,
23(2)9,
24(1)202,
25(2)59,
25(4)5,
25(4)21,
26(1)102,
26(1)131,
26(1)213,
26(1)228,
26(1)290,
26(1)366,
26(4)56,
27(1)56,
27(1)141,
27(2)25,
27(3)15,
27(3)34,
28(1)78,
28(1)88,
28(1)217,
28(2)31,
28(3)12,
28(3)45,
29(1)258,
29(1)282,
29(1)330,
29(1)345,
29(2)39,
29(3)14,
29(3)27,
29(3)91,
30(1)68,
30(1)161,
30(1)194,
30(1)237,
30(1)317,
30(1)326,
30(1)365,
30(2)31,
30(3)5,
30(3)25,
30(3)81,
30(3)213,
30(4)42,
31(1)110,
31(1)141,
31(1)247,
31(2)86,
31(3)64,
31(3)167,
31(3)182,
31(3)186,
31(3)189
- loop,
23(1)78,
23(3)20,
24(1)92,
26(1)92,
26(1)141,
27(1)263,
27(1)268,
28(3)51,
30(2)31,
30(3)69,
31(2)65,
31(3)167,
31(3)211
- Mathematica,
25(1)78,
27(1)350,
27(1)355
- non-deterministic,
29(1)258
- organization,
22(1)197,
22(2)55,
22(2)59,
23(1)341,
23(1)347,
23(3)17,
24(3)57,
25(1)78,
26(1)16,
26(1)178,
26(1)253,
26(1)258,
27(1)19,
27(1)44,
27(1)141,
27(1)273,
28(1)53,
28(1)145,
28(3)2,
28(4)59,
28(z)233,
29(1)116,
29(1)360,
29(1)390,
29(2)2,
29(3)42,
29(3)51,
29(3)54,
30(1)1,
30(4)5,
31(1)27,
31(1)73,
31(1)122,
31(2)28,
31(2)73,
31(3)177,
31(3)200
- place,
22(3)7,
22(4)29,
23(4)51,
24(1)235,
25(2)31,
26(1)36,
26(1)319,
26(1)364,
27(1)24,
27(1)186,
27(1)204,
27(3)60,
28(1)37,
28(1)190,
28(4)55,
29(2)7,
29(3)51,
29(4)34,
30(1)212,
30(1)232,
30(1)365,
30(3)18,
31(1)208,
31(1)281,
31(3)56,
31(3)60,
31(3)123,
31(3)192,
31(3)206,
31(4)79
- random,
24(1)142,
26(1)145,
26(1)203,
27(1)131,
27(2)18,
28(3)29,
29(2)46
- section,
22(2)30,
24(1)87,
24(1)176,
24(3)1,
24(4)1,
24(4)43,
26(1)188,
27(1)48,
28(1)165,
28(1)195,
28(4)15,
29(1)209,
29(1)214,
29(1)262,
30(1)87,
30(1)97,
31(1)286,
31(2)31,
31(2)65,
31(3)127,
31(3)135
- semantic,
23(1)162,
23(1)169,
23(1)178,
23(3)11,
24(1)207,
26(1)300,
26(4)29,
27(1)102,
27(1)228,
27(1)307,
29(1)253,
31(1)331,
31(3)155
- short,
25(3)26,
26(3)17,
28(1)102,
28(1)348,
28(4)15,
29(1)306,
29(1)330,
29(4)57,
30(1)145,
30(3)5,
31(1)321
- statement,
26(1)92,
26(1)300,
27(1)76,
28(1)130,
28(1)348,
28(3)51,
31(1)341,
31(3)17,
31(3)131,
31(4)42