Entry McDonald:1989:DSC from compj1980.bib
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{McDonald:1989:DSC,
author = "C. S. McDonald and L. Allison",
title = "Denotational Semantics of a Command Interpreter and
their Implementation in {Standard ML}",
journal = j-COMP-J,
volume = "32",
number = "5",
pages = "422--431",
month = oct,
year = "1989",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/32.5.422",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:27 MST 2012",
bibsource = "http://comjnl.oxfordjournals.org/content/32/5.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/;
Misc/Functional.bib",
URL = "http://comjnl.oxfordjournals.org/content/32/5/422.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/422.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/423.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/424.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/425.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/426.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/427.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/428.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/429.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/430.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/431.tif",
abstract = "This paper defines a significant subset of the
standard UNIX command interpreter, or Shell, in terms
of its denotational semantics. A complete
implementation of this shell in Standard ML is
described.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Western Australia Univ.,
Nedlands, WA, Australia",
classcodes = "C6150J (Operating systems); C6150C (Compilers,
interpreters and other processors); C6110B (Software
engineering techniques)",
classification = "C6110B (Software engineering techniques); C6150C
(Compilers, interpreters and other processors); C6150J
(Operating systems)",
corpsource = "Dept. of Comput. Sci., Western Australia Univ.,
Nedlands, WA, Australia",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "Backus-Naur Form; Command interpreter; command
interpreter; definitions; Denotational semantics;
denotational semantics; English; formal specification;
program interpreters; Programming languages;
programming languages; semantic; Semantic definitions;
SML functional UNIX Bourne shell; Standard ML; Standard
UNIX command interpreter; standard UNIX command
interpreter; Standardization; standardization;
Syntaxes; syntaxes; Unix",
thesaurus = "Formal specification; Program interpreters; Unix",
treatment = "P Practical",
}
Related entries
- Allison, L.,
31(1)9
- C6110B,
31(6)510,
32(4)297,
32(4)312,
32(5)399,
32(5)413,
32(5)432
- C6150C,
31(6)517,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)276,
32(5)445
- C6150J,
31(6)565,
32(1)21,
32(1)24,
32(1)45,
32(2)162
- command,
24(1)17,
24(1)62,
24(1)78,
31(1)9
- compiler,
23(2)115,
23(2)147,
23(3)211,
23(3)212,
23(3)223,
23(3)273,
24(2)107,
25(1)17,
25(3)331,
26(1)15,
26(2)142,
26(2)164,
27(3)233,
27(4)348,
28(1)9,
28(2)128,
28(3)257,
29(2)151,
29(3)253,
30(2)183,
30(4)328,
30(6)519,
31(6)517,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)276,
32(5)445
- complete,
24(2)143,
25(2)227,
27(2)184,
31(4)289,
32(3)220
- definition,
24(2)143,
25(1)140,
25(4)410,
26(1)52,
26(2)124,
26(3)228,
26(4)312,
26(4)329,
27(2)121,
28(2)97,
30(1)16,
30(4)337
- denotational,
26(2)164,
28(5)480,
29(5)404,
31(1)9,
32(4)290
- described,
23(2)142,
25(4)471,
30(3)214,
32(1)45,
32(2)152,
32(5)461
- engineering, 23-3-200a-200,
23(4)324,
24(3)235,
25(2)253,
26(1)1,
26(1)79,
27(1)37,
27(2)97,
27(2)179,
27(4)340,
28(3)195,
28(5)498,
29(1)20,
29(1)83,
29(1)90,
29(2)97,
29(2)161,
29(3)229,
29(3)241,
29(3)246,
29(4)300,
29(4)330,
29(5)385,
29(5)475,
29(6)527,
29(6)545,
30(2)128,
30(3)233,
30(3)254,
30(4)316,
30(4)337,
30(5)469,
30(5)475,
30(6)481,
31(3)193,
31(3)248,
31(5)391,
31(5)420,
31(5)431,
31(5)445,
31(6)510,
31(6)525,
32(4)297,
32(4)312,
32(4)323,
32(5)399,
32(5)413,
32(5)432,
32(5)453
- English,
24(1)62,
29(3)277
- form,
23(4)324,
25(4)471,
26(1)52,
26(3)235,
26(4)312,
26(4)366,
26(4)375,
27(3)225,
28(2)117,
29(3)201,
30(1)43,
30(5)437,
31(3)258,
32(3)241,
32(6)549
- 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,
30(6)507,
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)432,
32(5)445
- implementation,
23(3)212,
23(3)233,
24(1)71,
24(2)191,
24(4)384-2,
25(1)74,
25(3)307,
25(3)399,
25(4)471,
26(2)134,
26(2)164,
26(2)187,
26(3)235,
27(2)127,
27(3)260,
28(1)22,
28(2)97,
28(2)128,
28(4)391,
29(2)97,
29(3)201,
29(3)269,
29(6)500,
30(2)97,
30(2)157,
30(3)282,
30(3)282-1,
30(5)393,
30(5)420,
31(1)56,
31(2)116,
31(2)125,
31(2)147,
31(4)330,
31(5)398,
31(6)531,
31(6)545,
32(1)93,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)267,
32(4)312
- interpreter,
23(3)223,
26(2)164,
30(1)37,
30(1)43,
30(6)519,
31(2)110,
31(6)517,
31(6)525,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)108,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)276,
32(5)445
- ML,
32(2)127
- other,
31(3)243,
31(6)496,
31(6)517,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)262,
32(3)276,
32(5)445
- paper,
23(1)33,
24(1)95,
25(4)471,
26(2)109,
26(3)235,
27(3)288-2,
27(4)368-1,
28(1)1,
28(2)104-2,
28(4)446-1,
29(3)201,
29(3)277,
29(4)289,
29(5)477-1,
31(5)457,
31(6)496,
32(2)98,
32(2)142,
32(2)152,
32(2)175
- processor,
23(2)147,
24(1)14,
24(1)62,
25(1)22,
25(4)423,
27(4)348,
28(1)29,
28(1)34,
28(2)148,
28(3)243,
28(4)357,
29(1)12,
29(4)289,
29(5)390,
29(6)486,
30(2)119,
30(3)214,
30(5)386,
30(5)393,
30(5)404,
30(5)413,
30(5)420,
30(5)433,
30(5)437,
31(1)12,
31(6)517,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)194,
32(3)276,
32(5)437,
32(5)445,
32(6)571
- semantic,
23(2)132,
23(3)212,
23(4)317,
24(1)56,
24(2)125,
25(1)63,
25(2)264,
25(3)331,
26(2)124,
26(2)164,
26(3)228,
27(1)83,
27(3)233,
28(2)112,
28(2)162,
28(3)250,
28(4)357,
28(5)480,
29(1)33,
29(2)151,
29(3)241,
29(5)404,
30(2)128,
30(3)239,
30(4)328,
30(6)498,
31(1)9,
31(2)141,
31(3)193,
32(1)90,
32(2)108,
32(2)152,
32(4)290
- shell,
29(3)235,
30(2)110
- significant,
30(5)437
- specification,
23(1)61,
23(3)230,
25(1)34,
25(1)63,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(1)59,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
28(4)357,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)223,
30(3)239,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)229,
31(3)269,
31(4)313,
31(5)426,
31(6)510,
32(1)1,
32(5)399,
32(5)413,
32(5)432,
32(6)541
- standard,
23(1)53,
23(2)152-1,
24(3)256,
24(4)295,
25(1)121,
25(4)410,
26(1)60,
29(3)193,
29(4)340,
29(6)495,
30(4)316,
32(1)13,
32(3)273,
32(6)505
- subset,
23(4)344,
25(1)2
- syntax,
23(3)212,
24(1)56,
24(2)125,
26(1)15,
26(2)142,
28(1)29,
28(1)34,
28(3)250,
31(2)125,
32(1)90
- term,
26(3)239,
29(2)171,
32(2)122,
32(3)212
- UNIX,
25(2)272,
30(2)157,
32(1)21
- Unix,
29(6)527,
30(2)157,
32(1)21