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{Revesz:1998:ETR,
author = "Gyorgy E. Revesz",
title = "Experimenting with tail-recursion and simulating
coroutines",
journal = j-SIGCSE,
volume = "30",
number = "4",
pages = "51--54",
month = dec,
year = "1998",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/306286.306315",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 16:56:35 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "The efficiency of tail recursion and the simplicity of
its removal makes some people wonder why we cannot
transform all recursive definitions to this form?
Clearly, the usual trick of introducing a new variable
and using it as an accumulator to hold the intermediate
results during the winding phase does not always work.
But, by trying to generalize this technique to
primitive recursion one can easily find a sufficient
condition which makes it work. The class of functions
satisfying this condition may be interesting also on
its own. A direct generalization of this function class
for mutual recursion is fairly straightforward.",
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
- accumulator,
28(3)9
- always,
22(3)21,
24(2)35,
26(1)389,
27(1)273,
28(1)378,
28(2)21,
28(3)55,
30(1)45,
31(3)211
- cannot,
23(2)9,
23(3)36,
24(2)35,
29(1)145,
29(3)21,
30(1)35,
30(1)73,
30(3)193
- clearly,
22(2)59,
26(2)5,
28(1)190,
28(3)23,
29(1)253,
29(1)330,
30(1)145,
30(1)207,
30(1)252,
30(3)74,
31(3)175
- condition,
24(1)176,
27(4)35,
28(1)348,
28(3)55,
29(1)262,
30(3)268,
30(4)32,
31(1)58,
31(2)60,
31(2)81
- definition,
23(2)45,
23(2)60,
24(1)163,
25(4)5,
25(4)27,
26(1)131,
26(1)253,
27(1)19,
27(1)66,
28(4)36,
29(1)277,
29(4)57,
30(1)194,
30(1)370,
30(4)46,
31(1)27,
31(3)52,
31(3)60,
31(4)61
- direct,
25(2)1,
28(3)60,
29(1)150,
29(1)335,
29(2)46,
29(3)37,
30(4)59,
31(1)31,
31(1)311,
31(3)119
- do,
22(4)55,
24(1)15,
24(2)59,
25(2)1,
25(2)31,
26(1)145,
27(1)146,
27(1)214,
27(1)302,
27(1)340,
29(3)1,
29(3)130,
29(4)30,
29(4)38,
30(1)126,
30(1)302,
30(1)355,
30(3)290,
30(4)62,
31(1)146,
31(2)60,
31(4)70,
31(4)79
- during,
22(2)30,
22(3)47,
22(4)37,
22(4)55,
23(3)17,
24(1)28,
24(1)53,
24(2)35,
24(3)60,
24(4)7,
25(2)29,
25(4)33,
26(1)6,
26(1)106,
26(1)169,
26(1)300,
26(1)344,
26(4)41,
27(1)186,
27(1)331,
27(1)360,
28(1)53,
28(3)55,
28(4)25,
29(1)39,
29(1)184,
29(1)209,
29(1)229,
29(1)262,
29(1)330,
29(3)11,
29(3)21,
29(3)37,
29(3)62,
29(3)117,
29(4)51,
30(1)97,
30(1)126,
30(1)232,
30(1)366,
30(2)64,
30(3)90,
30(3)98,
30(3)125,
30(3)143,
30(3)166,
30(3)206,
30(4)59,
31(1)73,
31(1)83,
31(1)114,
31(1)212,
31(1)252,
31(3)13,
31(3)21,
31(3)25,
31(3)123,
31(3)201,
31(4)48
- easily,
22(2)42,
24(1)147,
24(1)268,
26(1)193,
26(2)19,
27(1)163,
27(1)297,
28(1)195,
28(1)280,
28(1)300,
28(2)31,
29(1)30,
29(1)145,
29(1)194,
29(1)243,
29(1)253,
29(3)40,
30(1)6,
30(1)10,
30(1)35,
30(1)145,
30(1)272,
30(1)326,
30(1)382,
31(1)53,
31(3)60,
31(3)155,
31(3)177,
31(3)192
- efficiency,
22(3)7,
23(2)60,
26(1)83,
27(1)141,
28(1)256,
29(1)82,
29(1)219,
29(3)71,
30(1)190,
30(3)81
- experimenting,
27(1)228,
29(1)15,
30(1)227
- fairly,
25(3)26,
30(1)145,
30(1)297,
31(4)13
- find,
24(1)107,
24(1)173,
25(2)31,
25(4)41,
27(1)76,
27(1)168,
27(1)228,
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,
31(1)127,
31(2)65,
31(3)147,
31(3)167,
31(3)207
- form,
23(4)27,
24(1)19,
24(1)102,
24(1)286,
26(1)238,
26(1)300,
26(1)366,
27(1)19,
27(1)350,
27(2)41,
28(1)112,
28(1)195,
29(1)15,
29(1)20,
29(1)126,
29(1)229,
29(1)340,
29(1)345,
29(1)390,
29(3)6,
29(3)27,
29(3)71,
29(3)94,
29(3)111,
29(4)38,
29(4)54,
30(1)35,
30(1)117,
30(1)222,
30(1)297,
30(1)382,
30(1)383,
30(3)37,
30(3)51,
30(3)81,
30(3)98,
30(3)153,
30(3)162,
30(3)178,
30(3)206,
30(3)232,
30(3)254,
31(1)336,
31(2)17,
31(3)111,
31(3)135,
31(3)167,
31(3)180,
31(3)208,
31(4)87
- function,
23(2)9,
23(2)24,
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,
31(1)286,
31(2)48,
31(2)60,
31(3)17,
31(3)199,
31(4)32,
31(4)66,
31(4)106
- generalization,
23(2)45,
26(3)17
- generalize,
31(2)60
- hold,
27(3)50,
29(1)72,
31(2)17
- interesting,
25(4)33,
26(1)46,
26(1)243,
26(1)263,
27(1)1,
27(1)39,
27(1)61,
28(3)29,
29(1)164,
29(1)204,
29(3)6,
29(3)8,
30(1)10,
30(1)68,
30(1)190,
30(1)312,
30(3)139,
31(1)92,
31(2)24,
31(2)60,
31(2)65,
31(3)147,
31(4)79
- intermediate,
24(1)197,
24(3)45,
26(1)46,
28(1)145,
28(3)55,
29(1)1,
30(3)64,
31(3)84
- introducing,
22(1)255,
22(3)7,
22(3)39,
23(1)1,
23(1)73,
24(1)147,
24(1)187,
24(1)202,
24(3)19,
24(4)43,
26(1)88,
26(1)92,
26(1)324,
26(1)353,
27(1)302,
27(1)340,
28(1)338,
28(1)343,
28(3)9,
29(1)258,
29(1)277,
29(1)320,
29(1)360,
29(2)23,
29(3)77,
29(4)58,
30(1)6,
30(1)194,
30(1)302,
30(3)219,
31(1)114,
31(1)242,
31(1)247,
31(1)316,
31(3)186,
31(3)203
- make,
22(2)42,
22(2)52,
22(4)2,
23(2)60,
23(3)31,
23(4)13,
24(1)76,
24(4)15,
24(4)49,
25(2)31,
26(2)52,
27(1)39,
27(1)66,
27(1)76,
27(1)82,
27(1)340,
27(1)350,
27(1)355,
28(1)175,
28(1)290,
28(2)21,
28(2)25,
28(2)49,
28(4)45,
29(1)53,
29(1)145,
29(1)150,
29(1)204,
29(1)330,
29(3)37,
29(3)59,
29(3)77,
29(4)57,
30(1)10,
30(1)92,
30(1)131,
30(1)145,
30(1)227,
30(1)232,
30(1)237,
30(1)302,
30(1)345,
30(3)37,
30(3)46,
30(3)69,
30(3)86,
30(3)175,
30(3)213,
31(1)136,
31(1)189,
31(1)301,
31(1)331,
31(2)42,
31(2)60,
31(3)21,
31(3)40,
31(3)135,
31(3)151,
31(3)187,
31(3)204,
31(4)32,
31(4)42,
31(4)50
- may,
22(2)59,
22(3)7,
22(3)47,
23(2)60,
24(1)67,
24(1)134,
24(1)246,
24(1)264,
24(1)268,
24(2)59,
24(4)15,
25(4)33,
25(4)41,
26(1)102,
26(1)169,
26(1)258,
26(1)349,
26(1)394,
26(2)19,
26(3)29,
27(1)102,
27(1)131,
27(1)292,
28(1)145,
28(1)333,
28(1)378,
28(2)21,
28(3)55,
28(4)59,
29(1)20,
29(1)30,
29(1)63,
29(1)111,
29(1)204,
29(1)360,
29(1)390,
29(3)11,
29(3)130,
30(1)53,
30(1)58,
30(1)73,
30(1)121,
30(1)145,
30(1)227,
30(1)277,
30(1)302,
30(1)350,
30(1)365,
30(2)31,
30(3)46,
30(3)59,
30(3)162,
30(3)193,
30(3)223,
30(3)257,
30(4)32,
30(4)39,
31(1)31,
31(1)63,
31(1)78,
31(1)286,
31(1)345,
31(1)346,
31(2)17,
31(2)48,
31(2)65,
31(3)17,
31(3)21,
31(3)44,
31(3)147,
31(4)13,
31(4)56,
31(4)121
- mutual,
23(2)60,
24(1)176,
24(2)35,
24(3)45,
28(1)170,
29(3)62
- own,
24(1)173,
24(1)304,
24(3)51,
26(1)41,
26(1)238,
26(1)281,
26(1)329,
27(1)76,
27(1)199,
27(1)248,
27(1)340,
27(2)7,
27(2)41,
28(1)93,
28(1)112,
28(1)130,
28(2)21,
28(3)17,
29(1)121,
29(1)384,
29(4)54,
30(1)63,
30(1)73,
30(1)82,
30(1)181,
30(1)232,
30(1)312,
30(1)341,
30(1)378,
30(3)25,
30(3)41,
30(3)98,
30(3)275,
30(4)39,
30(4)59,
31(1)63,
31(1)189,
31(1)242,
31(1)311,
31(2)73,
31(3)107,
31(3)206
- people,
23(2)21,
24(1)81,
24(1)246,
26(1)281,
29(1)296,
30(1)10,
30(1)382,
30(2)48,
30(4)32,
30(4)37,
31(1)286,
31(1)296,
31(3)44
- phase,
24(1)28,
24(2)20,
24(3)14,
26(1)111,
26(1)339,
27(1)331,
28(1)112,
28(1)310,
29(3)6,
30(2)64,
30(3)236,
31(1)17
- primitive,
23(2)51,
27(1)19,
28(1)180,
29(1)53,
30(1)267,
31(1)87,
31(1)367,
31(3)91,
31(4)66
- recursion,
25(2)12,
26(1)300,
27(3)3,
27(4)13,
28(1)319,
28(3)60,
28(z)232,
29(3)74,
30(1)185,
30(1)222,
30(1)292,
31(1)87,
31(1)127,
31(1)136,
31(2)60
- recursive,
26(1)238,
26(1)290,
28(1)9,
28(1)358,
29(3)74,
30(1)222,
31(1)87,
31(2)28,
31(2)60
- satisfying,
24(3)57,
27(3)50,
29(3)80,
30(1)145,
30(1)370
- simulating,
24(4)15,
25(2)38,
27(1)19,
28(3)9,
29(1)15,
29(1)310,
31(1)105
- straightforward,
29(1)44,
31(4)13
- sufficient,
22(2)2,
23(3)20,
28(1)266,
30(1)181,
30(1)341,
31(2)17
- tail,
26(1)213
- transform,
29(2)46,
30(1)58
- trick,
27(1)178
- trying,
22(3)7,
26(1)218,
26(1)366,
28(1)266,
29(1)77,
29(1)184,
30(1)87,
31(3)9
- usual,
27(1)76,
30(3)280,
31(1)155
- variable,
23(1)119,
24(1)202,
26(1)92,
26(1)300,
27(1)102,
27(2)7,
27(2)18,
29(3)21,
30(3)243,
31(2)65,
31(3)131
- why,
23(3)45,
24(1)129,
24(4)35,
26(1)51,
26(1)238,
26(4)17,
26(4)25,
26(4)45,
27(1)360,
27(3)21,
27(4)57,
28(z)66,
29(2)17,
29(2)35,
29(3)114,
29(4)57,
30(1)82,
30(1)166,
30(1)366,
30(3)59,
30(3)125,
30(3)148,
30(4)46,
31(1)346,
31(2)37,
31(3)9,
31(3)167,
31(4)50