1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
@manual{armv7ar,
label="ARM Ltd.",
key="ARM Ltd. 1996",
title="ARM Architecture Reference Manual. ARMv7-A and ARMv7-R edition",
year=1996
}
@manual{armv7m,
label="ARM Ltd.",
key="ARM Ltd. 2006",
title="ARMv7-M Architecture Reference Manual",
year=2006
}
@manual{armv8a,
label="ARM Ltd.",
key="ARM Ltd. 2013",
title="ARM Architecture Reference Manual. ARMv8, for ARMv8-A architecture profile (Beta)",
year=2013
}
@Online{clean,
label="Software Technology Research Group",
key="Software Technology Research Group",
title="The Clean Home Page",
organization="Radboud University Nij\-me\-gen",
url="http://clean.cs.ru.nl/",
year=2004,
urldate="2016-11-15"
}
@article{lean,
title="LEAN: an Intermediate Language based on Graph Rewriting",
author={H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep},
journal="Parallel Computing 9",
year=1988
}
@phdthesis{execspecs,
title="Functional Programs as Executable Specifications",
author="P. Koopman",
school="Radboud University Nijmegen",
year=1990
}
@mastersthesis{m680x0,
title="Implementing the ABC-machine on M680x0 based architectures",
author="J. van Groningen",
school="Radboud University Nijmegen",
year=1990
}
@Online{armcg,
key="ARM CG",
label="ARM CG",
title="Clean's ARM code generator",
subtitle="Revision 295",
organization="Radboud University Nijmegen",
url="https://svn.cs.ru.nl/repos/clean-code-generator",
year=2016,
urldate="2016-11-15"
}
@Online{armrts,
key="ARM RTS",
label="ARM RTS",
title="Clean's ARM run-time system",
subtitle="Revision 387",
organization="Radboud University Nijmegen",
url="https://svn.cs.ru.nl/repos/clean-run-time-system",
year=2016,
urldate="2016-11-15"
}
|
