Entry Slonneger:1995:ESM 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{Slonneger:1995:ESM,
author = "Ken Slonneger",
title = "Executing an {SECD} machine using logic programming",
journal = j-SIGCSE,
volume = "27",
number = "1",
pages = "228--232",
month = mar,
year = "1995",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/199691.199793",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:28 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "Students usually find formal methods of describing
programming languages very difficult because of the
cryptic notation, the complexity of the techniques, and
the size of the specifications. The SECD abstract
machine provides a small but clear description of the
operational semantics of the lambda calculus. By
implementing the SECD machine in Prolog, we give
students a tool for testing specifications and for
experimenting with alternate language semantics in an
interactive setting.",
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
- alternate,
30(1)370
- 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)278,
27(1)340,
27(3)27,
27(3)47,
27(4)13,
28(1)180,
28(1)300,
28(1)363,
28(3)51,
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
- calculus,
23(2)24,
28(3)5,
29(1)126,
30(1)365
- clear,
24(1)63,
24(2)29,
26(3)17,
27(1)173,
27(2)44,
28(1)190,
28(1)204,
29(1)53,
29(2)17,
30(1)166,
30(1)202,
30(1)370,
31(1)136,
31(1)321,
31(4)13
- complexity,
22(3)7,
24(1)207,
24(4)11,
25(2)19,
26(1)183,
26(1)228,
26(1)349,
27(1)146,
27(1)253,
27(2)49,
27(3)7,
28(3)5,
29(1)20,
29(3)74,
30(1)10,
30(1)153,
30(1)176,
30(1)317,
30(1)341,
30(3)213,
31(2)65,
31(3)103,
31(3)127
- describing,
22(4)49,
24(3)51,
24(4)7,
26(1)300,
26(1)369,
29(1)238,
30(1)341,
31(1)17,
31(1)95,
31(3)17
- description,
22(2)34,
25(2)1,
26(1)300,
26(3)51,
26(4)2,
27(1)263,
28(1)150,
28(z)101,
29(1)277,
29(1)282,
29(3)31,
30(1)166,
30(3)32,
30(3)37,
30(3)310,
31(1)17,
31(1)22,
31(1)100,
31(1)227,
31(3)127,
31(4)35,
31(4)48
- difficult,
23(4)41,
24(1)107,
24(3)57,
25(3)26,
26(1)26,
26(1)46,
26(2)61,
26(3)22,
26(4)25,
27(1)102,
27(1)199,
27(4)5,
27(4)13,
28(1)37,
28(1)107,
28(1)363,
28(2)3,
28(3)55,
29(1)72,
29(1)121,
29(1)248,
29(1)306,
29(2)35,
29(3)114,
29(4)45,
30(1)1,
30(1)102,
30(1)207,
30(1)262,
30(1)341,
30(1)383,
30(3)64,
31(1)78,
31(1)127,
31(1)252,
31(1)281,
31(3)60,
31(3)167,
31(3)171,
31(4)50
- executing,
23(3)36,
31(3)99,
31(3)131
- experimenting,
29(1)15,
30(1)227,
30(4)51
- find,
24(1)107,
24(1)173,
25(2)31,
25(4)41,
27(1)76,
27(1)168,
27(2)2,
27(3)21,
27(4)13,
28(1)73,
29(1)72,
29(3)114,
30(1)207,
30(1)262,
30(1)312,
30(2)53,
30(2)64,
30(4)37,
30(4)51,
31(1)127,
31(2)65,
31(3)147,
31(3)167,
31(3)207
- 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)248,
27(1)302,
27(1)307,
27(1)312,
27(1)398,
27(3)53,
27(3)60,
28(1)150,
28(1)155,
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
- 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(4)5,
27(4)21,
28(1)155,
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
- implementing,
22(1)6,
22(1)134,
24(2)7,
27(1)66,
27(1)146,
27(4)21,
28(1)333,
28(2)43,
28(4)3,
29(1)229,
29(1)384,
29(3)59,
30(1)73,
30(1)176,
31(1)316,
31(1)326,
31(3)68,
31(3)200,
31(4)66
- logic,
22(1)22,
23(1)184,
25(1)20,
25(3)19,
26(1)183,
27(1)19,
27(1)168,
27(1)223,
27(1)307,
27(1)331,
27(1)384,
27(3)53,
27(4)13,
28(1)47,
28(1)53,
28(1)58,
29(2)35,
29(3)42,
29(3)120,
30(1)166,
30(1)370,
30(1)376,
31(1)100,
31(1)237,
31(3)88,
31(3)211
- machine,
23(1)347,
23(2)29,
24(1)87,
24(1)286,
24(1)309,
24(2)35,
24(2)55,
24(3)51,
24(4)15,
24(4)27,
24(4)49,
25(1)189,
25(4)41,
26(1)126,
26(1)218,
26(3)45,
27(1)71,
27(1)131,
27(1)141,
27(1)146,
27(1)233,
27(1)238,
27(1)340,
28(1)47,
28(3)9,
29(1)15,
29(1)30,
29(1)219,
29(1)296,
29(2)23,
29(3)42,
29(4)45,
30(1)145,
30(1)277,
30(3)175,
30(4)37,
31(1)105,
31(1)242,
31(1)336,
31(2)84,
31(3)206,
31(3)208
- notation,
24(4)27,
26(1)21,
26(4)29,
27(1)199,
27(1)307,
27(2)31,
28(1)437,
30(1)166,
30(1)345,
31(1)100
- operational,
24(1)207,
24(4)49,
27(1)307,
27(3)27,
29(1)345,
30(3)257
- Prolog,
24(1)202,
25(2)12,
27(1)331,
30(3)102,
30(3)166
- semantic,
23(1)162,
23(1)169,
23(1)178,
23(2)24,
23(3)11,
24(1)207,
26(1)300,
26(4)29,
27(1)102,
27(1)307,
29(1)253,
31(1)331,
31(3)155
- setting,
23(2)51,
24(1)113,
24(1)264,
24(2)59,
26(1)309,
26(1)314,
29(1)219,
29(3)51,
29(3)145,
30(1)48,
30(1)145,
30(1)227,
30(1)302,
30(2)31,
30(3)193,
30(4)37,
31(1)232,
31(2)37,
31(3)52,
31(3)147,
31(3)203,
31(3)204
- size,
23(3)5,
23(4)7,
24(1)259,
26(1)203,
27(1)48,
29(1)82
- Slonneger, Ken,
23(1)178
- small,
22(1)261,
22(4)37,
24(1)134,
24(1)138,
24(1)147,
24(1)207,
24(1)246,
24(1)255,
24(3)53,
25(2)31,
25(4)2,
26(1)160,
26(1)169,
26(1)208,
26(1)300,
26(2)9,
26(2)19,
27(1)146,
27(1)340,
28(1)165,
28(1)214,
28(2)3,
29(1)135,
29(1)179,
29(1)306,
30(1)145,
30(3)108,
30(4)5,
31(1)43,
31(1)100,
31(1)306,
31(3)52,
31(3)119,
31(3)187,
31(3)198
- specification,
23(1)25,
23(3)36,
24(1)207,
25(1)189,
26(1)21,
26(1)111,
26(1)300,
26(3)22,
27(1)24,
27(1)307,
27(1)312,
27(3)53,
28(1)150,
29(1)310,
29(1)315,
29(1)396,
29(4)38,
30(1)6,
30(1)166,
30(3)37,
30(3)55,
30(3)232,
31(1)68,
31(1)100,
31(1)184,
31(3)68,
31(4)70
- testing,
24(4)11,
24(4)49,
25(1)53,
26(1)92,
26(1)111,
26(1)188,
26(1)405,
26(3)37,
26(3)56,
27(3)47,
28(1)125,
28(1)353,
28(z)119,
29(1)77,
29(1)194,
29(2)7,
29(3)71,
30(1)53,
30(1)140,
30(3)134,
30(3)310,
31(1)276,
31(1)286,
31(1)311,
31(1)316,
31(2)48,
31(3)25
- usually,
22(2)52,
24(2)59,
24(3)45,
24(3)51,
25(4)61,
26(1)169,
26(1)238,
26(1)344,
27(1)131,
27(1)214,
27(1)355,
28(1)160,
29(1)204,
29(2)17,
30(1)202,
30(3)25,
30(3)139,
31(2)65,
31(4)50
- very,
23(2)21,
23(3)57,
23(4)13,
23(4)31,
24(1)147,
24(1)173,
24(1)207,
24(3)57,
25(1)151,
25(2)29,
25(2)51,
25(4)33,
26(1)21,
26(1)164,
26(1)183,
26(1)203,
26(1)253,
26(1)334,
26(2)19,
26(2)61,
26(4)17,
27(1)248,
27(1)287,
27(3)39,
28(1)160,
28(1)363,
28(2)3,
29(1)25,
29(1)150,
29(1)209,
29(1)384,
29(2)31,
29(3)37,
29(3)54,
29(3)127,
29(4)45,
30(1)63,
30(1)97,
30(1)102,
30(1)145,
30(1)194,
30(1)287,
30(1)341,
30(1)365,
30(2)53,
30(3)28,
30(3)74,
30(3)243,
30(4)37,
31(2)55,
31(2)81,
31(3)79,
31(3)175,
31(3)195,
31(3)204,
31(3)205,
31(3)208,
31(4)50,
31(4)70,
31(4)79