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{Barker:2008:EFA,
author = "Steve Barker and Michael Leuschel and Mauricio Varea",
title = "Efficient and flexible access control via
{Jones}-optimal logic program specialisation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "5--35",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9030-8",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&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=21&issue=1&spage=5",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Access control; Deductive databases; Meta-programming;
Partial evaluation; Program transformation",
}
Related entries
- control,
15(2)141,
18(1)15,
20(3)199,
20(4)339,
20(4)371,
21(1)119
- efficient,
16(4)379,
18(1)121,
18(3)299
- 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)7,
17(1)47,
17(1)93,
18(1)15,
18(1)211,
20(3)257,
20(3)271,
21(1)37,
26(1)63
- Leuschel, Michael,
21(1)1
- logic,
16(4)341,
17(1)7,
17(3)173,
18(1)121,
20(1)3,
20(1)73,
20(1)161,
20(3)295,
20(4)403,
21(1)59,
21(1)193,
21(1)235,
21(4)377
- meta-programming,
22(2)115
- partial,
12(1)105,
12(2)203,
12(4)377,
12(4)381,
13(4)355,
14(2)101,
14(2)173,
17(1)7,
17(1)47,
17(1)93,
18(1)51,
18(1)211,
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)7,
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)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
- specialisation,
14(2)143
- transformation,
17(1)129,
18(1)121,
18(1)211,
20(3)237,
21(1)37,
21(1)59,
21(1)89,
21(1)119,
21(1)193,
21(1)235,
23(2)191,
26(1)29
- via,
15(2)209,
16(1)37,
17(1)93,
21(1)193,
21(1)235,
24(1)151