summaryrefslogtreecommitdiff
path: root/thesis/thesis.bib
diff options
context:
space:
mode:
Diffstat (limited to 'thesis/thesis.bib')
-rw-r--r--thesis/thesis.bib41
1 files changed, 37 insertions, 4 deletions
diff --git a/thesis/thesis.bib b/thesis/thesis.bib
index 24b604f..23b7875 100644
--- a/thesis/thesis.bib
+++ b/thesis/thesis.bib
@@ -1,20 +1,31 @@
@manual{armv7ar,
+ label="ARMv7-AR",
title="ARM Architecture Reference Manual. ARMv7-A and ARMv7-R edition",
organization="ARM Limited",
year=1996
}
@manual{armv7m,
+ label="ARMv7-M",
title="ARMv7-M Architecture Reference Manual",
organization="ARM Limited",
year=2006
}
-@misc{clean,
- title="Clean",
+@manual{armv8a,
+ label="ARMv8-A",
+ title="ARM Architecture Reference Manual. ARMv8, for ARMv8-A architecture profile (Beta)",
+ organization="ARM Limited",
+ year=2013
+}
+
+@Online{clean,
+ label="Clean",
+ key="Clean",
organization="Radboud University Nijmegen",
- howpublished="\url{http://clean.cs.ru.nl/}",
- year=2004
+ url="http://clean.cs.ru.nl/",
+ year=2004,
+ urldate="2016-11-15"
}
@article{lean,
@@ -37,3 +48,25 @@
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"
+}