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
|
@manual{armv7ar,
title="ARM Architecture Reference Manual. ARMv7-A and ARMv7-R edition",
organization="ARM Limited",
year=1996
}
@manual{armv7m,
title="ARMv7-M Architecture Reference Manual",
organization="ARM Limited",
year=2006
}
@misc{clean,
title="Clean",
organization="Radboud University Nijmegen",
howpublished="\url{http://clean.cs.ru.nl/}",
year=2004
}
@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
}
|
