Last update: Sun Oct 15 02:16:54 MDT 2017
Top |
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{Vidal:2004:CAP,
author = "Germ{\'a}n Vidal",
title = "Cost--Augmented Partial Evaluation of Functional Logic
Programs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "1--2",
pages = "7--46",
month = mar,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029447.02190.42",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=7",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "computational costs; functional logic programming;
partial evaluation",
}
Related entries
- computational,
16(1)93,
16(4)379,
19(4)377
- evaluation,
12(1)105,
12(2)203,
12(4)377,
12(4)381,
13(4)355,
14(2)101,
14(2)173,
14(4)357,
17(1)47,
17(1)93,
18(1)15,
18(1)211,
20(3)257,
20(3)271,
21(1)5,
21(1)37,
26(1)63
- functional,
14(1)35,
15(4)349,
16(3)203,
16(4)379,
17(3)207,
20(1)73,
20(3)237,
20(3)257,
21(1)89,
21(1)147,
21(4)361,
21(4)377,
22(1)3,
22(1)67,
23(4)433,
23(4)465,
24(1)151,
24(4)281,
24(4)311,
25(1)39,
25(1)127
- logic,
16(4)341,
17(3)173,
18(1)121,
20(1)3,
20(1)73,
20(1)161,
20(3)295,
20(4)403,
21(1)5,
21(1)59,
21(1)193,
21(1)235,
21(4)377
- partial,
12(1)105,
12(2)203,
12(4)377,
12(4)381,
13(4)355,
14(2)101,
14(2)173,
17(1)47,
17(1)93,
18(1)51,
18(1)211,
21(1)5,
21(1)37,
21(1)193
- program,
12(4)309,
13(3)161,
14(1)35,
14(1)59,
14(2)143,
15(1)91,
16(1)63,
16(4)297,
16(4)341,
16(4)379,
17(1)47,
17(1)93,
17(1)129,
17(4)297,
18(1)121,
18(1)211,
18(3)245,
19(1)101,
20(3)237,
21(1)5,
21(1)37,
21(1)59,
21(1)119,
21(1)147,
21(1)193,
21(1)235,
21(4)377,
24(1)41,
24(1)115,
24(4)281,
25(1)39
- programming,
11(4)363,
13(1)7,
13(1)11,
13(1)51,
16(1)37,
16(3)203,
16(4)379,
17(3)207,
18(1)121,
19(2)197,
20(1)73,
20(3)257,
21(1)89,
21(1)147,
21(1)193,
22(1)81,
22(2)155,
23(3)337,
23(4)433,
23(4)465,
24(4)341
- Vidal, Germán,
21(1)147,
24(1)1