diff options
Diffstat (limited to 'thesis/thesis.bib')
| -rw-r--r-- | thesis/thesis.bib | 41 |
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" +} |