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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
@manual{armv7ar,
author="{ARM Ltd.}",
key="ARM Ltd. 1996",
title="ARM Architecture Reference Manual. ARMv7-A and ARMv7-R edition",
year=1996
}
@manual{armv7m,
author="{ARM Ltd.}",
key="ARM Ltd. 2006",
title="ARMv7-M Architecture Reference Manual",
year=2006
}
@manual{armv8a,
author="{ARM Ltd.}",
key="ARM Ltd. 2013",
title="ARM Architecture Reference Manual. ARMv8, for ARMv8-A architecture profile (Beta)",
year=2013
}
@manual{armcallstd,
author="{ARM Ltd.}",
key="ARM Ltd. 2015",
title="Procedure Call Standard for the ARM Architecture",
year=2015
}
@manual{cleanlangrep,
title="Clean Language Report",
subtitle="Version 2.2",
year=2011,
author={Rinus Plasmeijer and Marco {\VAN{Eekelen}} and John {\VAN{Groningen}}},
organization="Department of Software Technology, University of Nijmegen"
}
@Online{clean,
author="{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="John {\VAN{Groningen}}",
school="Radboud University Nijmegen",
year=1990
}
@Online{armcg,
author="{Software Technology Research Group}",
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,
author="{Software Technology Research Group}",
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"
}
@Online{cocl,
author="{Software Technology Research Group}",
title="The Clean compiler",
subtitle="Bootstrap from intermediate ABC files, 32-bit.",
organization="Radboud University Nijmegen",
url="http://clean.cs.ru.nl/Download_Clean",
year=2016,
urldate="2016-12-07"
}
|
