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{Wray:1989:NSL,
author = "S. C. Wray and J. Fairbairn",
title = "Non-Strict Languages --- Programming and
Implementation",
journal = j-COMP-J,
volume = "32",
number = "2",
pages = "142--151",
month = apr,
year = "1989",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/32.2.142",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:26 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/32/2.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/;
Misc/Functional.bib",
URL = "http://comjnl.oxfordjournals.org/content/32/2/142.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/142.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/143.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/144.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/145.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/146.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/147.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/148.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/149.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/150.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/151.tif",
abstract = "Non-strict evaluation improves the expressive power of
functional languages at the expense of an apparent loss
of efficiency. In this paper the authors give examples
of this expressive power, taking as an example an
interactive functional program and describing the
programming techniques depending on non-strict
evaluation which improved its design. Implementation
methods for non-strict languages have delivered poor
performance precisely when such programming techniques
have been used. This need not be the case, however, and
in the second part of the paper we describe Tim, a
method of implementing non-strict languages for which
the penalty for using lazy evaluation is very small.",
acknowledgement = ack-nhfb,
affiliation = "Olivetti Res. Ltd.",
affiliationaddress = "Cambridge, Engl",
classcodes = "C6150C (Compilers, interpreters and other processors);
C6110 (Systems analysis and programming)",
classification = "723; C6110 (Systems analysis and programming);
C6150C (Compilers, interpreters and other processors)",
corpsource = "Olivetti Res. Ltd., Cambridge, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "Computer Programming; Expressive power; expressive
power; Functional Languages; Functional languages;
functional languages; functional programming;
Interactive functional program; interactive functional
program; Lazy evaluation, Computer Programming
Languages; non-; Non-strict evaluation; Nonstrict
Evaluation; program compilers; Programming;
programming; Programming techniques; programming
techniques; strict evaluation; Tim",
thesaurus = "Functional programming; Program compilers",
treatment = "P Practical",
}
Related entries
- author,
24(1)2,
24(1)95,
25(1)2,
25(2)288,
26(3)247,
32(2)98,
32(2)108,
32(2)127
- been,
23(2)142,
24(4)320,
32(1)13,
32(2)127,
32(2)152,
32(2)162,
32(5)461
- C6110,
31(5)391,
31(5)420,
31(5)426,
31(5)431,
31(6)481,
31(6)531,
31(6)545,
32(1)1,
32(2)98,
32(2)122,
32(2)152,
32(2)175,
32(3)202,
32(4)290,
32(4)305,
32(4)323,
32(4)333,
32(4)341,
32(5)461
- C6150C,
31(6)517,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)152,
32(2)175,
32(3)276,
32(5)422,
32(5)445
- case,
24(4)320,
25(1)148,
27(3)276,
28(2)97,
30(5)420,
30(5)437,
31(1)25,
31(5)398,
32(1)93,
32(2)175,
32(4)305
- 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)152,
32(2)175,
32(3)276,
32(5)422,
32(5)445
- describe,
26(3)235,
27(4)368-1,
29(3)277,
31(6)496,
32(1)13,
32(2)108
- describing,
29(2)97,
30(2)128
- efficiency,
26(1)10,
26(3)196,
28(2)179,
28(4)398,
30(5)437,
31(4)358,
31(5)409,
32(1)93,
32(3)238
- evaluation,
23(2)142,
23(2)187-1,
24(3)288,
25(2)183,
25(2)188,
25(2)239,
25(4)493,
26(2)134,
27(1)87,
27(3)201,
28(2)128,
28(2)142,
28(3)223,
28(3)309,
28(3)319,
28(4)409,
28(4)426,
29(4)380,
29(4)380-1,
29(5)390,
29(5)396,
30(3)214,
30(3)228,
30(4)289,
30(4)362,
30(4)376,
30(5)437,
30(6)481,
30(6)519,
31(1)12,
31(3)220,
31(4)304,
31(5)409,
31(5)437,
31(6)565,
32(1)36,
32(2)98,
32(2)162,
32(5)437,
32(5)461
- example,
24(4)320,
25(2)188,
25(4)401,
28(2)97,
30(6)551,
31(4)289,
32(1)93,
32(2)98
- give,
30(5)437,
31(6)496,
32(1)13
- have,
24(4)320,
29(4)289,
31(3)243,
32(1)13,
32(2)152,
32(2)162,
32(5)461
- 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)152,
32(2)175,
32(3)267,
32(4)312,
32(5)422
- implementing,
23(3)237,
30(5)413,
32(3)238
- improve,
24(4)320
- improved,
25(2)199,
27(2)121,
28(4)417,
31(6)490,
31(6)567
- interactive,
23(3)233,
24(1)62,
24(2)191,
25(3)399,
26(1)93,
26(2)187,
26(3)199,
26(3)235,
27(1)8,
27(2)112,
28(1)22,
28(2)117,
28(5)474,
29(1)38,
29(2)176,
29(3)201,
29(5)385,
29(5)396,
31(5)445,
31(5)457,
32(1)21,
32(1)86,
32(2)162,
32(6)516
- 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)152,
32(2)175,
32(3)276,
32(5)422,
32(5)445
- lazy,
30(3)214,
32(2)97,
32(2)98,
32(2)108,
32(2)127,
32(2)162,
32(5)461
- loss,
25(4)471,
26(3)218,
30(5)437
- method,
22(2)105,
24(2)139,
24(2)190,
24(3)230,
24(4)320,
25(1)7,
25(1)56,
25(1)61,
25(3)327,
25(3)353,
26(1)6,
26(2)187,
26(3)199,
26(3)283,
27(3)218,
27(3)238,
28(2)112,
28(2)184,
28(3)330,
28(4)372,
28(4)379,
28(4)417,
28(4)433,
28(4)444,
28(5)498,
29(2)97,
29(2)118,
29(2)167,
29(5)416,
29(5)434,
30(1)70,
30(2)149,
30(2)163,
30(2)189,
30(3)268,
30(3)277,
30(4)289,
30(4)295,
30(4)316,
30(4)337,
30(4)376,
30(6)535,
31(1)83,
31(6)510,
31(6)565,
31(6)570,
32(1)93,
32(2)108,
32(2)187,
32(3)220,
32(3)238,
32(3)241,
32(3)281,
32(4)305,
32(4)374,
32(4)377,
32(5)385,
32(5)432,
32(6)563
- need,
28(2)97,
28(3)203,
30(5)437,
31(4)289,
31(5)391,
31(5)420,
31(5)426,
31(5)431,
32(4)370,
32(5)461
- not,
23(2)142,
27(4)376,
31(3)243,
31(4)296,
31(4)379,
32(2)162
- 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)152,
32(2)175,
32(3)262,
32(3)276,
32(5)422,
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)152,
32(2)175,
32(5)422
- part,
23(3)211,
23(4)298,
26(1)25,
26(4)375,
27(3)225,
27(4)362,
27(4)368-1,
27(4)375,
29(3)201
- penalty,
26(2)113
- performance,
24(2)132,
24(4)343,
24(4)347,
24(4)384-2,
25(1)74,
25(2)169,
25(2)188,
25(2)193,
25(2)227,
25(3)347,
25(4)486,
26(1)93,
26(2)113,
27(1)27,
27(2)143,
27(2)165,
27(3)201,
27(3)238,
27(3)270,
28(2)142,
28(2)179,
28(3)231,
28(3)309,
28(3)319,
28(3)330,
28(4)409,
28(4)426,
28(5)501,
29(1)47,
29(2)118,
29(4)289,
29(5)390,
29(5)396,
29(5)451,
30(4)289,
30(4)362,
30(6)519,
30(6)535,
31(1)12,
31(3)276,
31(4)304,
31(5)409,
31(5)437,
31(5)445,
31(6)490,
31(6)565,
32(1)16,
32(2)152,
32(3)228,
32(3)252,
32(4)333,
32(5)437,
32(5)453
- poor,
32(2)152
- power,
29(2)103
- 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)152,
32(2)175,
32(3)194,
32(3)276,
32(5)422,
32(5)437,
32(5)445,
32(6)571
- second,
23(3)274,
24(2)180,
26(2)192-1,
27(4)368-1,
32(3)241
- small,
25(3)396,
30(3)239,
30(4)295,
30(4)343,
30(5)437,
32(2)122,
32(6)533
- such,
30(5)437,
31(3)243,
31(4)296,
32(2)108,
32(2)152,
32(2)162,
32(2)175
- used,
24(4)320,
25(3)358,
29(3)277,
31(4)296,
31(6)496
- using,
23(1)41,
23(2)142,
23(4)380,
23(4)381,
24(2)118,
24(3)263,
24(3)271,
24(4)295,
24(4)324,
25(1)63,
25(1)84,
26(2)113,
26(4)344,
28(2)112,
28(4)409,
28(4)414,
29(2)118,
29(2)176,
29(2)182,
29(3)201,
29(5)423,
29(6)564,
30(1)87,
30(2)176,
30(4)298,
30(4)343,
30(5)437,
30(6)541,
31(3)201,
31(3)269,
31(4)289,
31(6)525,
31(6)567,
31(6)570,
32(3)273,
32(4)341,
32(5)470
- very,
25(1)153
- when,
31(6)496,
32(1)13,
32(2)122
- which,
23(2)142,
24(4)320,
29(3)201,
30(3)214,
30(5)437,
31(3)243,
31(4)289,
31(4)296,
32(1)13,
32(1)45,
32(1)93,
32(2)108,
32(2)122,
32(2)162,
32(5)461