summaryrefslogtreecommitdiff
path: root/thesis/thesis.bib
blob: fc4fa096b4cb80ea67fd57fcd450a444b6a93b7f (plain) (blame)
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
}